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 Theory; Constructive Mathematics; Curry-Howard Correspondence; Teoria dei tipi; Matematica costruttiva; Corrispondenza 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 | Size | Format | |
---|---|---|---|---|
Profilo_Martin_Lof.pdf | 547.41 kB | Adobe PDF | ![]() View/Open |
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