Partenaires

logo Equipe Chspam
Logo Laboratoire Logo équipe Rehseis
CNRS
Logo Université Paris-Diderot Logo Université Paris1-Panthéon-Sorbonne


Rechercher

Sur ce site

Sur le Web du CNRS


Accueil du site > Archives > Journées et colloques 1996–2012 > Journées d’étude et colloques 2011-2012 > Conférence du Prof. Per Martin-Löf (Université de Stockholm, Académie Royale des Sciences de Suède, Chaire internationale Blaise Pascal)

Conférence du Prof. Per Martin-Löf (Université de Stockholm, Académie Royale des Sciences de Suède, Chaire internationale Blaise Pascal)



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.




Organisation : Ahmad Hasnaoui (CNRS, CHSPAM–SPHERE)

Plan. Metro : line 14, RER C, stop : Bibliothèque Nationale. Bus : 62 89 325 64 / Avenue de France.