-
画像引用元: upload.wikimedia.org
ペール・マルティン＝レーフ
ペール・マルティン＝レーフ (<span lang=\"sv\">Per Martin-Löf</span>, 1942年 - ) はスウェーデンの論理学者、哲学者、数学者。直観主義的型理論の創案者として知られる。２００９年までストックホルム大学数学部および哲学部教授を務めた。 ペール・マルティン＝レーフ (<span lang=\"sv\">Per Martin-Löf</span>, 1942年 - ) はスウェーデンの論理学者、哲学者、数学者。直観主義的型理論の創案者として知られる。２００９年までストックホルム大学数学部および哲学部教授を務めた。推定知名度 0.66% (15-75歳男女) --% (20-35歳男女) 過去の推移
-
推定知名度
0.66% (15-75歳男女)--% (20-35歳男女)過去の推移