沃尔特·皮茨
小沃尔特·哈里·皮茨（，），是一位美国逻辑学家和计算神经科学家。 生平 他提出了神经活动和生成过程的里程碑式的理论表述，影响了认知科学和心理学、哲学、神经科学、计算机科学、人工神经网络、控制论和人工智能等不同领域，以及后来被称为的领域。他最为人所铭记的是与沃伦·麦卡洛克一起撰写的一篇科学史上的开创性论文，题为“神经活动中固有的思想的逻辑演算（A Logical Calculus of Ideas Immanent in Nervous …
标签：#美国逻辑学家
共 8 篇文章
库尔特·哥德尔
库尔特·弗雷德里希·哥德尔（，），出生於奧匈帝國的美国數學家、邏輯學家和哲學家，维也纳学派（维也纳小组）的成员。哥德尔是二十世纪最伟大的逻辑学家之一，其最杰出的贡献是哥德尔不完备定理和连续统假设的相对协调性证明。 哥德爾1906年出生于捷克的布尔诺（原奥匈帝国），毕业于维也纳大学，1940年移民美国，任职于普林斯顿高等研究院（IAS）直至1976年退休。1978年，哥德爾于新泽西州的普林斯顿市去世。 生平 学术生涯 大學時，哥德爾曾參加…
哈斯凯尔·柯里
哈斯凱爾·布魯克·柯里（ ，），生于美國麻薩諸塞州米里鎮，數理邏輯學家，專長於组合子逻辑理論。尽管组合子逻辑的概念始于的一纸论文，其大部分发展工作是由柯里完成的。柯里也因为他的柯里悖论和柯里-霍华德同构而闻名。 三个程式語言Haskell、、Curry，以及柯里化的概念都是以他的名字來命名的。 生平 哈斯凱爾·柯里的父母萨麦尔·S·柯里和安娜·B·柯里经营一家教授修辞术的学院。 1916年他進入哈佛大學，原先預備攻讀醫學，但很快就轉換到…
达纳·斯科特
达纳·斯图尔特·斯科特（，），美国科学家，研究领域涉及计算机科学、数学和哲学，1976年图灵奖得主。 简介 斯科特1932年10月11日生于美国加利福尼亚州，在加州大学伯克利分校获得学士学位以后，进入普林斯顿大学研究生院学习，与迈克尔·拉宾一起师从阿隆佐·邱奇，1958年取得博士学位。 他先后在芝加哥大学、加州大学伯克利分校、斯坦福大学、荷兰的阿姆斯特丹大学、普林斯顿大学和英国牛津大学等学府任教。1981年被卡内基梅隆大学聘为计算机科学…
大卫·刘易斯
大卫·凯洛格·刘易斯（，）是一位美国哲学家，被普遍认为是20世纪最重要的哲学家之一。1970年起，刘易斯短暂地在加州大学洛杉矶分校任教、后在普林斯顿大学任教直到死去。 刘易斯在语言哲学、心灵哲学、概率哲学、认识论、哲学逻辑、美学、数学哲学、时间哲学、科学哲学都作出重要贡献。他在这大部分领域中被认为是近几十年最重要的人物之一。不过刘易斯关于形而上学、语言哲学和语义学的作品最为著名。其中 On the Plurality of Worlds…
唐纳德·戴维森
唐纳德·赫伯特·戴维森（英语：*'，）20世纪下半叶美国最为著名和活跃的哲学家之一。他在1987年的文章《Knowing One's Own Mind》中提出了著名的哲学思想实验“”。 生平 戴维森1917年3月6日生于美国麻省斯普林菲尔德。在早期（包括三年在菲律宾）旅居生活后，戴维森全家于1924年定居于斯塔滕岛。 1935年，依靠纽约哈佛俱乐部提供的一笔奖学金，他开始在哈佛大学学习。在哈佛的头两年，他是英语专业的学生，但此后转向了古…
索尔·阿伦·克里普克
索尔·阿伦·克里普克（，，音“克里普基”，），美国逻辑学家和哲学家，模态逻辑语义学创始人之一，首倡者之一。 生平 索尔·克里普克1940年11月出生于美国内布拉斯加州奥马哈的猶太人家庭，父亲迈尔·塞缪尔·克里普克是当地圣会领袖，母亲是儿童读物作家。克里普克是三个子女中的长子，从小便被冠以神童之名。克里普克六岁时开始自学古希伯来语；九岁通读莎士比亚的作品，小学毕业前他就已经相当了解笛卡尔的理论，且展现了极高的数学天赋。克里普克在十六歲時写…
查尔斯·桑德斯·皮尔士
查尔斯·桑德斯·皮尔士（， ；），中文常译為皮尔斯或帕爾斯，是美国哲学家、逻辑学家与数学家，被誉为“实用主义之父”。伯特兰·罗素曾称其为：“十九世纪后期最有独创性的思想家之一，当然也是有史以来最伟大的美国思想家。” 生平 1839年生于马萨诸塞州坎布里奇，早年在哈佛大学接受教育，后任教于霍普金斯大学。 皮尔士在其一生中被很大程度上忽视了，直到第二次世界大战对他的研究文献仍很缺乏。他的很多巨著仍未出版中譯本。他是数学、研究方法论、科学哲学…