Undecidable Theories

Autori

• Alfred Tarski

Parametri

• Filosofia
• Logica
• Matematica
• Scienza

Maggiori informazioni sul libro

This book is well known for its proof that many mathematical systems — including lattice theory and closure algebras — are undecidable. It consists of three treatises from one of the greatest logicians of all time: "A General Method in Proofs of Undecidability," "Undecidability and Essential Undecidability in Mathematics," and "Undecidability of the Elementary Theory of Groups."

Per saperne di più

Lingua: Inglese

Pubblicato: 2010

(In brossura)