Joseph Mileti, "Modern Mathematical Logic" (Cambridge UP, 2022)
New Books in Mathematics
00:00
The Power of Proofs
A mathematical proof is usually written in you know English or you know a human language but typically English these days. And so we communicate not in huge you know equations and symbols but in paragraphs that are convincing somebody of a certain statement following the basic logical rules. These days there's people doing what are called automated theorem proving or automated proof checking where you let a computer do it. So you can since you can take mathematics and break it down into these very syntactic formal things, this is sort of a somewhat a rowing area in sorts of mathematics right now.
Transcript
Play full episode
