Please use this identifier to cite or link to this item: http://hdl.handle.net/10077/34252
Title: Per Martin-Löf
Authors: Contente, Michele
Keywords: Type TheoryConstructive MathematicsCurry-Howard CorrespondenceTeoria dei tipiMatematica costruttivaCorrispondenza Curry-Howard
Issue Date: 2022
Publisher: EUT Edizioni Università di Trieste
Source: Michele Contente, "Per Martin-Löf", in "APhEx 25", 2022, pp. 45
Journal: APhEx 
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.
Type: Article
URI: http://hdl.handle.net/10077/34252
ISSN: 2036-9972
Appears in Collections:25 APhEx num 25, anno 2022

Files in This Item:
File Description SizeFormat
Profilo_Martin_Lof.pdf547.41 kBAdobe PDFThumbnail
View/Open
Show full item record


CORE Recommender

Page view(s)

31
checked on Mar 21, 2023

Download(s)

12
checked on Mar 21, 2023

Google ScholarTM

Check


This item is licensed under a Creative Commons License Creative Commons