比浏览器更快的访问！
45 关系: A，卡济梅尔兹·塔多斯基，威拉德·冯·奥曼·蒯因，山东省，布尔环形山，乌鸦悖论，亞力山卓·帕多阿，库尔特·哥德尔，以撒·華茲，伯納德·波爾查諾，伯特兰·罗素，佩尔·马丁-洛夫，利奥波德·克罗内克，内部代数，克莱尼代数，皮尔士定律，王浩 (数学家)，科学史 (1515年)，算法，系统F，索尔·阿伦·克里普克，真理，语言哲学，鲁道夫·赫尔曼·陆宰，路德维希·维特根斯坦，齐鲁文化，阿尔弗雷德·塔斯基，阿蘭德·海廷，金岳霖，雷欧·范德托，雅各·辛提卡，逻辑，Haskell，查尔斯·桑德斯·皮尔士，格哈德·根岑，模仿游戏，朱塞佩·皮亞諾，戈特洛布·弗雷格，时间逻辑，数学原理，拉蒙·柳利，1781年哲學，1月14日，2015年8月逝世人物列表，4月26日。
A
A/a 是拉丁字母的首字母，来源于拉丁语中有低元音和音值的希腊字母α。其可从伊特鲁里亚语和希腊语α追溯到闪含语的'âlep（用于声门塞音）。其希腊名源自闪含语，而闪含语是因希伯来语而闻名的。古英语的和音变为现代的和，前者原由a和e连写的æ表示。在其他语言（例如意大利语、西班牙语和德语）中，A的音也与拉丁语相同。 可以确定A最早源于腓尼基字母表的第一个字母Aleph"A", "Encyclopædia Britannica", Volume 1, 1962.
卡济梅尔兹·塔多斯基
卡济梅尔兹·塔多斯基（Kazimierz Jerzy Skrzypna-Twardowski，1866年10月20日 – 1938年2月11日）是一位波兰 哲学家、逻辑学家。.
新！!: 逻辑学家和卡济梅尔兹·塔多斯基 · 查看更多 »
威拉德·冯·奥曼·蒯因
威拉德·冯·奥曼·蒯因（Willard Van Orman Quine，），20世纪最有影响的美国哲学家、逻辑学家之一。出生富裕家庭，其父為一成功的實業家，其母則任職教師。1926年入歐柏林大學，1930年得數學與哲學學士，1932即於哈佛大學取得哲學博士學位。奎因在哈佛大學任教時為全校薪金最高的教職員。.
新！!: 逻辑学家和威拉德·冯·奥曼·蒯因 · 查看更多 »
山东省
山东省，简称鲁，位于中华人民共和国东部沿海、黄河下游、京杭大运河的中北段，是华东地区的最北端省份，省会设于济南，副省级城市有济南市、青岛市。2017年山东省常住人口超过1亿人，位列全国第二。其中汉族占99.3%，另有回、满、蒙3个世居少数民族及朝鲜族等其他少数民族。 山东省西部连接内陆，逆时针分别与河北、河南、安徽、江苏四省接壤；中部为鲁中南山地丘陵区，泰山是全境最高点（1532.7米）；东部是山东半岛。北面与辽东半岛隔渤海海峡相对，东面与朝鲜半岛隔黄海相望。 山东土地面积约15.79万平方公里，排名全国第19，境内交通发达，铁路、高速公路网络密集。山东是工农业大省，是环渤海经济圈的一部分，2017年生产总值达7万亿人民币，位列全国第三名，对中国内地经济的贡献約9%，人均地区生产总值位居第10位。山东在2011年1月确立建设山东半岛蓝色经济区的国家发展战略，以山东半岛及胶济铁路沿线城市组成了山东半岛城市群。2018年1月，同意设立山东新旧动能转换综合试验区。 山东历史悠久，是华夏文明的发祥地之一，中原文化与东夷文化相融合，形成了独特的齐鲁文化，又分为“鲁西文化”和“胶东文化”。其中儒家的创立人孔子和孟子是鲁文化的代表人物，政治家管仲、军事家孙子、孙膑则是齐文化的代表。而鲁菜则位居中国八大菜系之首。.
布尔环形山
布尔环形山（Boole）是位于月球正面西北部一座古老的大撞击坑，约形成于45.5-39.2亿年前的前酒海纪Lunar Impact Crater Database，其名称取自英国数学家暨逻辑学家乔治·布尔（1815年-1864年），1964年被国际天文学联合会正式批准接受。.
新！!: 逻辑学家和布尔环形山 · 查看更多 »
乌鸦悖论
乌鸦悖论（raven paradox），也叫做亨佩尔的乌鸦或亨佩尔悖论，是1940年代德国逻辑学家卡尔·亨普尔（Carl Gustav Hempel）为了说明归纳法违反直觉而提出的一个悖论。.
亞力山卓·帕多阿
亞力山卓·帕多阿（Alessandro Padoa，1868年10月14日 - 1937年11月25日）是一位義大利數學家暨邏輯學家。他因為給出一個方法，能在一定形式理論下，決定一個新的基本概念是否獨立於其他基本概念而留名。這在公理化理論中有個類似的問題，即確定一個給定的公理是否獨立於其他公理。 在皮亞諾傳記裡有一段在描述帕多阿的職涯： 1900年的巴黎大會尤其著名。帕多阿在這些大會上的演講因為他對數學現代公理化方法清晰而不雜亂的闡述而聞名。實際上，他被認為是「第一個……完全知悉那些已定義或未定義概念的人。.
新！!: 逻辑学家和亞力山卓·帕多阿 · 查看更多 »
库尔特·哥德尔
库尔特·弗雷德里希·哥德尔（Kurt Friedrich Gödel，），出生於奧匈帝國的數學家、邏輯學家和哲學家，维也纳学派（维也纳小组）的成员。其最杰出的贡献是哥德尔不完备定理和连续统假设的相对协调性证明。.
新！!: 逻辑学家和库尔特·哥德尔 · 查看更多 »
以撒·華茲
以撒·華茲（Isaac Watts，）是英国17世纪一位多产的圣诗作者，一生创作了大约750首圣诗，被称为“英文圣诗之父”。他的许多圣诗至今仍被广泛传唱，并且已经被翻译成许多种语言。.
新！!: 逻辑学家和以撒·華茲 · 查看更多 »
伯納德·波爾查諾
伯納德·普拉西德·約翰·內波穆克·波爾查諾（Bernhard Placidus Johann Nepomuk Bolzano，）是波希米亞的數學家、神學家、哲學家、邏輯學家、和反軍國主義者。他在数学方面的知名成就有二分法和波爾查諾－魏爾斯特拉斯定理。他以母语（德文）进行写作，多数贡献都是在死后才获得世人赞誉。.
新！!: 逻辑学家和伯納德·波爾查諾 · 查看更多 »
伯特兰·罗素
伯特兰·亚瑟·威廉·罗素，第三代羅素伯爵（Bertrand Arthur William Russell, 3rd Earl Russell，），OM，FRS，英国哲学家、数学家和逻辑学家，致力于哲学的大众化、普及化。 在數學哲學上採取弗雷格的邏輯主義立場，認為數學可以化約到邏輯，哲學可以像邏輯一樣形式系統化，主張逻辑原子論。 1950年，罗素获得诺贝尔文学奖，以表彰其“西歐思想，言論自由最勇敢的君子，卓越的活力，勇氣，智慧與感受性，代表了諾貝爾獎的原意和精神”。 1921年罗素曾於中国讲学，对中国学术界有相当影响。.
新！!: 逻辑学家和伯特兰·罗素 · 查看更多 »
佩尔·马丁-洛夫
佩尔·埃里克·罗格·马丁-洛夫（Per Erik Rutger Martin-Löf，），瑞典逻辑学家、数理统计学家和哲学家。他以其在概率论基础方面的工作而闻名。自20世纪70年代以后，他的工作主要集中在逻辑学方面。在哲学逻辑方面，他的研究专注于蕴涵及判断学说，并在一定程度上受到了弗朗兹·布伦塔诺、弗雷格和胡塞尔先前工作的影响；在数理逻辑方面，他致力于创设直觉类型论作为数学的构造性基础。马丁-洛夫在类型论方面的工作深深地影响了计算机科学、尤其是后世编程语言理论的发展。 佩尔·马丁-洛夫是斯德哥尔摩大学的校友。直到2009年退休前，他一直担任斯德哥尔摩大学的数学和哲学学院的联合主席这一职务。, Academia Europaea, retrieved 2014-01-26.
新！!: 逻辑学家和佩尔·马丁-洛夫 · 查看更多 »
利奥波德·克罗内克
利奥波德·克罗内克（Leopold Kronecker，），德国数学家与逻辑学家，出生于西里西亞利格尼茨（现属波兰的莱格尼察），卒于柏林。他认为算术与数学分析都必须以整数为基础，他曾说：“上帝创造了整数，其余都是人做的工作”（Bell 1986, 477页）。这与数学家格奥尔格·康托尔的观点相互对立。克罗内克是恩斯特·库默尔的学生和终身挚友。 以克罗内克命名的数学理论包括克罗内克δ、克罗内克积等。 Kronecker–Weber定理說明若K / \mathbb是有理數集\mathbb的有限阿貝爾擴張，則K是的一個分圓域的子域。 Kronecker引理說明： 若(x_n)_^\infty是一個實數數列，使得 存在且有限，則對於0及b_n \to \infty則有 Category:19世纪数学家 Category:德国数学家 Category:邏輯學家 Category:猶太科學家 Category:柏林洪堡大學教師 Category:柏林洪堡大學校友 Category:德國猶太人 Category:西里西亞人 分类:绅士科学家.
新！!: 逻辑学家和利奥波德·克罗内克 · 查看更多 »
内部代数
在抽象代数中，内部代数是采用了集合的拓扑内部概念的特定类型的代数结构。内部代数之对于拓扑和模态逻辑 S4 如同布尔代数之对于集合论和普通命题逻辑。内部代数形成了模態代數的一个簇。.
克莱尼代数
克莱尼代数（名稱源自于美国数学家逻辑学家 斯蒂芬·科尔·克莱尼）在数学中是下列两个事物之一.
新！!: 逻辑学家和克莱尼代数 · 查看更多 »
皮尔士定律
逻辑中的皮尔士定律得名于哲学家和逻辑学家查尔斯·桑德斯·皮尔士。它被接受为他的第一个公理化命题逻辑中一个公理。这个公理可以用做排中律的替代者。 在命题演算中，皮尔士定律说的是 ((P→Q)→P)→P。 也就是说，如果你能证明 P 蕴含 Q 强制 P 是真的，则 P 必定是真的。 皮尔士定律在直觉逻辑或中间逻辑中是不成立的。在柯里-霍华德同构中，皮尔士定律是一种续体运算。.
新！!: 逻辑学家和皮尔士定律 · 查看更多 »
王浩 (数学家)
王浩（）是一位美籍华裔哲學家、數理邏輯學家。.
新！!: 逻辑学家和王浩 (数学家) · 查看更多 »
科学史 (1515年)
科学史上的1515年发生了众多事件，本条目撷取其中部分罗列如下：.
新！!: 逻辑学家和科学史 (1515年) · 查看更多 »
算法
-- 算法（algorithm），在數學（算學）和電腦科學之中，為任何良定义的具體計算步驟的一个序列，常用於計算、和自動推理。精確而言，算法是一個表示爲有限長列表的。算法應包含清晰定義的指令用於計算函數。 算法中的指令描述的是一個計算，當其時能從一個初始狀態和初始輸入（可能爲空）開始，經過一系列有限而清晰定義的狀態最終產生輸出並停止於一個終態。一個狀態到另一個狀態的轉移不一定是確定的。隨機化算法在内的一些算法，包含了一些隨機輸入。 形式化算法的概念部分源自尝试解决希尔伯特提出的判定问题，並在其后尝试定义或者中成形。这些尝试包括库尔特·哥德尔、雅克·埃尔布朗和斯蒂芬·科尔·克莱尼分别于1930年、1934年和1935年提出的遞歸函數，阿隆佐·邱奇於1936年提出的λ演算，1936年的Formulation 1和艾倫·圖靈1937年提出的圖靈機。即使在當前，依然常有直覺想法難以定義爲形式化算法的情況。.
系统F
系统F，也叫做多态lambda演算或二阶lambda演算，是有类型lambda演算。它由逻辑学家Jean-Yves Girard和计算机科学家John C. Reynolds独立发现的。系统F形式化了编程语言中的参数多态的概念。 正如同lambda演算有取值于（rang over）函数的变量，和来自它们的粘合子（binder）；二阶lambda演算取值自类型，和来自它们的粘合子。 作为一个例子，恒等函数有形如A→ A的任何类型的事实可以在系统F中被形式化为判断 这里的α是类型变量。 在Curry-Howard同构下，系统F对应于二阶逻辑。 系统F，和甚至更加有表达力的lambda演算一起，可被看作Lambda立方体的一部分。.
索尔·阿伦·克里普克
索尔·阿伦·克里普克（Saul Aaron Kripke，），美国逻辑学家，哲学家。模态逻辑语义学的创始人之一，因果—历史指称论的首倡者之一。.
新！!: 逻辑学家和索尔·阿伦·克里普克 · 查看更多 »
真理
真理通常被定义为与事实或实在相一致。然而，并没有任何一个真理的定义被学者普遍接受。许多不同的真理定义一直被广泛争论。许多与真理定义相关的主题同样无法获得共识。普世價值與絕對真理是兩個不完全等同的概念，儘管它們經常性地被人們所混淆。 使用真理概念的有科學、哲學、宗教等。智人终于脫離於宗教迷信外的真理概念，始自於西方文明中科学与人文并重的古希臘時期。.
语言哲学
語言哲學是一門哲學的分支，對語言的用法、來源及本質作理性的研究。對於分析哲學來說，有四個主要關心的問題：意義的本質、語言用法、語言認知及語言與現實的關係。對歐陸哲學家來說，語言哲學是邏輯、歷史甚至政治的一部分。 首先，語言哲學家尋求意義的本質，解釋「意義」的意義。順著這個脈絡，找尋同義詞的本質。 研究人的语言的哲学成为当代哲学的主要方向。主要代表人物有维特根斯坦。.
鲁道夫·赫尔曼·陆宰
鲁道夫·赫尔曼·陆宰（德语：Rudolf Herman Lotze，）是一位德国 哲学家、逻辑学家。他还拥有医学学位，并且精通生物学。他的医学研究成为科学心理学的先锋工作。.
新！!: 逻辑学家和鲁道夫·赫尔曼·陆宰 · 查看更多 »
路德维希·维特根斯坦
路德维希‧約瑟夫‧約翰‧维特根斯坦（Ludwig Josef Johann Wittgenstein，又譯维特根施泰因、維根斯坦；）是一名奧地利哲學家。他生于奥地利，后入英国籍。维特根斯坦是20世纪最有影响力的哲学家之一，其研究领域主要在语言哲学、心靈哲学和数学哲学等方面。1939年至1947年，任教於剑桥大学三一學院。Dennett, Daniel.
新！!: 逻辑学家和路德维希·维特根斯坦 · 查看更多 »
齐鲁文化
鲁文化，又称海岱文化，是指以今中國山东省为中心形成和发展的一种地域文化。齐鲁文化区以泰沂山脉为中心，其范围大致包括今日的山东省京杭大运河以东地区、江苏省北部、辽东半岛，基本上与胶辽官话区以及山东省内的冀鲁官话区相符，向西以大运河与中原文化为界，向南与江淮官话区的江淮文化相邻。齐鲁文化可细分为“鲁西文化”和“胶东文化”。.
阿尔弗雷德·塔斯基
阿尔弗雷德·塔斯基（Alfred Tarski，），美国籍波兰裔犹太逻辑学家和数学家。塔斯基1939年移居美国，一直任教于加利福尼亚大学伯克利分校。华沙学派成员，广泛涉猎抽象代数、拓扑学、几何学、测度论、数理逻辑、集论和分析哲学等领域，专精于模型论、元数学、代数逻辑。 逻辑学家们将塔斯基的成就与亚里士多德、弗雷格、伯特兰·罗素和哥德尔相提并论。他的传记作者安妮塔和所罗门·费夫曼写道：“塔斯基和同时代的哥德尔一起改变了逻辑学在20世纪的面目，尤其是通过他对真值概念和模型论的研究。”Feferman, A. B., and Solomon Feferman, 2004.
新！!: 逻辑学家和阿尔弗雷德·塔斯基 · 查看更多 »
阿蘭德·海廷
阿蘭德·海廷(英语：Arend Heyting，)是荷蘭數學家和邏輯學家。他是魯伊茲·布勞威爾在阿姆斯特丹大學的學生之一，他做了很多工作來使直覺主義邏輯立足於成為數理邏輯一部分。海廷為了整編布勞威爾做數學研究的方法而對直覺主義邏輯做了首次形式開發。把布勞威爾的名字包含在Brouwer–Heyting–Kolmogorov釋義中很大程度上是出於尊敬，因為布勞威爾在原則上反對直覺主義邏輯的任何形式化(並進而把海廷的工作稱為“無果實驗”)。 海廷生於荷蘭阿姆斯特丹，卒於瑞士盧加諾。.
新！!: 逻辑学家和阿蘭德·海廷 · 查看更多 »
金岳霖
金岳霖（），字龙荪，哲学家、逻辑学家。生于湖南长沙，祖籍浙江诸暨。.
雷欧·范德托
雷欧·范德托（Leon van der Torre, ），荷兰逻辑学家，卢森堡大学计算机科学教授，主要研究领域为道义逻辑，多智能体系统，人工智能中的逻辑学。截止2016年已发表学术论文近300篇。.
新！!: 逻辑学家和雷欧·范德托 · 查看更多 »
雅各·辛提卡
卡爾洛·雅各·尤哈尼·辛提卡（Kaarlo Jaakko Juhani Hintikka，），芬蘭哲學家與邏輯學家，主要貢獻為數學哲學與邏輯，為公式化認識邏輯的發明人。.
新！!: 逻辑学家和雅各·辛提卡 · 查看更多 »
逻辑
邏輯（λογική；Logik；logique；logic；意大利语、西班牙语、葡萄牙语: logica），又稱理則、論理、推理、推論，是对有效推論的哲學研究。邏輯被使用在大部份的智能活動中，但主要在哲學、心理、学习、推论统计学、脑科学、數學、語義學、 法律和電腦科學等領域內被視為一門學科。邏輯討論邏輯論證會呈現的一般形式，哪種形式是有效的，以及其中的謬論。 邏輯通常可分為三個部份：歸納推理、溯因推理和演繹推理。 在哲學裡，邏輯被應用在大多數的主要領域之中：形上學/宇宙論、本體論、知識論及倫理學。 在數學裡，邏輯是指形式逻辑和数理邏輯，形式逻辑是研究某個形式語言的有效推論。主要是演繹推理。 在辯證法中也會學習到邏輯。数理邏輯是研究抽象邏輯关系和数学基本的问题。 在心理、脑科学、語義學、 法律裡，是研究人类思想推理的处理。 在学习、推论统计学裡，是研究最大可能的结论。主要是歸納推理、溯因推理。 在電腦科學裡， 是研究各种方法的性质，可能性，和实现在机器上。主要是歸納推理、溯因推理，也有在歸納推理的研究。 从古文明开始（如古印度、中國和古希臘）都有對邏輯進行研究。在西方，亞里斯多德將邏輯建立成一門正式的學科，並在哲學中給予它一個基本的位置。.
Haskell
Haskell（）是一种标准化的，通用的纯函數程式語言，有非限定性语义和强静态类型。它的命名源自美国逻辑学家哈斯凱爾·加里，他在数理逻辑方面上的工作使得函数式编程语言有了广泛的基础。在Haskell中，“函数是第一類物件”。作为一门函數程式語言，主要控制结构是函数。Haskell语言是1990年在编程语言Miranda的基础上标准化的，并且以λ演算为基础发展而来。这也是为什么Haskell语言以希腊字母「λ」（Lambda）作为自己的标志。Haskell具有“证明即程序、命题为类型”的特征, with 2 sections by William Craig, see paragraph 9E。.
新！!: 逻辑学家和Haskell · 查看更多 »
查尔斯·桑德斯·皮尔士
查尔斯·桑德斯·皮尔士（Charles Sanders Santiago Peirce，；中文常译為皮尔斯，实际上读音应该是“purse”，“珀斯”）是美国的通才，实用主义学家。.
新！!: 逻辑学家和查尔斯·桑德斯·皮尔士 · 查看更多 »
格哈德·根岑
格哈德·根岑（Gerhard Karl Erich Gentzen，）是德国的数学家和逻辑学家。 他生于德国的格赖夫斯瓦尔德，在1929年到1933年期间是赫尔曼·外尔在哥廷根大学的学生之一。在1934年到1943年間他是大卫·希尔伯特在哥廷根大学的助手。從1943年起他是布拉格大學的教授。他的主要工作是数学基础中的证明论，特别是自然演绎和相继式演算。他的切消定理是证明论语义的基石，《逻辑演绎研究》中的某些哲学评论和维特根斯坦的格言"意义是使用"一起建立了推论角色语义的基础。 他是納粹黨和沖鋒隊的成員，在1945年5月7日隨所有在布拉格的德國人一起被逮捕之后，饿死于布拉格附近的战俘营中。.
新！!: 逻辑学家和格哈德·根岑 · 查看更多 »
模仿游戏
是一部2014年英、美合拍的历史剧情片。讲述英国数学家、逻辑学家、密码分析学家和计算机科学家艾伦·图灵在二战中帮助盟军破译纳粹德国的军事密码的真实故事。挪威导演莫腾·泰杜姆执导，编剧格雷厄姆·摩爾改编自所写的传记《Alan Turing: The Enigma》，英国演员本尼迪克特·康伯巴奇任男主角，其他主演包括凯拉·奈特莉、马修·古迪和马克·斯特朗。 二战期間，英国劍橋大學的教授艾伦·图灵（本尼迪克特·康伯巴奇 饰）获軍情六處秘密任命，与一群专家組成解密组，试图破解由纳粹德国独创，号称世上最精密的情报机器——「Enigma」密码机。图灵独具才能，被丘吉尔任命为组內的领导人，但其古怪的脾气却使他受到组员的抵制，过程遭遇重重挫折，幸好在聪明艳丽的新成员瓊恩·克拉克（凯拉·奈特莉 饰）的鼓励下，图灵主动打破和同僚的隔阂，最终合力研发出破译地方机密的装置，超过1400万人得以避开战火，而世上电脑的雏形亦宣告在那刻誕生。然而战后多年，图灵却被揭发自己的同性恋倾向，而被英国政府入罪...
朱塞佩·皮亞諾
朱塞佩·皮亞諾 Giuseppe Peano（1858年8月27日－1932年4月20日）是義大利數學家、邏輯學家、語言學家。.
新！!: 逻辑学家和朱塞佩·皮亞諾 · 查看更多 »
戈特洛布·弗雷格
弗里德里希·路德维希·戈特洛布·弗雷格（德语：Friedrich Ludwig Gottlob Frege，；），著名德国数学家、逻辑学家和哲学家。是数理逻辑和分析哲学的奠基人。.
新！!: 逻辑学家和戈特洛布·弗雷格 · 查看更多 »
时间逻辑
在逻辑中，术语时间逻辑被用来描述为表现和推理关于时间限定的命题的规则和符号化的任何系统。它有时也被称为时态逻辑，这是 Arthur Prior 在1960年代介入的基于模态逻辑的特殊的时间逻辑系统。它后来被计算机科学家特别是 Amir Pnueli 和逻辑学家进一步的开发。中国著名计算机科学家唐稚松在这一领域亦有较深入的研究，并写有专著《时序逻辑程序设计与软件工程》。 时间逻辑首先被亚里士多德深入研究过，他的著作中有粗糙形式的一阶时间模态二值逻辑。使用存在量词或全称量词的任何逻辑都叫做一阶逻辑。把时间看作状态的序列的任何逻辑都是时间逻辑，只使用两个真值的任何逻辑都是二值逻辑。 考虑陈述："我饿了"。尽管它的意思随时间恒定，但这个陈述的真值随时间可变。有时这个陈述为真，有时这个陈述为假，但是这个陈述不能同时为真并且为假。在时间逻辑中，陈述可以有随时间变化的真值。与之相对的是非时间逻辑，它只能处理有着随时间恒定的真值的陈述。 三个基本时间算子是：总是、有时、和永不。 计算树逻辑（CTL）、线性时间逻辑（LTL）和间隔时间逻辑（ITL）是时间逻辑的例子。.
数学原理
《数学原理》（Principia Mathematica）是由伯特兰·罗素与他的老师阿尔弗雷德·诺思·怀特黑德合著的一本数学书籍，书籍共分三卷，分别出版于1910年，1912年，1913年。 它通常缩写為PM (Principia Mathematica)，企图表述所有数学真理在一组数理逻辑內的公理和推理规则下，原则上都是可以证明的。因此这一雄心勃勃的项目對於数学史和哲学史都是非常重要的，然而在1931年，哥德尔不完备性定理证明對於数学原理或其他任何類似的尝试，这个崇高的目标皆永远无法达到; 也就是说，任何尝试以一组公理和推理规则來建立的数学系統，若非不一致，便是不完備 (即存在一些数学真理不能由此系統推导出來)。 数学原理的一个主要的灵感和动机来自于逻辑学家戈特洛布·弗雷格的工作,但伯特兰·罗素发现其允许建设有矛盾的集合（罗素悖论）。数学原理排除无限制创建任意的集合來试图避免这个问题,它以不同“类型”的集合來取代一般的集合,一组特定类型的集合只能包含套較低的类型。然而在当代数学,會使用如Zermelo-Fraenkel的集合理论体系,來避免如罗素的笨拙方式,。 现代图书馆它排在二十世纪英文非小说书籍中的第23名。.
拉蒙·柳利
拉蒙·柳利（Ramon Llull，Raymundus Lullus，），其名於法語中的異體譯作雷蒙·呂爾(Raymond Lulle)，加泰罗尼亚作家、逻辑学家、會士和神秘主义神学家。他创作了第一部重要作品，促进了加泰罗尼亚语的发展。其手稿显示他在选举理论有着超前的研究成果。他还被认为是计算理论的先驱，影响了莱布尼茨等人。The History of Philosophy, Vol.
新！!: 逻辑学家和拉蒙·柳利 · 查看更多 »
1781年哲學
1781年哲學事件.
新！!: 逻辑学家和1781年哲學 · 查看更多 »
1月14日
1月14日是公历年的第14天，离一年的结束还有351天（闰年是352天）。.
新！!: 逻辑学家和1月14日 · 查看更多 »
2015年8月逝世人物列表
2015年8月逝世人物列表，是用于汇总2015年8月期间逝世人物的列表。.
新！!: 逻辑学家和2015年8月逝世人物列表 · 查看更多 »
4月26日
4月26日是公历一年中的第116天（闰年第117天），离全年的结束还有249天。.
新！!: 逻辑学家和4月26日 · 查看更多 »
