On Formally Undecidable Propositions of Principia Mathematica and Related Systems
id:
on-formally-undecidable-propositions-of-principia-mathematica-and-related-systems-324-1504666
title:
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
text:
"Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I" is a paper in mathematical logic by Kurt Gödel. Submitted November 17, 1930, it was originally published in German in the 1931 volume of Monatshefte für Mathematik und Physik. Several English translations have appeared in print, and the paper has been included in two collections of classic mathematical logic papers. The paper contains Gödel's incompleteness theorems, now fundamental results in logic that have
brand slug:
wiki
category slug:
encyclopedia
description:
1931 paper by Kurt Gödel
original url:
https://en.wikipedia.org/wiki/On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems
date created:
date modified:
2023-10-16T17:17:16Z
main entity:
{"identifier":"Q7090984","url":"https://www.wikidata.org/entity/Q7090984"}
image:
fields total:
13
integrity:
14