Options
Per Martin-Löf
Contente, Michele
2022
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.
Journal
APhEx
Publisher
EUT Edizioni Università di Trieste
Source
Michele Contente, "Per Martin-Löf", in "APhEx 25", 2022, pp. 45
Languages
it
File(s)