Utvidet returrett til 31. januar 2025

Recursion Theory for Metamathematics

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 mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9780195082326
  • Bindende:
  • Hardback
  • Sider:
  • 184
  • Utgitt:
  • 15. juli 1993
  • Dimensjoner:
  • 242x163x17 mm.
  • Vekt:
  • 422 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 12. desember 2024

Beskrivelse av 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).

Brukervurderinger av Recursion Theory for Metamathematics



Finn lignende bøker
Boken Recursion Theory for Metamathematics finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.