OCS » AxiomaticThinking » Conference

Welcome to the conference service of AxiomaticThinking

Info Icon

This is the main page of the conference. You are presented with a quick overview of the conference facts, as well as the current phases, if logged in. Furthermore you have direct access to actions relevant to the conference.

Your current actions

View papers View papers

With this action an overview of the currently submitted papers is presented to you. Furthermore you can see phase specific information and your possible paper-related actions.

Contact PC Chair Contact PC Chair

With this action you can contact the PC Chair via the internal message system.

Submit paper Submit paper

This conference is in the submission phase. With this action you can submit a paper directly.

Open the overview of your actions in a new page.


Furthermore you can consult the Howtos.


Name:AxiomaticThinking
Description: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 were Hilbert's sharply posed questions which opened up completely new and unexpected perspectives for our understanding of Mathematics.
PC Chairs:Reinhard Kahle
Conference flow:Paper Submission: May 31, 2019 23:59 CEST,
Paper Upload: May 31, 2019 23:59 CEST,
Assignment of Reviewers: May 31, 2019 23:59 CEST,
Review: June 30, 2019 23:59 CEST,
Decision: July 6, 2019 23:59 CEST,
Final: July 31, 2019 23:59 CEST

  • View papers
    arrow

    View papers

  • Contact PC Chair
    arrow

    Contact PC Chair

  • Submit paper
    arrow

    Submit paper