Per Martin-Löf

Un article de Wikipédia, l'encyclopédie libre.

Per Martin-Löf est un logicien, philosophe et mathématicien suédois né en 1942. Il est connu pour avoir développé la 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.