|
gptkbp:instance_of
|
gptkb:Monarch
|
|
gptkbp:bfsLayer
|
4
|
|
gptkbp:bfsParent
|
gptkb:Kurt_Gödel
|
|
gptkbp:applies_to
|
formal systems
|
|
gptkbp:challenges
|
gptkb:University
gptkb:Mathematician
computer scientists
theoretical mathematicians
formalize
|
|
gptkbp:depicts
|
limitations of provability
|
|
gptkbp:discusses
|
self-reference
|
|
gptkbp:examines
|
gptkb:academic_research
theoretical frameworks
|
|
gptkbp:has_impact_on
|
gptkb:computer_science
|
|
gptkbp:historical_debate
|
gptkb:academic_circles
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Gödel's paradox
|
|
gptkbp:illustrated_by
|
gptkb:Gödel's_first_incompleteness_theorem
gptkb:Gödel's_second_incompleteness_theorem
|
|
gptkbp:is_a
|
logical paradox
|
|
gptkbp:is_analyzed_in
|
mathematical conferences
mathematical journals
foundations of mathematics
mathematical reviews
|
|
gptkbp:is_associated_with
|
mathematical logic
|
|
gptkbp:is_cited_in
|
gptkb:academic_journal
scholarly articles
mathematical literature
dissertations
|
|
gptkbp:is_considered
|
theoretical computer science
mathematical analysis
mathematical philosophy
|
|
gptkbp:is_considered_as
|
theoretical physicists
|
|
gptkbp:is_criticized_for
|
gptkb:philosopher
|
|
gptkbp:is_described_as
|
philosophy of mathematics
|
|
gptkbp:is_discussed_in
|
gptkb:academic_conferences
gptkb:collection
academic papers
logic courses
mathematical forums
logic seminars
logic forums
|
|
gptkbp:is_explored_in
|
gptkb:philosopher
research papers
formal proofs
philosophical discussions
mathematical texts
mathematical discussions
graduate studies
mathematical seminars
logic textbooks
logic workshops
|
|
gptkbp:is_influential_in
|
mathematical logic
|
|
gptkbp:is_noted_for
|
its implications on completeness
|
|
gptkbp:is_part_of
|
mathematical discourse
|
|
gptkbp:is_referenced_in
|
gptkb:book
scientific articles
logic literature
|
|
gptkbp:is_reflected_in
|
theory of computation
|
|
gptkbp:is_related_to
|
gptkb:Russell's_paradox
computability theory
philosophical implications
|
|
gptkbp:is_studied_in
|
logicians
|
|
gptkbp:is_used_in
|
proof theory
|
|
gptkbp:key
|
understanding incompleteness
|
|
gptkbp:proposed_by
|
gptkb:Kurt_Gödel
|
|
gptkbp:related_to
|
gptkb:Gödel's_incompleteness_theorems
|