Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I

@article{Gdel1931berFU,
  title={{\"U}ber formal unentscheidbare S{\"a}tze der Principia Mathematica und verwandter Systeme I},
  author={K. G{\"o}del},
  journal={Monatshefte f{\"u}r Mathematik und Physik},
  year={1931},
  volume={38},
  pages={173-198}
}
  • K. Gödel
  • Published 1931
  • Mathematics
  • Monatshefte für Mathematik und Physik
  • 1,140 Citations
    DNA coding and G\"odel numbering.
    • Highly Influenced
    • PDF
    About the Chasm Separating the Goals of Hilbert's Consistency Program from the Second Incompletess Theorem
    • 1
    • Highly Influenced
    • PDF
    Contributions to the Metamathematics of Arithmetic: Fixed Points, Independence, and Flexibility
    • 5
    • Highly Influenced
    • PDF
    Measurability Properties on Small Cardinals
    • 7
    • Highly Influenced
    • PDF
    Técnicas de demostración de indecibilidad e inseparabilidad en teorías formales
    • Highly Influenced
    • PDF
    Conceivability, Apriority and Modality
    • Highly Influenced
    Series Randomness in Physics : Five Questions , Some Answers
    • Highly Influenced
    In whose mind is Mathematics an "a priori cognition"?
    • Highly Influenced
    • PDF
    Logical representations for automated reasoning about spatial relationships
    • 69
    • Highly Influenced
    A Recursion‐theoretic View of Axiomatizable Theories
    • Highly Influenced
    • PDF

    References

    SHOWING 1-2 OF 2 REFERENCES
    Zur Hilbertschen Beweistheorie
    • 113