Joseph Mileti, "Modern Mathematical Logic" (Cambridge UP, 2022)
New Books in Science, Technology, and Society
00:00
Getting a Result From a Mathematical Proof
A mathematical proof is usually written in, you know, english or you know, he human language ar typically english these days. And so we communicate not in huge equations and symbols, but in para as that are convincing somebody of a certain statement following the basic logical rules. A computer can't completely do mathematics without humans. Humans have to guide it and say, ok, i think this will follow shortly. Can you find,. like, the little suscepts thatill do it?
Play episode from 14:04
Transcript
