11-14 Oct 2017
Lisbon, Portugal
Axiomatic Thinking Lisbon, October 11-14, 2017 100 years ago, in 1917 David Hilbert gave his seminal talk Axiomatisches Denken at a meeting of the Swiss Mathematical Society in Zurich. It marks the beginning of Hilbert's return to his foundational studies, which ultimately resulted in the establishment of proof theory as a new branch in the emerging field of mathematical logic. Hilbert also used the opportunity to bring Paul Bernays back to Göttingen as his main collaborator in foundational studies in the years to come. The aim of this conference is to reevaluate the success of Hilbert's axiomatic method which did not only lay the foundations for the understanding of modern mathematics, but which also found its way in many applications, first of all - and as vividly advocated by Hilbert - in Physics. Even for the seemingly negative results, as in the case of Gödel's incompleteness theorems, it was Hilbert's sharply posed questions which opened up completely new and unexpected perspectives for our understanding of Mathematics. This conference is jointly organized by the Académie Internationale de Philosophie des Sciences and the Academia das Ciências de Lisboa and will take place in Lisbon, October 11-14, 2017. On Wednesday 11, the conference will take place in the beautiful main hall of Academia das Ciências de Lisboa. That day is fully dedicated to the Foundations of Mathematics and the speakers are Mic Detlefsen (Notre-Dame), Wolfram Pohlers (Münster), Stephen Simpson (Vanderbilt and Penn State), Peter Koellner (Harvard), Michael Rathjen (Leeds) and Mark van Atten (Paris). At the end, a one hour panel discussion is planned. For the remaining days, the conference moves to the campus of Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa (across from the Tagus river). Most of the speakers will be from the Académie Internationale de Philosophie des Sciences and the topic of the conference widens to other aspects of Axiomatic Thinking, not only in Mathematics but also in Physics and other fields of science. Also, philosophical and methodological aspects of Axiomatic Thinking will be discussed. For more information, see http://eventos.fct.unl.pt/aips17 <http://eventos.fct.unl.pt/aips17> [Warning. There is another meeting on ?Axiomatic Thinking? in Zurich in September to celebrate the same centenary. Do not confuse both.] -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam