41位ヒューリスティクス推定知名度 0.87%ヒューリスティック（heuristic, Heuristik）とは、必ず正しい答えを導けるわけではないが、ある程度のレベルで正解に近い解を得ることができる方法である。ヒューリス…
42位竹内外史推定知名度 0.85%竹内 外史（たけうち がいし、1926年1月25日 - ）は、日本の数学者、論理学者。専門は数学基礎論（数理論理学、公理的集合論、証明論など）。石川県出身。イリノイ大学名誉教授…
43位安部浩推定知名度 0.84%安部 浩（あべ ひろし、1971年7月28日 - ）は日本の哲学者、環境倫理学者、論理学者である。専門はマルティン・ハイデッガー、ハンス・ヨナスを中心としたドイツ現代哲学。学位…
44位アラン・アンダーソン推定知名度 0.77%アラン・アンダーソン（Alan Ross Anderson、1925年 - 1973年）はアメリカの論理学者。イェール大学、ピッツバーグ大学で哲学の教授をつとめた。ベルナップと…
45位ロマン・スシュコ推定知名度 0.75%ロマン・スシュコ（Roman Suszko, 1919年11月9日 - 1979年6月3日）はポーランドの数学者、論理学者。ポドブジェに生まれ、ワルシャワで亡くなる。集合論、意…
46位ペール・マルティン＝レーフ推定知名度 0.66%ペール・マルティン＝レーフ (<span lang=\"sv\">Per Martin-Löf</span>, 1942年 - ) はスウェーデンの論理学者、哲学者、…
47位ソロモン・フェファーマン推定知名度 0.56%ソロモン・フェファーマン（Solomon Feferman、1928年12月13日 - ）はアメリカの哲学者、論理学者。数理論理学に業績がある。フェファーマンはニューヨークに生…
48位川田殖推定知名度 0.52%川田 殖（かわだ しげる、1931年 - ）は、日本の哲学者、倫理学者。網走市生まれ。1957年、国際基督教大学卒業。1959年、京都大学文学部哲学科卒業。1964年、同大学院…
49位ロルフ・ショック推定知名度 0.43%ロルフ・ショック (Rolf Schock、1933年–1986年)は、スウェーデンの哲学者、芸術家。フランスでドイツ系の両親のもとに生まれる。ショック賞は彼の遺産…
50位型理論推定知名度 0.4%型理論（かたりろん、Type theory）は、数理論理学の一分野であり、「型」の階層を構築し、それぞれの型に数学的（あるいはそれ以外の）実体を割り当てるものである。階型理論（…
ヒューリスティクス推定知名度 0.87%ヒューリスティック（heuristic, Heuristik）とは、必ず正しい答えを導けるわけではないが、ある程度のレベルで正解に近い解を得ることができる方法である。ヒューリス…ヒューリスティクス推定知名度 0.87%ヒューリスティック（heuristic, Heuristik）とは、必ず正しい答えを導けるわけではないが、ある程度のレベルで正解に近い解を得ることができる方法である。ヒューリス…
