Raymond M. Smullyan
Recursion Theory for Metamathematics
Gebonden Engels 1993 9780195082326Levertijd ongeveer 11 werkdagen
Gratis verzonden
Samenvatting
In 1931, Princeton mathematician Kurt Gödel 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 Gödel's Incompleteness Theorems (Oxford Logic Guides No. 19, 1992), but it can be read independently by anyone familiar with at least one proof of Gödel's incompleteness theorem for Peano Arithmetic. This volume was written for mathematicians, philosphers, and computer scientists who are curious about Gödel's incompleteness theorems. The only prerequisite would be a first course in mathematical logic.
Specificaties
ISBN13:9780195082326
Taal:Engels
Bindwijze:Gebonden
Aantal pagina's:184
Uitgever:OUP USA
Hoofdrubriek:Filosofie, Computer en informatica
Serie:Oxford Logic Guides
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan