ペール・マルティン＝レーフ

ペール・マルティン＝レーフ (<span lang=\"sv\">Per Martin-L&ouml;f</span>, 1942年 - ) はスウェーデンの論理学者、哲学者、数学者。直観主義的型理論の創案者として知られる。２００９年までストックホルム大学数学部および哲学部教授を務めた。