Per Martin-Löf

Abstract

Per Martin-Löf is one of the most prominent living logicians. The present profile aims to illustrate his main works in an accessible way, devoting particular attention to their philosophical significance. After a brief sketch of his intellectual biography, we shall survey his main contributions to different areas of logic and philosophy. In particular, we shall focus on his most important contribution, the introduction of the Intuitionistic Theory of Types, and we shall analyze his work in proof theory, foundations of constructive mathematics and philosophy of logic.

Per Martin-Löf è uno dei più importanti logici viventi. Il presente profilo si propone di illustrare in maniera accessibile i suoi principali lavori, dedicando particolare attenzione alla loro rilevanza filosofica. Dopo una breve esposizione della sua biografia intellettuale, esamineremo i suoi principali contributi a diverse aree della logica e della filosofia. In particolare, ci concentreremo sul suo contributo più importante, l'introduzione della teoria intuizionista dei tipi, e analizzeremo il suo lavoro in teoria della dimostrazione, fondamenti della matematica costruttiva e filosofia della logica.