Incompleteness in the Land of Sets

Autori

• M. Fitting

Parametri

Pagine

156pagine

Tempo di lettura

6ore

• Logica
• Saggistica

Maggiori informazioni sul libro

Exploring the implications of Russell's paradox, the book delves into the complexities of set theory and logical formulas. It highlights how the collection of sets that do not contain themselves cannot form a set, leading to the conclusion that certain formulas are undefinable. This discussion paves the way for Tarski's result on the undefinability of truth and connects to significant contributions from Gödel, Church, Rosser, and Post, illustrating the profound impact of these ideas on mathematical logic and the foundations of mathematics.

Per saperne di più

Lingua: Inglese

Pubblicato: 2007

(In brossura)