## 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.

**From:**
Gödel's theorem
in
A Dictionary of Physics »

*Subjects:*
Psychology — Computing.

## Related content in Oxford Index

##### Reference entries

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