Joseph Mileti, "Modern Mathematical Logic" (Cambridge UP, 2022)
New Books in Science, Technology, and Society
00:00
How to Write a True Statement or a Theorem
Mathematicians argue just like other mathematicians do, using a sort of informal natural language. We write our proofs informally and they can be translated into this very formal system. What makes something simple in mathematics is that it is easily and incitfully understood by a human which is very different. Get the simplest possible a instance of a true statement or a theorem. civification is a big part of math.
Play episode from 17:12
Transcript
