Markedets billigste bøger
Levering: 1 - 2 hverdage

Recursion Theory for Metamathematics

Bag om Recursion Theory for Metamathematics

In 1931, Princeton mathematician Kurt Godel startled the scientific world with his 'Theorem of Undecidability', which showed that some statements in mathematics are inherently 'undecidable'. This volume of the 'Oxford Logic Guides' is a sequel to Smullyan's Godel's 'Incompleteness Theorems' (Oxford Logic Guides No. 19, 1992).

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780195082326
  • Indbinding:
  • Hardback
  • Sideantal:
  • 184
  • Udgivet:
  • 15. juli 1993
  • Størrelse:
  • 242x163x17 mm.
  • Vægt:
  • 422 g.
  Gratis fragt
Leveringstid: 2-3 uger
Forventet levering: 21. januar 2025
Forlænget returret til d. 31. januar 2025
  •  

    Kan ikke leveres inden jul.
    Køb nu og print et gavebevis

Beskrivelse af Recursion Theory for Metamathematics

In 1931, Princeton mathematician Kurt Godel startled the scientific world with his 'Theorem of Undecidability', which showed that some statements in mathematics are inherently 'undecidable'. This volume of the 'Oxford Logic Guides' is a sequel to Smullyan's Godel's 'Incompleteness Theorems' (Oxford Logic Guides No. 19, 1992).

Brugerbedømmelser af Recursion Theory for Metamathematics



Find lignende bøger
Bogen Recursion Theory for Metamathematics findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.