アルフレト・タルスキ(Alfred Tarski, 1901年1月14日 - 1983年10月26日)は、ポーランドおよびアメリカの数学者・論理学者。

エミール・レオン・ポスト(、1897年2月11日 - 1954年4月21日)は、アメリカ合衆国の数学者、論理学者。

アロンゾ・チャーチ(Alonzo Church、1903年6月14日 - 1995年8月11日)はアメリカの論理学者、数学者である。ラムダ計算の創案者や、「チャーチ＝チューリングのテーゼ」の提唱者として知られる。

アラン・マシスン・チューリング(Alan Mathison Turing、〔音写の一例：テュァリング〕, 1912年6月23日 - 1954年6月7日)は、イギリスの数学者、暗号研究者、計算機科学者、哲学者である。日本語において姓 はテューリングとも表記される。

ヴィルヘルム・アッカーマン(Wilhelm Friedrich Ackermann, 1896年3月29日 - 1962年12月24日)はドイツの数学者。計算理論での重要な例の一つであるアッカーマン関数を考案した。

スティーヴン・コール・クリーネ(Stephen Cole Kleene, 1909年1月5日 - 1994年1月25日)は、アメリカの数学者。ウィスコンシン大学マディソン校に勤め、その業績は計算機科学の理論的な基礎を築くのに貢献した。