Ü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={Kurt G{\"o}del},
  journal={Monatshefte f{\"u}r Mathematik und Physik},
  year={1931},
  volume={38},
  pages={173-198}
}
  • K. Gödel
  • Published 1931
  • Monatshefte für Mathematik und Physik
DNA coding and G\"odel numbering.
TLDR
Inspired by the work of Kurt Godel, the DNA strand is attached to each DNA strand a Godel's number, a product of prime numbers raised to appropriate powers, to specify the presence of traces of non-random dynamics. Expand
About the Chasm Separating the Goals of Hilbert's Consistency Program from the Second Incompletess Theorem
We have published several articles about generalizations and boundary-case exceptions to the Second Incompleteness Theorem during the last 25 years. The current paper will review some of our priorExpand
Contributions to the Metamathematics of Arithmetic: Fixed Points, Independence, and Flexibility
Title: Contributions to the Metamathematics of Arithmetic: Fixed Points, Independence, and Flexibility Author: Rasmus Blanck Language: English (with a summary in Swedish) Department: Philosophy,Expand
Measurability Properties on Small Cardinals
Author(s): Eskew, Monroe Blake | Advisor(s): Zeman, Martin | Abstract: Ulam proved that there cannot exist a probability measure on the reals for which every set is measurable and gets either measureExpand
Técnicas de demostración de indecibilidad e inseparabilidad en teorías formales
El objetivo de esta memoria es analizar las tecnicas para la demostracion de la indecidibilidad de las teorias que aparecen habitualmente en Matematicas: teoria de grupos, teoria de anillos, teoriaExpand
Randomness in Physics: Five Questions, Some Answers
Despite provable unknowables in recursion theory, indeterminism and randomness in physics is confined to conventions, subjective beliefs and preliminary evidence. The history of the issue is veryExpand
Series Randomness in Physics : Five Questions , Some Answers
Despite provable unknowables in recursion theory, indeterminism and randomness in physics is confined to conventions, subjective beliefs and preliminary evidence. The history of the issue is veryExpand
In whose mind is Mathematics an "a priori cognition"?
According to the philosopher Kant, Mathematics is an "a priori cognition". Kant's assump- tion, together with the unsolvability of Hilbert's X-th problem, implies an astonishing result.
Logical representations for automated reasoning about spatial relationships
TLDR
It is proved that entailment, which is valid according to the standard semantics for these logics, is also valid with respect to the spatial interpretation and well-known mechanisms for propositional reasoning can be applied to spatial reasoning. Expand
A Recursion‐theoretic View of Axiomatizable Theories
...
1
2
3
4
5
...