Concepedia

A Theory of Mathematical Correctness and Mathematical Truth

Pacific philosophical quarterly · 2001 · 39 citations · 0 references

Concepts

HumanitiesMathematicsFormal MethodsLogicPhilosophy Of MathematicsMathematical KnowledgeMathematical LogicMathematical ReasoningMathematical TruthPredicate LogicProof TheoryCorrectness ProofsLogical TruthMathematical SemanticsObjectivity Of Mathematical TruthTruthmakers In Mathematics