20世纪和数理逻辑

快捷方式: 差异，相似，杰卡德相似系数，参考。

20世纪和数理逻辑之间的区别

20世纪 vs. 数理逻辑

1901年1月1日至2000年12月31日的这一段期间被称为20世纪。該世紀最初屬於「不列顛治世」後期，是工業革命大爆發的年代，識字率大量提升，科學研究一日千里，人類學會了製造航天器與各種電器、開發出了各種新材料等，徹底顛覆了人類的生活。該世紀有全球战争与军事对峙（两次世界大战、冷战）；此外，共产主义与资本主义的对立影响人们深远，并却促使后者在经济与社会上多重的修正与省思，最終取得了勝利；该世纪的殖民主义也曾发展到极致，却在1960年代后因為美蘇的介入迅速瓦解，然而殖民地獨立後的矛盾卻讓戰爭遍佈。環境因為人類過度開發造成全球暖化與生態滅絕、臭氧層破壞等，也促進了環保主義的發展，帶動了新世紀文化。資本驅動傳媒技術的普及，引領了現代大眾文化的形成，形成了與傳統價值觀截然不同的景象，宗教也逐漸式微。 二十世紀初，由英法為首的20多個新帝國主義領導著全世界，1914年，新興的德意志帝國由於不滿自身地位而挑戰大英帝國，發動第一次世界大戰。在一戰結束後的1921年，根據巴黎和會託管德國殖民地而達到領土面積最大時期，成為了世界歷史上面積最大、跨度最廣的國家。由於帝國的領土、屬土遍及包括南極洲在內的七大洲、五大洋，有「英國的太陽永遠不會落下」的說法，所以被形容為繼西班牙帝國之後的第二個「日不落帝國」。到20世紀中期，隨着全球民族主義運動的興起，與英國日漸式微的國力，日本等軸心國企圖在世界建立新秩序，導致二次大戰爆發，歐洲的破壞造成大英帝國與歐洲殖民國家逐漸瓦解，但该世纪广布欧洲的民族主义风潮传到亚洲、非洲与大洋洲，導致戰後民族革命獨立的風氣，大量第三世界新國家出現。殖民地資本主義的不公造成社會主義國家陸續獨立，引發了美蘇強權的代理人戰爭直到世紀末，經濟的重心也由歐洲向西邊轉移至美洲與東亞。而知识爆炸與教育的系統化普及，则使前所未有的人們能接受知识，讓民主制度被廣泛採用，并质疑与检讨各学科的发展和研究与更好的生活品质，部分华人迁到北美与东南亚、澳洲，许多土耳其与北非地区人民移居西欧，歐洲則通過歐盟整合為一，不少的西班牙裔透过合法或非法的方式进入美国。这些人口的流动打破过去以种族划分的地理概念，這場全球化使得國界變得模糊，却也造成许多工业国家内部的社会问题。文化衝突使得恐怖主义在全球盛行，尤其透过网路等资讯媒体，造成美国与小数其他西方国家的恐慌，并使下个世纪初蒙上恐惧的阴影。. 数理逻辑是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑（相对于哲学逻辑），又称元数学，后者的使用现已局限于证明论的某些方面。.

艾伦·图灵

艾伦·麦席森·图灵，OBE，FRS（Alan Mathison Turing，又译阿兰·图灵，Turing也常翻譯成--林或者杜林，）是英国計算機科學家、数学家、邏輯學家、密码分析学家和理论生物学家，他被视为计算机科学與人工智慧之父。 在第二次世界大战期间，图灵曾在“政府密码学校”（GC&CS，今政府通信总部）工作。政府密码学校位于布萊切利園，是英国顶级机密情报机构。图灵在这里从事密码破译工作，有一段时间，他领导了（Hut 8）小组，负责德国海军密码分析。 期间他设计了一些加速破译德国密码的技术，包括改进波兰战前研制的机器，一种可以找到恩尼格玛密码机设置的机电机器。 图灵在破译截获的编码信息方面发挥了关键作用，使盟军能够在包括大西洋战役在内的许多重要交战中击败纳粹，并因此帮助赢得了战争。 图灵对于人工智能的发展有诸多贡献，例如图灵曾写过一篇名为《》的论文，提問「机器会思考吗？」（Can Machines Think?），作為一种用于判定机器是否具有智能的测试方法，即图灵测试。至今，每年都有试验的比赛。此外，图灵提出的著名的图灵机模型为现代计算机的逻辑工作方式奠定了基础。 图灵是著名的男同性恋者，并因为其性倾向而遭到当时的英国政府迫害，职业生涯尽毁。他亦患有花粉过敏症。 图灵还是一位世界级的长跑运动员。他的马拉松最好成绩是2小時46分03秒（手動計時），比1948年奥林匹克运动会金牌成绩慢11分钟。1948年的一次跨国赛跑比赛中，他跑赢了同年奥运会银牌得主。.

20世纪和艾伦·图灵 · 数理逻辑和艾伦·图灵 · 查看更多 »