The Theory of Gödel

Meer over het boek

Gödel's incompleteness theorems are explored alongside other significant limitative results in the philosophy of mathematics, presented in a manner tailored for philosophical application. The book includes an appendix discussing the implications for Hilbert's Program, providing a comprehensive understanding of these concepts. It is self-contained, ensuring that all ideas are thoroughly explained, although some prior knowledge of basic mathematical logic is beneficial for readers.