Filter
Sökt på: Sökresultat
Filter
totalt 3 träffar
Gödel's Incompleteness Theorems
inbunden,
1992,
Engelska,
ISBN 9780195046724
Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are …
Recursion Theory for Metamathematics
inbunden,
1993,
Engelska,
ISBN 9780195082326
This work is a sequel to the author's Gödel's Incompleteness Theorems, though it can be read independently by anyone familiar with Gödel's incompleteness theorem for Peano …
Diagonalization and Self-reference
inbunden,
1994,
Engelska,
ISBN 9780198534501
The main purpose of this book is to present a unified treatment of fixed points as they occur in Gödel's incompleteness proofs, recursion theory, combinatory logic, semantics, and …