我们正在努力恢复Google Play商店上的Unionpedia应用程序
传出传入
🌟我们简化了设计以优化导航！
Instagram Facebook X LinkedIn

约翰·麦卡锡

指数 约翰·麦卡锡

约翰·麦卡锡（John McCarthy，），生于美国马萨诸塞州波士顿，计算机科学家。他因在人工智能领域的贡献而在1971年获得图灵奖。实际上，正是他在1956年的达特矛斯会议上提出了“人工智能”这个概念。.

目录

  1. 26 关系: ACM通讯，加州理工学院，史丹佛大學，右派，富蘭克林獎章，人工智能，图灵奖，BBS，美国，美国国家科学奖章，芭芭拉·利斯科夫，计算机历史博物馆，麻省理工学院，麻薩諸塞州，达特矛斯会议，达特茅斯学院，電腦科學家，限制 (邏輯)，LISP，TechCrunch，波士顿，新浪，无神论，所羅門·萊夫謝茨，拉吉·瑞迪，普林斯顿大学。

  2. Lisp人物
  3. 形式方法人物
  4. 程式語言設計者
  5. 美国人工智能协会会士
  6. 认知科学学会会士
  7. 達特茅斯學院教師

ACM通讯

ACM通讯（Communications of the ACM，CACM）是计算机协会面向所有会员发行的一种杂志，于1957年创建。该杂志是最久远最受尊敬的计算机出版物之一。.

查看 约翰·麦卡锡和ACM通讯

加州理工学院

#重定向 加利福尼亞理工學院.

查看 约翰·麦卡锡和加州理工学院

史丹佛大學

小利蘭·史丹福大學（Leland Stanford Junior University），常直接稱為史丹福大學（Stanford University），為一所坐落於美國加利福尼亞州史丹福的私立研究型大學，因其學術聲譽和创业氛围而獲評為世界上最知名的高等學府之一。 斯坦福大學於1891年由時任加州參議員及州長的鐵路大亨利蘭·史丹福和他的妻子創辦。這是為了紀念他們因傷寒而於16歲生日前夕去世的兒子（）。其為男女及宗教自由的學校，在1930年代前所有學費全免。可是，1893年利蘭·史丹福的逝世及1906年對校園造成重大損毀的三藩市大地震，為該校帶來嚴重的財政困難後才開始收費。二次世界大戰後，時任學校教務長的弗雷德里克·特曼全力支持校友與教職員的企業精神，希望能建立一個自給自足的本地工業，這也是現今硅谷的源流。自上世紀七十年代，史丹福成為了美國SLAC國家加速器實驗室的所在地，及其中一個高等研究計劃署網路（互聯網雛形）的起源地。 學校的校園位於矽谷的西北方，鄰近帕羅奧圖。校方的各個學術部門被歸入七所學術學院內，而包括生物保育區及加速實驗室在內的其他資產則設於主校區之外。此校同時為最富有的教育機構之一，並為第一所在一年內獲得超過十億美元捐款升幅的大學。 史丹福為一所擁有高住宿率及高選擇性的大學，當中的研究生課程較本科的多元化。該校也是馬丁路德金手寫原稿的保存地。史丹福學生透過36支代表隊參與不同的體育競賽，其為兩所太平洋十二校聯盟的私立大學之一。有關校隊曾奪得過104次大學體育協會賽事的冠軍，成績於眾多大學中位列第二。自1994-95年起，其亦一直為全國大學體育競技董事杯的年度得主。 史丹福培養了不少著名人士。其校友涵蓋30名富豪企業家及17名太空員，亦為培養最多美國國會成員的院校之一。史丹福校友創辦了眾多著名的公司機構，如：谷歌、雅虎、惠普、耐克、昇陽電腦等，這些企業的資金合計相等於全球第十大經濟體系。共81名諾貝爾獎得主現或曾於該校學習或工作。.

查看 约翰·麦卡锡和史丹佛大學

右派

