阿蘭·麥席森·圖靈（1912~1954），英國著名數學家、邏輯學家、密碼學家，被稱為計算機科學之父、人工智能之父。1912年6月23日生於英國帕丁頓，1931年進入劍橋大學國王學院，師從著名數學家哈代，1938年在美國普林斯頓大學取得博士學位，二戰爆發後返回劍橋，曾協助軍方破解德國的著名密碼系統Enigma，幫助盟軍取得了二戰的勝利。1954年6月7日在曼徹斯特去世。
圖靈是計算機邏輯的奠基者，提出了“圖靈機”和“圖靈測試”等重要概念。人們為紀念其在計算機領域的卓越貢獻而專門設立了“圖靈獎”。
弗裏德裏希·路德維希·戈特洛布·弗雷格（德語：Friedrich Ludwig Gottlob Frege，IPA：/?ɡ?tlop ?f?e?ɡ?/ ；1848年11月8日—1925年7月26日），德國數學家、邏輯學家和哲學家。是數理邏輯和分析哲學的奠基人。
彼得呂斯·拉米斯（法語：Petrus Ramus，1515年－1572年8月26日）又名皮埃爾·德拉拉梅（法語：Pierre de la Ramée）是法國男人文主義學家、邏輯學家、哲學家、教育改革者。他在1972年發生的聖巴托洛繆大屠殺中被殺。
沈有鼎先生（1908年-1989年）是中國現當代著名的邏輯學家、哲學家、教育家，中國邏輯學界的開拓者、先行者與天才人物。專長數理邏輯和中西邏輯史。他曾任清華大學、西南聯合大學、北京大學教授，中國科學院、中國社會科學院哲學研究所研究員。他學貫古今，融會中西，是蜚聲中外的大學者。