Universiteit van Amsterdam


Institute for Logic, Language and Computation

11 - 14 October 2017, Axiomatic Thinking, Lisbon, Portugal

Date: 11 - 14 October 2017
Location: Lisbon, Portugal

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.  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.

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. 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), 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.