Vi bøger
Trustpilot
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Recursion Theory for Metamathematics

Recursion Theory for Metamathematics - Raymond M. (Professor of Philosophy Smullyan - Bog

af Raymond M. (Professor of Philosophy Smullyan

indgår i Oxford Logic Guides serien

Recursion Theory for Metamathematics af Raymond M. (Professor of Philosophy Smullyan
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.
  • 2-3 uger.
  • 22. januar 2025
På lager

Normalpris

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Raymond M. (Professor of Philosophy Smullyan

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

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



Andre købte også..
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.