26-28 Nov 2020
*31st Novembertagung on the History and Philosophy of Mathematics*
*?AXIOMATICS: ANCIENT AND CONTEMPORARY PERSPECTIVES?*
November 26th?28th 2020, 9:30 - 18:00 CET / UTC+1
Online, hosted by Humboldt-Universität zu Berlin, Germany
The Novembertagung is an international graduate conference on the History and
Philosophy of Mathematics and neighbouring fields. It aims to provide an
opportunity for graduate students at all levels to present and discuss their
research in an informal and safe environment. It also allows early career
researchers to share experiences, get advice, and establish new contacts.
*Keynote talks:*
* Tinne Hoff Kjeldsen (Copenhagen): TBA
* Juliette Kennedy (Helsinki): ?The Foundational Project. Where Do We
Stand??
* Dirk Schlimm (McGill): ?Axioms in Mathematical Practice?
The full programme can be found on our website
<https://novembertagung.wordpress.com/2020-axiomatics/programme/>. To
participate, please register here
<https://novembertagung.wordpress.com/2020-axiomatics/call-for-registration/registration-form/>.
Please note: to maintain the usual community-feeling and to allow networking,
we hope that you participate in most of the conference.
*On the theme: *While Euclid (c. 3^rd century BC) is usually celebrated as the
beginning of axiomatic science, many features that are nowadays taken to be
essential to axiomatics??such as the explicit statement of inference rules and
the requirement of primitive, undefined notions??appear to be alien to ancient
mathematics. A major contemporary change in the view on axiomatics was
initiated by the adoption of the set-theoretic axiomatic framework as a
foundation of mathematics in the first half of the 20^th century. Proof theory
and model theory subsequently developed as independent research fields and had
a wide impact on philosophical thought. On the other hand, some philosophers
also argue that the axiomatic view on mathematics may be harmful in that it
omits fundamental aspects of mathematical practice and idealizes mathematical
reasoning in an unfaithful way.
*Organization:* Paul Hasselkuß (Universität Düsseldorf), Tiago Hirth (ULisboa),
Deborah Kant (Universität Konstanz), Deniz Sarikaya (Universität Hamburg),
Tobias Schütz (Universität Mainz), Anna Kiel Steensen (ETH Zürich), and
Benjamin Wilck (Humboldt-Universität zu Berlin).
*Support:* This event is hosted by the Research Training Group Philosophy,
Science and the Sciences
<https://ancient-philosophy.hu-berlin.de/en/ancient-philosophy>at
Humboldt-Universität zu Berlin and generously supported by the British Society
for the History of Mathematics (BSHM), <https://www.bshm.ac.uk/>International
Commission on the History of Mathematics (ICHM),
<https://www.mathunion.org/ichm>GDR 3398 ?Histoire des mathématiques?
<http://irma.math.unistra.fr/~schappa/NSch/GDR_Hist_Math.html>, theGerman
Society for Philosophy of Science (GWP) <https://www.wissphil.de/>, the Ludus
association <http://ludicum.org/>and the Schimank - Foundation.
*Contact:* For any query, do not hesitate to send us an e-mail at
novembertagung2020@gmail.com <mailto:novembertagung2020@gmail.com>. Further
info can be found on our website <https://novembertagung.wordpress.com/>.
--
[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