Paradigm cover image

Joel David Hamkins: Philosophy of Mathematics and Truth

Paradigm

00:00

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.

Transcript
Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app