EBOOK Recursion Theory for Metamathematics - SMULLYAN RAYMOND M

EBOOK Recursion Theory for Metamathematics
4.00 Oceń książkę!

Autor: SMULLYAN RAYMOND M

 Wydawnictwo: Oxford University Press
ISBN: 9780195344813
EAN: 4FF3C55AEB
Format: 0,0 x 0,0 x 0,0
Oprawa: ...
Stron: ...
Data wydania: 1993
Gdzie kupić tanią książkę?
Selkar
książka
516.28zł
Kup książkę
Książka w Twoim domu w ciągu 48h

In 1931, Princeton mathematician Kurt G"e;odel 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"e;odel'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"e;odel's incompleteness theorem for Peano Arithmetic. This volume was written for mathematicians, philosphers, and computer scientists who are curious about G"e;odel's incompleteness theorems. The only prerequisite would be a first course in mathematical logic.

Książka "EBOOK Recursion Theory for Metamathematics"
SMULLYAN RAYMOND M