What if Current Foundations of Mathematics are Inconsistent? -- A talk by field medalist Vladimir Voevodsky
video.ias.edu/voevodsky-80thPosted Nov 4, 2010, 5:06 PM UTC
4212
video.ias.edu
That would mean everything is true; awesome!
2
your face is true.
1
No it wouldn't. Oh, I now realise you're joking. Never mind.
1
Yes it would.
1
OK, in some sense yes, but in an important sense, no.
0
In every sense it would. You should read up on ex falso quodlibet.
0
My username has never felt so appropriate.
2
This sould read Fields medalist; and it's a crosspost from r/dependent_types.