Dr. Juan Luis Gastaldi

Dr. Juan Luis Gastaldi

Student / Programme Doctorate at D-INFK

ETH Zürich

Professur für Informatik

OAT W 17

Andreasstrasse 5

8092 Zürich

Switzerland

Additional information

Course Catalogue

Spring Semester 2024

Number Unit
263-5353-00L Philosophy of Language and Computation I
Juan Luis Gastaldi

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

JavaScript has been disabled in your browser