Accueil/ conferencier
Per Martin-Löf

Cursus :

Logicien, philosophe et statisticien, Per Martin-Löf est connu pour ses travaux sur la probabilité, la logique mathématique, la statistique...Sur le domaine philosophique, il s'est attaché aux questions du jugement, inspiré en cela par les travaux de Brentano, Frege et Husserl. Ses recherches ont également marqué le savoir informatique. Il a aussi posé une théorie des types intuitionnistes comme base constructive des mathématiques. .

Per Martin-Löf occupe la chaire de mathématiques et philosophie de l'université de Stockholm.

Affiliation : Université de Stockholm - Académie Royale des Sciences de Suède - Chaire internationale Blaise Pascal

Statut : Logicien, philosophe et mathématicien

Liens :

   - Page personnelle de Per Martin-Löf sur le site du Laboratoire SPHERE
   - Page personnelle de Per Martin-Löf sur le site de Wikipédia
   - Stockholms Universitet

Exposé(s) :
photoExpose
How did 'judgement' come to be a term of logic?
Per Martin-Löf

Conférence de clôture de la Chaire Blaise Pascal 2011 par Per Martin-Löf

What is logic? Is it the study of the process of inference or reasoning, called demonstration in mathematics, by means of which we justify o...
Mots-clés : épistémologie , Chaire Blaise Pascal , concept , logique , ontologie