Category:20世紀の論理学者
アラン・チューリング
Alan Turing▲9 trends
バートランド・ラッセル
Bertrand Russell
新井敏康
ゲオルク・カントール
Georg Cantor
エルンスト・ツェルメロ
Ernst Zermelo
竹内外史
Gaisi Takeuti
ハスケル・カリー
Haskell Curry
ペール・マルティン＝レーフ
Per Martin-Löf
ゴットロープ・フレーゲ
Gottlob Frege
ノーム・チョムスキー
Noam Chomsky
ソール・クリプキ
Saul Kripke
ジョン・ベン
John Venn
ウォルター・ピッツ
Walter Pitts
ロトフィ・ザデー
Lotfi A. Zadeh
レイモンド・スマリヤン
Raymond Smullyan
ヤン・ウカシェヴィチ
Jan Łukasiewicz
ヴィルヘルム・アッカーマン
Wilhelm Ackermann
デイヴィド・ルイス
David Lewis (philosopher)
マイケル・ラビン
Michael O. Rabin
カジミェシュ・クラトフスキ
Kazimierz Kuratowski
トアルフ・スコーレム
Thoralf Skolem
ユーリ・マチャセビッチ
Yuri Matiyasevich
藤村龍雄
沢田允茂
マイケル・ダメット
Michael Dummett
ジョン・レモン
John Lemmon
ジョン・バークリー・ロッサー
J. Barkley Rosserデイナ・スコット
Dana Scott
