Loading article…
マルティン・フーゴ・レープ（ドイツ語: [ løːp ]、1921年3月31日 - 2006年8月21日）は、ドイツの数学者。第二次世界大戦後、イギリスに移住し、数理論理学を専門とした。1970年代にオランダに移り住み、その後はそこで引退生活を送った。1955年にレープの定理を定式化したことで最もよく知られている。
レープはベルリンで育ったが、第三帝国から逃れ、第二次世界大戦勃発直前にイギリスに到着した。敵国人として、彼は1940年にダネラ号でオーストラリアのヘイにある収容所に送られ、そこで19歳のレープは他の収容者から数学を教わった。彼の教師であったフェリックス・ベーレントは、後にメルボルン大学の教授となった。
レープは1943年にイギリスへの帰国を許可され、戦後ロンドン大学で学んだ。卒業後、レスター大学で ルーベン・グッドスタインの研究員となった。 1951年に博士号を取得し、リーズ大学の助教となり、そこで20年間勤務し、1967年から1970年まで数理論理学の准教授、最終的には教授を務めた。彼はリーズ大学の数理論理学グループを発展させ、イギリス有数の研究拠点の一つとした。レープは証明論、様相論理、計算可能性理論の研究を行った。彼は1955年にレープの定理を定式化した。これはレープのパラドックスの形式版であり、自身の証明可能性を主張する命題は必ず真である（ゲーデルの不完全性定理に類似）というものである。
レープの妻カロリーネはオランダ人だった。二人の間には二人の娘がいた。レープは1970年代初頭にアムステルダム大学の教授に就任し、定年退職まで同大学に在籍した。その後、アンネンに移り住み、そこで後に亡くなった。