ペール・マルティン＝レーフ
ペール・エリック・ルトガー・マルティン=レーフ（Per Erik Rutger Martin-Löf）
Per Martin-Löf
アルゴリズム的ランダムな無限列
アルゴリズム情報理論
コルモゴロフ複雑性
マルティン=レーフ・チャイティンのテーゼ
ホモトピー型理論
関連人物
フランツ・ブレンターノ
ルドルフ・カルナップ
マイケル・ダメット
ゴットロープ・フレーゲ
Ulf Grenander
ヤーッコ・ヒンティッカ
エトムント・フッサール
アンドレイ・コルモゴロフ
Anders Martin-Löf
ジョン・フォン・ノイマン
Peter Pagin
ダグ・プラウィッツ
チャールズ・サンダース・パース
フランク・ラムジー
バートランド・ラッセル
デイナ・スコット
アルフレッド・タルスキ
アラン・チューリング
グレゴリー・チャイティン
ピーター・アクゼル
ヨラン・スントホルム
ジャン＝イヴ・ジラール
ペール・マルティン＝レーフ - Wikipedia