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

URI: https://gptkb.org/entity/Über_formal_unentscheidbare_Sätze_der_Principia_Mathematica_und_verwandter_Systeme
GPTKB entity
Statements (17)
Predicate Object
gptkbp:instanceOf gptkb:academic_journal
gptkbp:author gptkb:Kurt_Gödel
gptkbp:citation gptkb:Gödel's_incompleteness_theorems
gptkbp:doi 10.1007/BF01700692
gptkbp:influenced gptkb:logic
computer science
gptkbp:language gptkb:German
gptkbp:publicationYear 1931
gptkbp:publishedIn gptkb:Monatshefte_für_Mathematik
gptkbp:title gptkb:On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems
gptkbp:topic gptkb:Gödel's_incompleteness_theorems
gptkb:logic
formal systems
incompleteness theorems
gptkbp:bfsParent gptkb:On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems
gptkbp:bfsLayer 5
https://www.w3.org/2000/01/rdf-schema#label Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme