Why Do We Prove Theorems?

1999/02/01 by YEHUDA RAV · 2 citations

paper · doi:10.1093/philmat/7.1.5

Cited by

• T-BAT semantics and its logics
• Thinking Machines: Mathematical Reasoning in the Age of LLMs