右派，又称右翼，是和左派相對，一般是指保守派或溫和保守派。右派政治家一般會采取各種保守的政治立場，並且傾向于維護現存的統治。右派在不同國家與不同時期以不同的形態出現。左派與右派都是相對而言，在不同背景下兩者主張的具體內容不會相同，不能以靜態的「主義」或「階級」劃分。 在西方世界的傳统印象中，右派通常是指支持民族主義、捍衛傳統家庭和宗教（猶太-基督教文化傳統），且反對社會主義、共產主義和國際主義的政黨，認為某些社會分層及社會不平等的現象是正常、自然且不可避免的一派。部分人則用「右派」來稱呼自由放任資本主義的支持者。不過雖說自由放任，卻不包含移民的自由移動，此外，右派對於宗教衝突比較保守，因而對於種族問題也較為謹慎乃至於排斥。.

查看 约翰·麦卡锡和右派

富蘭克林獎章

富兰克林奖章是美国宾夕法尼亚州费城富兰克林研究所于1915年至1997年间颁发的奖项。塞缪尔·因萨尔于1914年设立了这一奖项。 富兰克林奖章是富兰克林研究所最知名的奖项之一。 1998年，富兰克林奖章与其他几个奖项合并为本杰明·富兰克林奖章。.

查看 约翰·麦卡锡和富蘭克林獎章

人工智能

人工智能（Artificial Intelligence, AI）亦稱機器智能，是指由人製造出來的機器所表現出來的智能。通常人工智能是指通過普通電腦程式的手段實現的人類智能技術。該詞也指出研究這樣的智能系統是否能夠實現，以及如何實現科學領域。同時如此，人類的數量開始收斂及功能逐漸被其取代。 一般教材中的定义领域是“智能主体（intelligent agent）的研究与设计”，智能主体是指一个可以观察周遭环境并作出行动以达致目标的系统。约翰·麦卡锡于1955年的定义是「制造智能机器的科学与工程。」 人工智能的研究是高度技术性和专业的，各分支领域都是深入且各不相通的，因而涉及範圍極廣。人工智能的研究可以分为几个技术问题。其分支领域主要集中在解决具体问题，其中之一是，如何使用各种不同的工具完成特定的应用程序。 AI的核心问题包括建構能夠跟人類似甚至超越的推理、知识、规划、学习、交流、感知、移动和操作物体的能力等。強人工智能目前仍然是该领域的长远目标。目前強人工智慧已經有初步成果，甚至在一些影像辨識、語言分析、棋類遊戲等等單方面的能力達到了超越人類的水平，而且人工智慧的通用性代表著，能解決上述的問題的是一樣的AI程式，無須重新開發算法就可以直接使用現有的AI完成任務，與人類的處理能力相同，但達到具備思考能力的統合強人工智慧還需要時間研究，比较流行的方法包括统计方法，计算智能和传统意义的AI。目前有大量的工具应用了人工智能，其中包括搜索和数学优化、逻辑推演。而基於仿生學、認知心理學，以及基于概率论和经济学的演算法等等也在逐步探索當中。.

查看 约翰·麦卡锡和人工智能

图灵奖

图灵奖（ACM A.M. Turing Award），又譯杜林獎、A.M.图灵奖，是计算机协会（ACM）于1966年设立的獎項，专门奖励对计算机事业作出重要贡献的个人。其名称取自世界计算机科学的先驱、英国科学家、曼徹斯特大学教授艾伦·图灵（A.M.

查看 约翰·麦卡锡和图灵奖

BBS

電子佈告欄系統（Bulletin Board System，缩写BBS）是一種網站系統，是目前流行網路論壇的前身，它允许用户使用终端程序通过调制解调器拨接或者因特网来进行连接，BBS站台提供佈告欄、分類討論區、新闻阅读、軟體下载與上传、遊戲、与其它用户線上對話等功能。.

查看 约翰·麦卡锡和BBS

美国

美利堅合眾國（United States of America，簡稱为 United States、America、The States，縮寫为 U.S.A.、U.S.），通稱美國，是由其下轄50个州、華盛頓哥倫比亞特區、五个自治领土及外岛共同組成的聯邦共和国。美國本土48州和联邦特区位於北美洲中部，東臨大西洋，西臨太平洋，北面是加拿大，南部和墨西哥及墨西哥灣接壤，本土位於溫帶、副熱帶地區。阿拉斯加州位於北美大陸西北方，東部為加拿大，西隔白令海峽和俄羅斯相望；夏威夷州則是太平洋中部的群島。美國在加勒比海和太平洋還擁有多處境外領土和島嶼地區。此外，美國还在全球140多個國家和地區擁有着374個海外軍事基地。 美国拥有982萬平方公里国土面积，位居世界第三（依陆地面積定義为第四大国）；同时拥有接近超过3.3億人口，為世界第三人口大国。因为有着來自世界各地的大量移民，它是世界上民族和文化最多元的國家之一Adams, J.Q.; Strother-Adams, Pearlie (2001).

