Joseph Mileti, "Modern Mathematical Logic" (Cambridge UP, 2022)
New Books in Mathematics
00:00
The Importance of Grammar Checkers in Mathematical Language
Get the simplest possible instance of a true statement or a theorem. And simplification is a big part of math I mean you learn to do this in high school. So like mathematical logic is a branch of mathematics and we argue just like other mathematicians do using sort of informal natural language We write our proofs informally we just know that they can be translated into this very formal system.
Transcript
Play full episode
