De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Diagonalization and Self-Reference

Diagonalization and Self-Reference

af Raymond M. (Professor of Philosophy Smullyan

indgår i Oxford Logic Guides serien

Diagonalization and Self-Reference af Raymond M. (Professor of Philosophy Smullyan
Bag om Diagonalization and Self-Reference

BL An introduction to the topic - pitched at an elementary level This Oxford Logic Guide presents a unified treatment of fixed points, self-reference, and diagonalization as they occur in Goedel's incompleteness proofs, recursion theory, combinatory logics, semantics, and metamathematics. There is also a presentation of new results - partly in these areas, but mostly in their synthesis.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780198534501
  • Indbinding:
  • Hardback
  • Sideantal:
  • 412
  • Udgivet:
  • 1. september 1994
  • Størrelse:
  • 166x244x29 mm.
  • Vægt:
  • 778 g.
  • 2-4 uger.
  • 28. januar 2025
På lager

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Bag om Raymond M. (Professor of Philosophy Smullyan

Vis alle bøger af Raymond M. (Professor of Philosophy Smullyan

Beskrivelse af Diagonalization and Self-Reference

BL An introduction to the topic - pitched at an elementary level This Oxford Logic Guide presents a unified treatment of fixed points, self-reference, and diagonalization as they occur in Goedel's incompleteness proofs, recursion theory, combinatory logics, semantics, and metamathematics. There is also a presentation of new results - partly in these areas, but mostly in their synthesis.

Brugerbedømmelser af Diagonalization and Self-Reference



Andre købte også..
Find lignende bøger
Bogen Diagonalization and Self-Reference findes i følgende kategorier: