ペール・マルティン＝レーフ - Wikipedia
ペール・エリック・ルトガー・マルティン=レーフ（Per Erik Rutger Martin-Löf（[lɒf]; [2] スウェーデン語: [ ˈmǎʈːɪn ˈløːv ]; [3]）, 1942年5月8日 - ） は、スウェーデンの論理学者・哲学者・数理統計学者。 確率、統計学、数理論理学、および計算機科学の基礎に関する研究で世界的に知られる。1970年代後半以降は、マルティン=レーフの出版物は論理学に属するものが主なものとなった。 人物[編集] 哲学的論理学の分野では、ブレンターノ、フレーゲ、及びフッサールの仕事に部分的に惹起された論理的帰結（logical consequence）と判断（judgement）の哲学に取り組んだ。マルティン＝レーフは、現代論理学における直観主義の領導者であり、構成的数学の基礎として導入した直観主義型理論はその代表作である[4]。型理論に関するマルテ
バートランド・ラッセル - Wikipedia
第3代ラッセル伯爵バートランド・アーサー・ウィリアム・ラッセル（英: Bertrand Arthur William Russell, 3rd Earl Russell, OM, FRS、1872年5月18日 - 1970年2月2日）は、イギリスの哲学者、論理学者、数学者、社会批評家、政治活動家である。 貴族のラッセル伯爵家の当主であり、イギリスの首相を2度務めた初代ラッセル伯ジョン・ラッセルは祖父にあたる。名付け親は同じくイギリスの哲学者ジョン・スチュアート・ミル。ミルはラッセル誕生の翌年に死去したが、その著作はラッセルの生涯に大きな影響を与えた。生涯に4度結婚し、最後の結婚は80歳のときであった。1950年にノーベル文学賞を受賞している。 生涯[編集] 1872年 - 5月18日に生まれる。貴族によくみられるように正規の初等・中等教育を受けずに、1890年、ケンブリッジのトリニティ・カ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
