ストックホルム大学
ペール・マルティン＝レーフ (Per Martin-Löf, 1942年5月8日 - ) はスウェーデンの論理学者、哲学者、数学者。の創案者として知られる。2009年までストックホルム大学数学部および哲学部教授を務めた。