Gödel's philosophical work
GPTKB entity
Statements (63)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:philosopher
|
| gptkbp:bfsLayer |
5
|
| gptkbp:bfsParent |
gptkb:Gödel's_ontological_proof
|
| gptkbp:addresses |
the nature of mathematical truth
|
| gptkbp:analyzes |
the concept of proof
|
| gptkbp:applies_to |
discussions on truth and proof
|
| gptkbp:contributed_to |
metamathematics
|
| gptkbp:discusses |
mathematical logic
|
| gptkbp:examines |
formal systems
the limits of formal systems |
| gptkbp:explores |
philosophical implications of mathematics
|
| gptkbp:focuses_on |
gptkb:concept
|
| gptkbp:has_impact_on |
gptkb:computer_science
|
| gptkbp:historical_debate |
philosophical circles
|
| https://www.w3.org/2000/01/rdf-schema#label |
Gödel's philosophical work
|
| gptkbp:includes |
gptkb:Gödel's_completeness_theorem
incompleteness theorems |
| gptkbp:influences |
the development of formal logic
|
| gptkbp:is_a_framework_for |
modern logic
philosophers of logic |
| gptkbp:is_analyzed_in |
gptkb:philosopher
logic seminars numerous scholars |
| gptkbp:is_associated_with |
the philosophy of mathematics
|
| gptkbp:is_characterized_by |
rigorous argumentation
|
| gptkbp:is_cited_in |
theoretical discussions
discussions of paradoxes |
| gptkbp:is_connected_to |
the philosophy of language
|
| gptkbp:is_critical_for |
the history of philosophy
|
| gptkbp:is_discussed_in |
the philosophy of mind
philosophy of mathematics courses the works of other logicians |
| gptkbp:is_essential_for |
mathematical foundations
the limits of computation |
| gptkbp:is_explored_in |
graduate studies
|
| gptkbp:is_influenced_by |
Platonism
|
| gptkbp:is_influential_in |
theoretical computer science
contemporary philosophy |
| gptkbp:is_linked_to |
the concept of undecidability
|
| gptkbp:is_often_associated_with |
academic papers
academic discussions philosophy anthologies logic textbooks logic curricula. |
| gptkbp:is_often_compared_to |
other philosophical works
|
| gptkbp:is_part_of |
the broader discourse on logic
|
| gptkbp:is_recognized_for |
its depth and complexity
its originality |
| gptkbp:is_referenced_in |
gptkb:philosophical_debates
|
| gptkbp:is_related_to |
gptkb:collection
the foundations of mathematics |
| gptkbp:is_studied_in |
philosophers and mathematicians
|
| gptkbp:key |
philosophical logic
students of logic |
| gptkbp:notable_recipients |
the philosophy of science
|
| gptkbp:public_awareness |
the nature of infinity
|
| gptkbp:published_by |
various academic journals
|
| gptkbp:significance |
the field of logic
the study of epistemology |
| gptkbp:subject |
gptkb:academic_research
philosophers of mathematics philosophical inquiry intense scholarly interest |