查看 约翰·麦卡锡和美国

美国国家科学奖章

（美国）国家科学奖章（National Medal of Science），也称总统科学奖章（Presidential Medal of Science）是由美国总统授予曾在行为与社会科学、生物学、化学、工程学、数学及物理学领域作出重要贡献的美国科学家。美国国家科学基金会（NSF）下属的国家科学奖章委员会负责推荐奖章候选人给总统。 国家科学奖章，是由美国国会法令86-209的基础上在1959年8月25日建立的。该荣誉勋章原本是奖励在「物理、生物、数学、科学或工程」领域的科学家。美国总统肯尼迪通过行政命令于1961年成立国家科学奖章委员会，该委员会由美国国家科学基金会管理。1979年，美国科学促进会建议将奖项扩大到社会及行为科学。 第一次国家科学奖章由肯尼迪总统于1963年2月18日颁发给加州理工学院喷气推进实验室的西奥多·冯·卡门以表彰他在火箭科学的贡献。虽然国会法令86-209规定每年可以有20人领取奖章，但实际上每年约12-15人获得。另外有的年份没有颁奖，1962年至2004年间已有6年没有颁奖。截至2006年2月13日，已有425人获此荣誉。.

查看 约翰·麦卡锡和美国国家科学奖章

芭芭拉·利斯科夫

芭芭拉·利斯科夫（Barbara Liskov，），本名Barbara Jane Huberman。美国计算机科学家，2008年图灵奖得主， from the Dr. Dobb's Journal website2004年约翰·冯诺依曼奖得主。现任麻省理工学院电子电气与计算机科学系教授。.

查看 约翰·麦卡锡和芭芭拉·利斯科夫

计算机历史博物馆

计算机历史博物馆（Computer History Museum，縮寫：CHM）是以计算机為主題的博物馆，位在美国加州山景城，于1996年建立。它是为了保存和展示信息时代的故事和产品，以及探索计算机的革命和它对人们生活的影响。 在1996/1997年，在硅谷建立了计算机历史中心博物馆（The TCM History Center - TCMHC）。 在2000年，计算机历史中心博物馆的名字被改为「计算机历史博物馆」。 在2003年，CHM对公众开放了新的大楼，它位于山景城北海岸线大道1401号。.

查看 约翰·麦卡锡和计算机历史博物馆

麻省理工学院

麻省理工學院（Massachusetts Institute of Technology，縮寫為MIT）是位於美國麻薩諸塞州劍橋市的私立研究型大學。成立於1861年，當時目的是為了響應。學校採用了辦學，早期著力於應用科學與工程學的實驗教學。麻省理工的研究人員在二戰及冷戰期間，致力開發電腦、雷達及慣性導航系統技術；戰後的防禦性科技研究使學校得以進一步發展，教職員人數及校園面積在的帶領下有所上升。大學於1916年遷往現在位於查爾斯河北岸的校址，沿岸伸延逾，佔地。 擁有6間學術學院、32個學系部門的麻省理工學院常獲納入全球最佳學府之列。學校一直聞名於物理科學與工程學的教研，但在近代亦大力發展諸如生命科學、經濟學、管理學、語言學等其他學術範疇。別名「工程師」的麻省理工體育校隊合計31支，涵蓋不同項目，學生因此可參與不同類型的跨校體育聯賽。 ，著名麻省理工師生、校友或研究人員包括了91位諾貝爾獎得主、52位國家科學獎章獲獎者、45位羅德學者、38名麥克阿瑟獎得主、6名菲爾茲獎獲獎者、25位图灵奖得主。此校同時具很強的創業文化，由其校友所創辦的公司利潤總值相當於全球第十一大經濟體。.

查看 约翰·麦卡锡和麻省理工学院

麻薩諸塞州

