375: TZ Discussion - How the World Went Soft
TechZing
00:00
How to Implement Math Proofs on the System
A proof is a series of statements that, you know, it has like here are the assumptions or here are the givens. It's an entire argument could be two or three lines or could be a hundred pages. So initially, I was thinking, I don't even know what a proof is. Once you get beyond like calculus and maybe linear algebra, they don't say how to solve these problems anymore. They just have multiple choice or maybe free response. That's too free form would be impossible to verify with math.
Play episode from 01:04:17
Transcript
