The Unprovability of Consistency

E2025538 UNEXPLORED

The Unprovability of Consistency is a seminal philosophical and logical work by George Boolos that analyzes Gödel’s incompleteness theorems and their implications for proving the consistency of formal mathematical systems.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
The Unprovability of Consistency canonical	1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

George Boolos → notableWork → The Unprovability of Consistency ⓘ