|
gptkbp:instanceOf
|
gptkb:philosophy
|
|
gptkbp:concerns
|
gptkb:Proof
Objectivity
Axioms
Consistency
Validity of mathematical statements
|
|
gptkbp:contrastsWith
|
Empirical truth
Moral truth
Religious truth
Scientific truth
|
|
gptkbp:debatedBy
|
gptkb:Alfred_Tarski
gptkb:Bertrand_Russell
gptkb:David_Hilbert
gptkb:Kurt_Gödel
gptkb:Ludwig_Wittgenstein
Objectivity vs subjectivity
Discovery vs invention
Role of axioms
Role of completeness
Role of computation
Role of consistency
Role of formal systems
Role of intuition
Role of language
Role of models
Role of proof
|
|
gptkbp:discusses
|
gptkb:Platonism
gptkb:Intuitionism
gptkb:Logicism
gptkb:Formalism
|
|
gptkbp:hasAspect
|
Absolute truth
Constructive truth
Relative truth
Semantic truth
Syntactic truth
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Mathematical Truth
|
|
gptkbp:influencedBy
|
gptkb:Gödel's_incompleteness_theorems
gptkb:Tarski's_undefinability_theorem
gptkb:logic
gptkb:Set_theory
Model theory
Proof theory
|
|
gptkbp:relatedTo
|
gptkb:Mathematics
gptkb:logic
|
|
gptkbp:studiedIn
|
gptkb:Metaphysics
gptkb:logic
gptkb:Epistemology
gptkb:Philosophy_of_logic
|
|
gptkbp:bfsParent
|
gptkb:Paul_Benacerraf
|
|
gptkbp:bfsLayer
|
5
|