--（Commonwealth of Massachusetts），又稱--、--或者--；正式名稱為--，位於美國東北部，為美國獨立時最初的13州的一州，也是新英格蘭地區六州裡人口最密集的一州。根據美国2014年人口估算顯示，該州共有人口674.5萬。波士頓為馬薩諸塞州的首府和最大城市。.

查看 约翰·麦卡锡和麻薩諸塞州

达特矛斯会议

達特矛斯夏季人工智慧研究計劃（Dartmouth Summer Research Project on Artificial Intelligence）由约翰·麦卡锡等人于1956年8月31日发起，旨在召集志同道合的人共同讨论“人工智能”（此定义正是在那时提出的）。会议持续了一个月，基本上以大范围的集思广益为主。这催生了后来人所共知的人工智能革命。.

查看 约翰·麦卡锡和达特矛斯会议

达特茅斯学院

达特茅斯学院（Dartmouth College ），是一座位于美国东北部新罕布什尔州汉诺威鎮的一所私立大学，是常春藤聯盟成員。该校建于1769年，是美国的9所殖民地学院之一。 它的校區坐落在康涅狄格河河谷之中。數百年來培育了許多知名校友，其中包括62位羅德學者、100多位美國參議院和衆議院議員、22位美國州長、3位諾貝爾獎得主以及其他許多學界、政界和商界領軍人物。.

查看 约翰·麦卡锡和达特茅斯学院

電腦科學家

電腦科學家（Computer scientist）是指一類具有資深電腦科學知識，並從事相關研究的人物。電腦科學家通常從事計算與資訊理論方面的研究，有時也關注這些理論在電腦系統中的應用。 與電腦工程師相對，電腦科學家通常對電腦系統的理論，而非實作，更加感興趣，儘管有時電腦科學家的工作也涉及到硬體系統。電腦科學家通常會對電腦科學的某一分支進行深入研究，但是這些分支都建立在對計算系統的理論研究上。.

查看 约翰·麦卡锡和電腦科學家

限制 (邏輯)

限制是约翰·麦卡锡建立的非单调逻辑，它假定除非特殊指定否则事物同预期的一样。麦卡锡后来使用限制来尝试解决框架问题。在它最初的一阶逻辑公式中，限制最小化了某些谓词的外延，这里的谓词的外延是谓词在其上为真的变量元组的集合。这种最小化类似于把不知道为真的假定为假的封闭世界假定。 Category:计算机逻辑 Category:人工智能 en:Circumscription (logic).

查看 约翰·麦卡锡和限制 (邏輯)

LISP

LISP是具有悠久歷史的計算機編程語言家族，有獨特和完全括號的前綴符號表示法。起源於西元1958年，是現今第二悠久而仍廣泛使用的高階編程語言。只有FORTRAN編程語言比它更早一年。LISP編程語族已經演變出許多種方言。現代最著名的通用編程語種是Common Lisp和Scheme。 LISP最初創建時受到阿隆佐·邱奇的lambda演算的影響，用來作為計算機程序實用的數學表達。因為是早期的高階編程語言之一，它很快成為人工智能研究中最受歡迎的編程語言。在計算機科學領域，LISP開創了許多先驅概念，包括：.

查看 约翰·麦卡锡和LISP

TechCrunch

TechCrunch是一个聚焦信息技术公司报道的新闻网站，他们关注的公司大小各异，从创业公司到纳斯达克指数所包含的顶尖企业都有涉及。这个网站在2005年由迈克尔·阿灵顿创始。2010年9月28日，在美国旧金山举行的年度TechCrunch Disrupt会议上，美国在线宣布他们将会收购该网站，收购金额据传是在2500-4000万美元之间。 2011年，由于美国在线对阿灵顿的一个新建投资基金CrunchFund进行了注资，涉嫌违反新闻伦理，阿灵顿和一些创始的编辑退出了该网站。此后还有其他作者包括Paul Carr和Sarah Lacy对此事件提起诉讼。 2013年8月8日，TechCrunch推出新的中文版网站，域名为http://techcrunch.cn。中文版的国内运营商是动点科技。.

查看 约翰·麦卡锡和TechCrunch

波士顿

