Paradigm cover image

Joel David Hamkins: Philosophy of Mathematics and Truth

Paradigm

CHAPTER

Exploring the Concept of Proof

This chapter delves into the concept of proof in mathematics, discussing the distinction between informal and formal proofs and the use of convincing arguments. It also explores different proof systems and deduction rules used in mathematical logic, including the analogy of formal proofs to Turing machines.

00:00
Transcript
Play full episode

Remember Everything You Learn from Podcasts

Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.
App store bannerPlay store banner