# Ü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,206 Citations

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…

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

- Linguistics
- 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,…

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…

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…

Series Randomness in Physics : Five Questions , Some Answers

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

Randomness in Physics: Five Questions, Some Answers

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

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

- Philosophy, 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

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

Gödel’s incompleteness theorems

- Computer Science100 Years of Math Milestones
- 2019

This thesis will explore two formal languages of logic and their associated mechanically recursive proof methods with the goal of proving Godel’s Incompleteness Theorems.