约翰·杜威
约翰·杜威（，）是美国哲学家、教育家、心理学家，与查尔斯·桑德斯·皮尔士、威廉·詹姆士一起被认为是美国实用主义哲学的重要代表人物，也被视为是现代教育学的创始人之一、机能主义心理学派的创始人之一，被誉为“20世纪最伟大的教育革新者”。 杜威在学术生涯中，曾先后于美国密歇根大学、芝加哥大学、哥伦比亚大学长期任教，并在哥伦比亚大学退休。杜威一生极力推崇民主制度，强调科学和民主的互补性，民主思想是他众多著作的主题。与此同时，他也被视为二十世纪最…
标签：#美國邏輯學家
共 17 篇文章
王浩 (数学家)
王浩（），男，美籍华裔哲學家、數理邏輯學家。 生平 1921年出生在中華民國的山东济南，1943年西南聯合大學數學系畢業，1945年清華大學哲學系畢業，国内期间曾师从著名逻辑学家金岳霖。1948年哈佛大學邏輯學博士畢業，同年成為哈佛的助理教授。1950年代初，隨保羅·伯奈斯在蘇黎世學習。1956年獲薦為牛津大學Reader in the Philosophy of Mathematics。1959年，王浩在「IBM 704计算机」上用9…
保罗·寇恩
保罗·约瑟夫·寇恩（，) 是一名美国数学家，他证明策梅洛-弗兰克尔公理系统加上选择公理（ZFC）不能反驳连续统假设（CH）的否命题，而ZF不能反驳选择公理 （AC）的否命题。这一划时代的工作与库尔特·哥德尔在1930年代的工作一起，证明了CH和AC分别独立于ZFC和ZF。寇恩在证明中创造了力迫法，如今力迫法已经成为公理集合论的一项基本技术。寇恩凭借连续统假设的独立性证明于1966年获得菲尔兹奖章。 早年经历 寇恩生于美国新泽西州的一个犹…
雷蒙德·斯穆里安
雷蒙·梅里儿·思木里安（，）出生于纽约皇后区的远洛克威，2017年2月6日逝世于纽约市，是一位美国数学家，逻辑学家，哲学家，魔术师和钢琴家，著有多部有关逻辑和哲学的科普书籍。 生平 思木里安出生于纽约皇后区洛克威半岛，中学期间辍学。退学后，他接受了专业的钢琴培训并于芝加哥罗斯福学院担任钢琴教师。但不幸的是，右臂肌腱炎使他不得不放弃了专业钢琴教师生涯而转向数学。在换了一所大学后，他进入芝加哥大学学习，在此期间，思木里安为了赚学费，在俱乐部…
威拉德·范奥曼·蒯因
威拉德·范奥曼·蒯因（，；；又译奎因），20世纪最有影响的美国哲学家、逻辑学家之一。出生於俄亥俄州阿克倫的富裕家庭，其父為一成功的實業家，其母則任職教師。1926年入欧柏林学院，1930年得數學與哲學學士，1932即於哈佛大學取得哲學博士學位。蒯因在哈佛大學任教時為全校薪金最高的教職員。 概述 蒯因忠实地归属于分析哲学传统，尽管他是「哲学不是概念分析」的观点的主要支持者。蒯因用一生时间在他的母校哈佛大学教授哲学和数学，在那里他从1956…
山姆·哈里斯
山姆·哈里斯（；）是美國著名作家、哲學家、神經科學家，和无神论者/反神論者。與克里斯多福·希鈞斯、道金斯、丹尼爾‧丹尼特並稱新無神論四騎士。 主要作品 《道德風景：穿越幸福峰巒與苦難幽谷，用科學找尋人類幸福的線索》(2013) ISBN 978-986-213-425-2 (2006). ISBN 0-307-26577-3 《信仰的終結：宗教、恐怖行動及理性的未來》(2015) ISBN 978-986-584-274-1 **The…
斯蒂芬·科尔·克莱尼
斯蒂芬·科尔·克莱尼（，）是一名美國數學家、逻辑學家，主要从事對可計算函數的研究，而他的遞歸理論研究有助於奠定理論電腦科學的基礎。他為數學直覺主義的基礎做出了重要貢獻，克莱尼層次結構、克莱尼代数、克莱尼星号（克莱尼閉包）、克莱尼遞歸定理和克莱尼不動點定理數學概念以他的名字命名。他也是正規表示法的發明者。 生平 斯蒂芬·科尔·克莱尼出生於美國康涅狄克州的哈特福德。他的父親古斯塔夫·克莱尼（Gustav Adolph Kleene）是一位經…
理查德·蒙塔古
理查德·梅里特·蒙塔古（，），生於美國加州史塔克頓，美國數學家與哲學家，曾提出蒙塔古語法（Montague grammar）。 生平 於加州大學柏克萊分校，1950年，蒙塔古取得哲學學士。1953年，取得數學碩士學位。1957年，在阿尔弗雷德·塔斯基指導下，取得哲學博士學位。 1971年，他在自宅遭到謀殺，但是一直不清楚兇手及其動機。 外部链接 [https://web.archive.org/web/20110722230539/ht…
阿尔弗雷德·塔斯基
{{Infobox scientist | name = 阿尔弗雷德·塔斯基 Alfred Tarski | image = AlfredTarski1968.jpeg | caption = 攝於1968年 | birth_name = Alfred Teitelbaum | birth_date = | birth_place = 波蘭會議王國華沙 | death_date = | death_place = 美國加利福尼亞州柏克萊…
爱德华·扎尔塔
爱德华·努里·扎尔塔（，；），是史丹佛大学的的一位学者。它的BA是1975年在萊斯大學获得的，哲學博士则是1980年在马萨诸塞大学阿默斯特分校获得的，二者的领域都是哲学。扎尔塔在史丹佛大學、萊斯大學、萨尔茨堡大学和奧克蘭大學有教职。他也是《史丹佛哲學百科全書》的总编辑。 研究 ：维基人可能会感兴趣的学术工作”，墨西哥的維基媒體國際會議]] 扎尔塔最著名的哲学立场来自亚历克修斯·迈农和即认为有很多客体并不实际存在。扎尔塔解释说，有些客体（…
拉斐爾·米切爾·羅賓遜
拉斐爾·米切爾·羅賓遜（，），美國數學家。 出生在加利福尼亞州納雄耐爾城，羅賓遜是律師和教師的四個孩子中最小的一個。 他獲得加利福尼亞大學伯克利分校的數學學位：文學學士（1932），文學碩士（1933）和博士學位。（1935年）。 發現梅森質數 從指數263開始到2304結束一直發現以來，他發現5個梅森質數，分別是M521、M607、M1279、M2203、M2281。 參見 梅森質數 外部链接 *
罗德里克·奇泽姆
罗德里克·奇泽姆（，），美国分析哲学家，毕业于布朗大学和哈佛大学，以其在认识论、形而上学、自由意志、价值理论和感知哲学方面的工作而闻名。
朱莉娅·鲁宾逊
朱莉娅·霍尔·鲍曼·鲁宾逊（）是美国数学家，生于密蘇里州圣路易斯 。她的姐姐是康斯坦丝·瑞德 。朱莉娅·鲁宾逊主要研究可计算性理论、計算複雜性理論以及決定性問題。魯宾逊于1983年獲得麦克阿瑟奖。 参考文献
肯尼思·丘嫩
肯尼思·丘嫩（，），美国數學家，威斯康辛大學麥迪遜分校名譽教授，研究領域為集合論和其在各數學領域（如集合論拓撲學和測度論）中的應用。丘嫩也研究非結合代數系統（如擬群），且使用Otter之類的電腦軟體來推導定理。 生平 本科就读于加州理工學院，1968年获史丹佛大學哲學博士学位，导师为达纳·斯科特。后在威斯康辛大學麥迪遜分校工作。1970年晋升副教授，1972年晋升教授。2008年夏退休。 2020年8月14日逝世。 部份出版品 The …
所罗门·费弗曼
所罗门·费弗曼（，）是一位美国哲学家和数学家，专攻数理逻辑，2003年获肖克獎。 参考文献 外部链接 * [https://web.archive.org/web/20171024072327/http://math.stanford.edu/~feferman Solomon Feferman official website] (via Internet Archive) at Stanford University
阿隆佐·邱奇
阿隆佐·邱奇（Alonzo Church，）是美国数学家，1936年发表可计算函数的第一份精确定义，对算法;}-理论的系统发展做出巨大贡献。邱奇在普林斯顿大学受教并工作四十年，曾任数学与哲学教授。1967年迁往加利福尼亚大学洛杉矶分校。 解决算法问题包括构造一个能解决某一指定集及其他相关集的算法，如果该算法无法构建，则表明该问题是不可解的。证明此种问题不可解性的定理是算法理论中的一大突破，邱奇的算法即为该类算法的首例。邱奇证明了基本几何…
马丁·戴维·戴维斯
马丁·戴维·戴维斯（Martin David Davis，）是一位美国数学家，以在希尔伯特第十问题上的工作而著称。 生平 戴维斯的父母都是从波兰罗兹移民到美国的犹太人，他们在纽约重逢后结了婚。戴维斯在布朗克斯长大，他的父母鼓励他在那里接受完整的教育。他是纽约大学的名誉教授。 贡献 戴维斯是和DPLL算法的共同发明者。他还以其波斯特-图灵机模型而闻名，他在希尔伯特第十问题上的工作引出了MRDP定理。 奖项与荣誉 戴维斯在希尔伯特第十问题上…