Dr. Juan Luis Gastaldi
Dr. Juan Luis Gastaldi
Lecturer at the Department of Computer Science
Additional information
Course Catalogue
Spring Semester 2025
Number | Unit |
---|---|
263-5353-20L | Philosophy of Language and Computation II |
Juan Luis Gastaldi is a philosopher and historian of science, specialized in philosophy and history of formal knowledge (mathematics, logic and computer science), from the beginning of the 19th century to our days
After graduating with a degree in political sciences (UNR, Argentina), Gastaldi continued his studies in philosophy and mathematics at the École Normale Supérieure of Paris, as well as at the universities of Paris-1 and Paris-6. He defended a PhD with a dissertation on the mathematization of logic in the 19th century. At present, he is a Marie Skłodowska-Curie Fellow at the ETH Chair of History and Philosophy of Mathematics, as well as the managing director of the Turing Centre, ETH Zürich. He is also an external page associate researcher at the SPHERE laboratory of the Université de Paris. From 2012 to 2019, he was a senior lecturer in philosophy at the Fine Arts Academy of Montpellier (MO.CO.ESBA) and during 2012-2013, he was a Fellow at the Akademie Schloss Solitude (Stuttgart).
His research focuses on the formalization of meaning as a central problem of modern and contemporary philosophy, determined by a complex articulation between logic, mathematics and semiology. Developing the principles of historical epistemology, he proposes an understanding of the emergence and evolution of formal knowledge, from early 19th century mathematized logic to contemporary computer science, guided by the problematic constitution of a theory of formal languages at the intersection of natural and social sciences.
Juan Luis Gastaldi is currently leading an H2020 project, in collaboration with theoretical computer scientists and linguists, aimed at developing a semiology of mathematics by providing a conceptual and technical framework for the automatic analysis of mathematical corpora, based on a generalization of new techniques of grammatical inference for natural language.