Paradigm cover image

Joel David Hamkins: Philosophy of Mathematics and Truth

Paradigm

INSIGHT

Formal Proofs vs. Informal Proofs

  • Formal proofs are structured arrangements of statements within a formal language, using axioms and inference rules to arrive at a theorem.
  • While Turing machines are a theoretical model of computation, formal proofs serve as a theoretical model of proof.
  • Mathematicians use informal proofs for understanding and communication, while formal proofs are used to explore the nature of proof itself, including concepts like independence and consistency.
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