Joseph Mileti, "Modern Mathematical Logic" (Cambridge UP, 2022)
New Books in Science, Technology, and Society
00:00
Is There a Powerful Tool for That?
Mathematicians use complex techniques to solve simple problems. Theorems allow one to reason about complicated things using simp techniques. Building up these simple techniques requiredo ow, decades or hundreds of years. Once you have it, now you can answer basic questions.
Play episode from 12:15
Transcript
