Workshop: Approaches to the Logic and Syntax of Mathematical Texts
From December 5 to December 8, 2022, the sin-aps group The language of algorithmic mathematics is organising a four-day workshop, which aims at analysing the logic and syntax of mathematical texts: Greek, Latin, Chinese and modern mathematical formulaic texts. The workshop brings together scholars and young researchers who have combined (philo-)logical with digital approaches to better understand the linguistic and argumentative patterns of mathematical expression. The morning sessions will be dedicated to presentations and comparisons of automated tools to analyse document corpuses, in the afternoon we will have guided detailed readings of extracts from mathematical texts.
Confirmed external participants are: Fabio Acerbi (Paris, author of The Logical Syntax of Greek Mathematics), Christoph Harbsmeier (University of Oslo, founding editor of the Thesaurus Linguae Sericae 漢學文典), Valerie Kiel (Bochum & Erlangen), Michael Kohlhase (Erlangen, KWARC), Ramon Masià (Barcelona), Philipp Roelli (Zürich), Jan Frederik Schaefer (Erlangen, KWARC), Christian Wittern (Kyoto, technical editor of the Thesaurus Linguae Sericae 漢學文典 ).
Venue: Hartmannstrasse 14, Building D1 (00.235 – Großer Seminarraum), 91502 Erlangen
A detailed program can be found here. For participation please register by sending an e-mail to Andrea Bréard.