波士頓（Boston）是美国马萨诸塞州的首府和最大城市，也是新英格兰地区的最大城市，其人口规模全美大都市排名第21。该市位于美国东北部大西洋沿岸，创建于1630年，是美国最古老、最具有历史文化价值的城市之一。波士顿是欧洲清教徒移民最早登陆美洲所建立的城市，在美国革命期间是许多重要事件的发源地，曾经是一个重要的航运港口和制造业中心。今天，该市是美国高等教育、医疗保健及投资基金的中心，是全美人口受教育程度最高的城市之一，它的经济基础是教育、金融、医疗及科技，是全美人均收入最高的少数大城市之一，并被认为是一个全球性城市或世界性城市。 该市位于大波士顿都会区的中心，这个都会区包括萨福克县的全部和剑桥、昆西、牛顿、萨默维尔、里维尔和切尔西等城市，以及一些小镇和远离波士顿的郊区，还包括了新罕布什尔州的一部分。.

查看 约翰·麦卡锡和波士顿

新浪

新浪（）是中国门户网站公司，一家服务中国大陆及全球华人社群的中文网络内容服务提供商。新浪與腾讯、搜狐和网易並稱中国四大门户网站。新浪在全球范围内注册用户超过6亿，日浏览量超过12亿次。新浪旗下的新浪微博更是著名的微博客服務網站。 新浪由原四通利方公司和华渊资讯公司于1998年11月30日合并而成。新浪公司总部位于上海市浦东新区世纪大道88号金茂大厦37楼。.

查看 约翰·麦卡锡和新浪

无神论

无神论（Atheism），在廣義上，是指一種不相信神存在的觀念Most dictionaries (see the OneLook query for) first list one of the more narrow definitions.

查看 约翰·麦卡锡和无神论

所羅門·萊夫謝茨

所羅門·萊夫謝茨（英语：Solomon Lefschetz，），美國數學家他在代数拓扑方面做出了開創性的工作，並將這方面的理論應用到代數幾何及非線性常微分方程的研究。.

查看 约翰·麦卡锡和所羅門·萊夫謝茨

拉吉·瑞迪

拉吉·瑞迪（Dabbala Rajagopal "Raj" Reddy，），印度裔美国计算机科学家和图灵奖获得者。他也是计算机科学和人工智能的早期先驱人之一，现任斯坦福大学和卡内基梅隆大學的教授，有超过40多年的教学经验。1979年起，他是卡内基梅隆大學计算机学院Robotics Institute的创始领导人。1994年，他因其人工智能杰出工作，获得计算机领域最高奖项图灵奖，他是该奖项亚洲第一人。.

查看 约翰·麦卡锡和拉吉·瑞迪

普林斯顿大学

普林斯顿大学（Princeton University），又译普林斯敦大学，常被直接称为普林斯顿，是一所位於美国新泽西州普林斯顿的私立研究型大学，现为八所常春藤盟校之一。 普林斯顿历史悠久。它成立于1746年，是九所在美国革命前成立的殖民地学院之一，同时也是美国第四古老的高等教育机构。其在1747年移至纽瓦克，最终在1756年搬到了现在的普林斯顿，并于1896年正式改名为“普林斯顿大学”。虽然其旧校名是“新泽西学院”，但它与今天位于邻近的尤因镇（Ewing Township）的“新泽西学院”没有任何关联。此外虽然它最初是长老制的教育机构，但学校从没有跟任何宗教机构有直接的联系，而现在对学生亦无任何宗教上的要求。 普林斯顿现提供各种有关人文、自然科学、社会科学及工程学的本科及研究生课程；它并没有医学院、法学院、神学院及商学院，但能在政治及工程上提供专业课程。大学也与普林斯顿高等研究院及普林斯顿宗教学校有联谊。至今，已经有63位诺贝尔奖得主、17名美国国家科学奖章得主，14名菲尔兹奖得主，13名图灵奖得主，及3名美国国家人文奖章夺得人曾经或现为普林斯顿大学的毕业生或教职员。另外，普林斯顿也是获得最多捐款的学术机构之一。.

查看 约翰·麦卡锡和普林斯顿大学

另见

Lisp人物

形式方法人物

程式語言設計者

美国人工智能协会会士

认知科学学会会士

達特茅斯學院教師

亦称为 John McCarthy，John McCarthy (computer scientist)。