Gödel's theorem

Show Summary Details

Quick Reference

A fundamental result in mathematics stating that, in a given mathematical structure, some propositions cannot be proved to be true or false, i.e. the propositions are undecidable, using only the axioms of that mathematical structure. The theorem was proved by the Austrian mathematician Kurt Gödel (1906–78) in 1931. The relevance of this result to fundamental physics has been extensively debated.

Subjects: Psychology — Computing.

Reference entries

See all related reference entries in Oxford Index »

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.