ペール・マルティン＝レーフ - Wikipediaペール・エリック・ルトガー・マルティン=レーフ（Per Erik Rutger Martin-Löf（[lɒf]; [2] スウェーデン語: [ ˈmǎʈːɪn ˈløːv ]; [3]）, 1942年5月8日 - ） は、スウェーデンの論理学者・哲学者・数理統計学者。 確率、統計学、数理論理学、および計算機科学の基礎に関する研究で世界的に知られる。1970年代後半以降は、マルティン=レーフの出版物は論理学に属するものが主なものとなった。 人物[編集] 哲学的論理学の分野では、ブレンターノ、フレーゲ、及びフッサールの仕事に部分的に惹起された論理的帰結（logical consequence）と判断（judgement）の哲学に取り組んだ。マルティン＝レーフは、現代論理学における直観主義の領導者であり、構成的数学の基礎として導入した直観主義型理論はその代表作である[4]。型理論に関するマルテ
