# Fame.am profile — machine-readable export
# Canonical URL: https://fame.am/person/per-martin-lof
# Generated: 2026-09-07T18:02:06.164Z

schema: https://schema.org/Person
url: "https://fame.am/person/per-martin-lof"
name: "Per Martin-Löf"
slug: "per-martin-lof"
description: "Per Erik Rutger Martin-Löf is a Swedish logician, philosopher, and mathematical statistician. He is internationally renowned for his work on the foundations of probability, statistics, mathematical logic, and computer science. Since the late 1970s, Martin-Löf's publications have been mainly in logic. In philosophical logic, Martin-Löf has wrestled with the philosophy of logical consequence and judgment, partly inspired by the work of Brentano, Frege, and Husserl. In mathematical logic, Martin-Löf has been active in developing intuitionistic type theory as a constructive foundation of mathematics; Martin-Löf's work on type theory has influenced computer science."
tagline: "Swedish logician, philosopher, and mathematical statistician"
image: "https://commons.wikimedia.org/wiki/Special:FilePath/Per_MartinLoef.jpg?width=1200"
gender: "male"
country:
  name: "Sweden"
  isoCode: "SE"
category:
  name: "Academics"
  slug: "academics"
profileType:
  name: "Academic"
  slug: "academic"
  entityType: "https://www.wikidata.org/entity/Q39631"
birthDate: "1942-05-08"
livingStatus: "LIVING"
scores:
  popularity:           48.59
  momentum:             1.514423076923077
  historical:           10.72754266666667
  currentAttention:     8.413461538461538
  sourceConfidence:     60
  profileCompleteness:  70
  trendDirection:       "STABLE"
ranks:
  global:   null
  country:  null
  category: null
sources:
  - url: "https://zh.wikipedia.org/wiki/%E4%BD%A9%E5%B0%94%C2%B7%E9%A9%AC%E4%B8%81-%E6%B4%9B%E5%A4%AB"
    title: "佩尔·马丁-洛夫"
    type:  "WIKIPEDIA"
  - url: "https://ar.wikipedia.org/wiki/%D8%A8%D9%8A%D8%B1_%D9%85%D8%A7%D8%B1%D8%AA%D9%86_%D9%84%D9%88%D9%81"
    title: "بير مارتن لوف"
    type:  "WIKIPEDIA"
  - url: "https://arz.wikipedia.org/wiki/%D9%BE%D9%8A%D8%B1_%D9%85%D8%A7%D8%B1%D8%AA%D9%8A%D9%86_%D9%84%D9%88%D9%81"
    title: "پير مارتين لوف"
    type:  "WIKIPEDIA"
  - url: "https://azb.wikipedia.org/wiki/%D9%BE%D8%B1_%D9%85%D8%A7%D8%B1%D8%AA%DB%8C%D9%86-%D9%84%D9%88%D9%81"
    title: "پر مارتین-لوف"
    type:  "WIKIPEDIA"
  - url: "https://de.wikipedia.org/wiki/Per_Martin-L%C3%B6f"
    title: "Per Martin-Löf"
    type:  "WIKIPEDIA"
  - url: "https://en.wikipedia.org/wiki/Per_Martin-L%C3%B6f"
    title: "Per Martin-Löf"
    type:  "WIKIPEDIA"
  - url: "https://es.wikipedia.org/wiki/Per_Martin-L%C3%B6f"
    title: "Per Martin-Löf"
    type:  "WIKIPEDIA"
  - url: "https://fr.wikipedia.org/wiki/Per_Martin-L%C3%B6f"
    title: "Per Martin-Löf"
    type:  "WIKIPEDIA"
  - url: "https://ja.wikipedia.org/wiki/%E3%83%9A%E3%83%BC%E3%83%AB%E3%83%BB%E3%83%9E%E3%83%AB%E3%83%86%E3%82%A3%E3%83%B3%EF%BC%9D%E3%83%AC%E3%83%BC%E3%83%95"
    title: "ペール・マルティン＝レーフ"
    type:  "WIKIPEDIA"
  - url: "https://pt.wikipedia.org/wiki/Per_Martin-L%C3%B6f"
    title: "Per Martin-Löf"
    type:  "WIKIPEDIA"
  - url: "https://ru.wikipedia.org/wiki/%D0%9C%D0%B0%D1%80%D1%82%D0%B8%D0%BD-%D0%9B%D1%91%D1%84%2C_%D0%9F%D0%B5%D1%80"
    title: "Мартин-Лёф, Пер"
    type:  "WIKIPEDIA"
  - url: "https://sv.wikipedia.org/wiki/Per_Martin-L%C3%B6f"
    title: "Per Martin-Löf"
    type:  "WIKIPEDIA"
  - url: "https://www.wikidata.org/wiki/Q2067227"
    title: "Wikidata"
    type:  "WIKIDATA"

# bio (long form, separated for readability)
bio: |
  Imported from discovery source: wikidata-dump