This is a tangent to dialethei, but something I wanted to bring up for a while:
http://video.ias.edu/voevodsky-80th
Voevodsky asks: what if the current foundations of math are inconsistent? Answers: probably nothing so bad.
This is a tangent to dialethei, but something I wanted to bring up for a while:
http://video.ias.edu/voevodsky-80th
Voevodsky asks: what if the current foundations of math are inconsistent? Answers: probably nothing so bad.