# Ü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} }

#### 1,220 Citations

DNA coding and G\"odel numbering.

- Biology
- 2019

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

- Mathematics
- 2018

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 prior… Expand

Contributions to the Metamathematics of Arithmetic: Fixed Points, Independence, and Flexibility

- Mathematics
- 2017

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

- Mathematics
- 2014

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 measure… Expand

Técnicas de demostración de indecibilidad e inseparabilidad en teorías formales

- Philosophy
- 2012

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, teoria… Expand

Randomness in Physics: Five Questions, Some Answers

- Mathematics, Physics
- 2009

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 very… Expand

Series Randomness in Physics : Five Questions , Some Answers

- 2009

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 very… Expand

In whose mind is Mathematics an "a priori cognition"?

- Mathematics
- 2008

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

- Computer Science, Mathematics
- 1997

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