Black November: Store besparelser hele måneden Vi fejrer Black Friday hele november måned med store besparelser
Udvidet returret til d. 31. januar 2025
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.
  • 5. december 2024
På lager

Normalpris

  • BLACK NOVEMBER

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.