Repository logo
  • English
  • Italiano
  • Log In
    Have you forgotten your password?
Repository logo
Repository logo
  • Archive
  • Series/Journals
  • EUT
  • Events
  • Statistics
  • English
  • Italiano
  • Log In
    Have you forgotten your password?
  1. Home
  2. EUT Edizioni Università di Trieste
  3. Periodici
  4. APhEx
  5. 25 APhEx num 25, anno 2022
  6. Per Martin-Löf
 
  • Details
  • Metrics
Options

Per Martin-Löf

Contente, Michele
2022
Loading...
Thumbnail Image
ISSN
2036-9972
http://hdl.handle.net/10077/34252
  • Article

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
Subjects
  • Type Theory

  • Constructive Mathemat...

  • Curry-Howard Correspo...

Publisher
EUT Edizioni Università di Trieste
Source
Michele Contente, "Per Martin-Löf", in "APhEx 25", 2022, pp. 45
Languages
it
Licence
http://creativecommons.org/licenses/by-nc-nd/4.0/
File(s)
Loading...
Thumbnail Image
Download
Name

Profilo_Martin_Lof.pdf

Format

Adobe PDF

Size

547.41 KB

Indexed by

 Info

Open Access Policy

Share/Save

 Contacts

EUT Edizioni Università di Trieste

OpenstarTs

 Link

Wiki OpenAcces

Archivio Ricerca ArTS

Built with DSpace-CRIS software - Extension maintained and optimized by 4Science

  • Cookie settings
  • Privacy policy
  • End User Agreement
  • Send Feedback