paulolivier.dehaye.org (rhizo14)http://paulolivier.dehaye.org/enTue, 19 Jan 2016 10:52:58 GMThttp://getnikola.com/http://blogs.law.harvard.edu/tech/rssFoundations of mathematicshttp://paulolivier.dehaye.org/posts/paul-bernays-lectures-at-eth-zurich.htmlPaul-Olivier Dehaye<img alt="../bernays.jpg" class="align-right" src="http://paulolivier.dehaye.org/bernays.jpg" style="width: 177.0px; height: 237.0px;">
<p>The ETH Zurich hosts every year the <a class="reference external" href="http://www.gess.ethz.ch/news/pbl">Paul Bernays lectures</a>. This the type of lecture where people expect a Nobel prize winner to show up. Well, unless it is a mathematics one (the topic rotates among a few sciences), in which case it is OK if the speaker only has a <a class="reference external" href="http://en.wikipedia.org/wiki/Fields_Medal">Fields medal</a>.</p>
<p>This year, it was the latter. The speaker was <a class="reference external" href="http://en.wikipedia.org/wiki/Vladimir_Voevodsky">Vladimir Voevodsky</a> from the <a class="reference external" href="http://en.wikipedia.org/wiki/Institute_for_Advanced_Study">Institute for Advanced Study</a> in Princeton (the same institute where Einstein and many other brilliant scientists were coopted following great successes).</p>
<p>Voevodsky's initial success was in proving the <a class="reference external" href="http://en.wikipedia.org/wiki/Milnor_conjecture">Milnor conjecture</a>, but he hasn't stopped there. He has announced a proof of the Bloch-Kato conjecture as well, and is now working on Homotopy Type Theory.</p>
<p>This theory is tied to the foundations of mathematics. To the layman, it really asks deep questions about what mathematics is, and how mathematics is constructed and improved, both by computers and humans. In some ways, he is trying to scientifically map out mathematics, and during the talk suggested a 500 year horizon to do that (part of many bombastic and exciting claims made by very smart mathematicians, such as Thomas Hales at the <a class="reference external" href="http://www.youtube.com/watch?v=DJx8bFQbHsA">end of his lecture here</a>, who are willing to challenge the statu quo). Of course, one needs to start "small", and this is what Voevodsky explained in Zurich, his vision of the <em>Foundations of Mathematics</em>.</p>
<p>For this he had three times one hour, which he sensibly divided into: <a class="reference external" href="https://github.com/vladimirias/2014_Paul_Bernays_Lectures/blob/master/2014_09_Bernays_1%20presentation.pdf?raw=true">past</a>, <a class="reference external" href="https://github.com/vladimirias/2014_Paul_Bernays_Lectures/blob/master/2014_09_Bernays_2%20presentation.pdf?raw=true">present</a>, and <a class="reference external" href="https://github.com/vladimirias/2014_Paul_Bernays_Lectures/blob/master/2014_09_Bernays_3%20presentation.pdf?raw=true">future</a>.</p>
<p>I want to focus here on the "past" talk. He started it by quoting wikipedia's definition of <em>Foundations of Mathematics</em>:</p>
<img alt="../wikipedia-foundations.jpg" class="align-center" src="http://paulolivier.dehaye.org/wikipedia-foundations.jpg" style="width: 616.5px; height: 236.0px;">
<p>and highlighted that there were two parts to this definition: the <em>mathematical concepts</em> and the <em>metamathematical concepts</em> (the <em>structures that form the language</em>). He then went on to explain the presence of this dichotomy through the ages: discrete vs. continuous, pure vs. applied, theorem vs. problem (<em>an inquiry the
answer to which is a construction of an object</em>), and eventually touched on this account of what mathematics is:</p>
<img alt="../grassmann.jpg" class="align-center" src="http://paulolivier.dehaye.org/grassmann.jpg" style="width: 617.5px; height: 308.5px;">
<p>Voevodsky's interpretation of what Grassmann is saying is thus: <strong>mathematics is seen as rising from many independent roots and acquiring wholeness only through the intertwining of the lines arising from these roots</strong>.</p>foundationsmathematicsrhizo14http://paulolivier.dehaye.org/posts/paul-bernays-lectures-at-eth-zurich.htmlSat, 13 Sep 2014 19:44:20 GMT