10h
9 décembre 2011, Université Paris Diderot,
salle Klee (454A), bâtiment Condorcet,
4, rue Elsa Morante, 75013 Paris.
How did "judgement" come to be a term of logic ?
Logician, philosopher, and mathematical statistician, Per Martin-Löf is internationally renowned for his work on the foundations of probability, statistics, mathematical logic, and computer science. Since the late 1970s, Martin-Löf’s publications have been mainly in logic. In philosophical logic, Martin-Löf has wrestled with the philosophy of logical consequence and judgment, partly inspired by the work of Brentano, Frege, and Husserl. In mathematical logic, Martin-Löf has been active in developing intuitionistic type theory as a constructive foundation of mathematics ; Martin-Löf’s work on type theory has influenced computer science.
Per Martin-Löf holds a joint chair for Mathematics and Philosophy at Stockholm University and is a member of the Royal Swedish Academy of Sciences, of the Academia Europaea, Doctor honoris causa of the University of Leyden, Doctor Honoris Causa of the University of Aix-Marseille II.
He is an enthusiastic bird-watcher, whose first scientific publication was on the mortality rates of ringed birds.
Per Martin-Löf holds a joint chair for Mathematics and Philosophy at Stockholm University and is a member of the Royal Swedish Academy of Sciences, of the Academia Europaea, Doctor honoris causa of the University of Leyden, Doctor Honoris Causa of the University of Aix-Marseille II.
He is an enthusiastic bird-watcher, whose first scientific publication was on the mortality rates of ringed birds.
Organisation : Ahmad Hasnaoui (CNRS, CHSPAM–SPHERE)
Plan. Metro : line 14, RER C, stop : Bibliothèque Nationale. Bus : 62 89 325 64 / Avenue de France.