Institute for Advanced Study - 2016-08-16
Andrej Bauer University of Ljubljana, Slovenia; Member, School of Mathematics March 18, 2013 Discussions about constructive mathematics are usually derailed by philosophical opinions and meta-mathematics. But how does it actually feel to do constructive mathematics? A famous mathematician wrote that "taking the principle of excluded middle from the mathematician would be the same, say, as proscribing the telescope to the astronomer or to the boxer the use of his fists." Was he right? In this talk we shall visit the astounding worlds of constructive mathematics. As tourists from the classical world we will at first be shocked by the bizarre and unfamiliar phenomena, but hopefully also left curious about the new possibilities and dimensions of mathematics that the classical dogma declares heretical or even non-existent. For more videos, visit http://video.ias.edu
For once, I understand what a logician says! And it is very interesting!
Is it just me or does this guy look a lot like Charlie Sheen? No disrespect meant, I really enjoyed the talk.
Very clear and interesting (Science4All brought me here)!
xy9izzy - 2018-11-09
Why is it that the videographer spaces out/loses focus at at the precise moment when the main part of the proof is being elucidated. The professor is writing on a chalkboard offscreen, so unless you already know what he's saying, you are left behind. Then, it happens again later, but this time the chalkboard is illegible because the camera is too far away. Stuff like this is maddening to me and always seems to happen in math instruction.