Norges billigste bøker

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.
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 26 oktober 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.