Back to canon

On Formally Undecidable Propositions

Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme I

papers articles scientific paper paper core planned

Creators

  • Kurt Godel, author

Canon Rationale

A core foundations-of-mathematics paper, included as a selected technical reading for its central place in incompleteness, formal systems, mathematical logic, computation, and philosophy.

Evidence

  • citation context: Kurt Godel, 'Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme I,' Monatshefte fur Mathematik und Physik 38, 173-198, 1931.
  • handbook: Encyclopaedia Britannica, 'incompleteness theorem'.
  • field survey: MacTutor History of Mathematics, 'Kurt Godel (1906-1978) - Biography'.

Audit Flags

translation dependency, version dependency

Completion unit: read a reviewed translation or the original German paper selectively, focusing on the framing, theorem statements, and proof architecture rather than treating every formal detail as a first-pass requirement.

Reading Lists