目录
29 关系: 基数，定理，实数，一个数学家的辩白，序数，库尔特·哥德尔，伯特兰·罗素，命题，哥德尔不完备定理，函数，公式，公理，理論，符号，罗素悖论，谢费尔竖线，路德维希·维特根斯坦，金属性，集合，逻辑学家，Metamath，Michel Weber，推理规则，戈特洛布·弗雷格，斯蒂芬·科尔·克莱尼，数学，数理逻辑，括号，20世纪。
- 1910年科學
- 1910年非虛構書籍
- 1912年科學
- 1913年科學
基数
基数或量數可以指：.
查看 数学原理和基数
定理
定理（Theorem）是經過受邏輯限制的證明為真的陈述。一般來說，在數學中，只有重要或有趣的陳述才叫定理。證明定理是數學的中心活動。一个定理陈述一个给定类的所有（全称）元素一种不变的关系，这些元素可以是无穷多，它们在任何时刻都无区别地成立，而没有一个例外。（例如：某些a是x，某些a是y，就不能算是定理）。 猜想是相信為真但未被證明的數學敘述，或者叫做命题，當它經過證明後便是定理。猜想是定理的來源，但並非唯一來源。一個從其他定理引伸出來的數學敘述可以不經過成為猜想的過程，成為定理。 如上所述，定理需要某些邏輯框架，繼而形成一套公理（公理系統）。同時，一個推理的過程，容許從公理中引出新定理和其他之前發現的定理。 在命題邏輯，所有已證明的敘述都稱為定理。.
查看 数学原理和定理
实数
实数，是有理數和無理數的总称，前者如0、-4、81/7；后者如\sqrt、\pi等。实数可以直观地看作小數（有限或無限的），它們能把数轴「填滿」。但僅僅以枚舉的方式不能描述實數的全體。实数和虚数共同构成复数。 根据日常经验，有理數集在數軸上似乎是「稠密」的，于是古人一直认为用有理數即能滿足測量上的實際需要。以邊長為1公分的正方形為例，其對角線有多長？在規定的精度下（比如誤差小於0.001公分），總可以用有理數來表示足夠精確的測量結果（比如1.414公分）。但是，古希臘畢達哥拉斯學派的數學家發現，只使用有理數無法完全精確地表示這條對角線的長度，這徹底地打擊了他們的數學理念；他們原以為：.
查看 数学原理和实数
一个数学家的辩白
《一个数学家的辩白》（A Mathematician's Apology）是一篇由英国数学家G·H·哈代在1940年写成的文章，在当年11月首次出版。这篇文章可以说是哈代本人的自传。哈代从自己的角度，谈论了数学中的美学，给了门外汉一个机会以洞察工作中的数学家的内心。話雖如此，哈代在本书中阐述的观点却只是个人的，他的观点也许不被所有的数学家認同。 这本书1967年的版本由哈代的好友，科学家与文学家C·P·斯诺作序。值得一提的是，斯诺的序几乎比哈代的正文还要长，而且斯诺作序时，哈代已经逝世。 在本书题首，哈代将这本书献给约翰·洛马斯（John Lomas），因为是他要哈代写这本书的。.
序数
數學上，序數是自然數的一種擴展，與基數相對，著重於次序的性質。大於有限數的序數也稱作超限序數。 超限序数是由數學家格奥尔格·康托尔于1897年引入，用來考慮無窮序列，並用來對具有序结构的無窮集進行分類。.
查看 数学原理和序数
库尔特·哥德尔
库尔特·弗雷德里希·哥德尔（Kurt Friedrich Gödel，），出生於奧匈帝國的數學家、邏輯學家和哲學家，维也纳学派（维也纳小组）的成员。其最杰出的贡献是哥德尔不完备定理和连续统假设的相对协调性证明。.
查看 数学原理和库尔特·哥德尔
伯特兰·罗素
伯特兰·亚瑟·威廉·罗素，第三代羅素伯爵（Bertrand Arthur William Russell, 3rd Earl Russell，），OM，FRS，英国哲学家、数学家和逻辑学家，致力于哲学的大众化、普及化。 在數學哲學上採取弗雷格的邏輯主義立場，認為數學可以化約到邏輯，哲學可以像邏輯一樣形式系統化，主張逻辑原子論。 1950年，罗素获得诺贝尔文学奖，以表彰其“西歐思想，言論自由最勇敢的君子，卓越的活力，勇氣，智慧與感受性，代表了諾貝爾獎的原意和精神”。 1921年罗素曾於中国讲学，对中国学术界有相当影响。.
查看 数学原理和伯特兰·罗素
命题
在现代哲学、逻辑学、语言学中，命题是指一个判断（陳述）的语义（實際表達的概念），這個概念是可以被定義並觀察的現象。命题不是指判断（陳述）本身。当相異判断（陳述）具有相同语义的时候，他们表达相同的命题。例如，雪是白的（汉语）和 Snow is white（英语）是相異的判断（陳述），但它们表达的命题是相同的。在同一种语言中，两个相異判断（陳述）也可能表达相同命题。例如，刚才的命题也可以说成冰的小结晶是白的，不過，之所以是相同命题，取決於冰的小结晶可視為雪的有效定義。 通常，命題是指閉判斷，以區別於開判斷，或謂詞。在這種情況下，命題不是真的就是假的。哲學學派邏輯實證主義支援這一命題的概念。 一些哲學家，諸如約翰•希爾勒，認為其他形式的語言或行為也判定命題。是非疑問句是對命題真值的詢問。道路交通標誌不通過語言和文字也表達了命題。使用陳述句也可能給出一個命題而不判定它，例如，在當老師請學生對某個引用發表意見的時候，這個引用就是一個命題（即它有語義）而這個老師並沒有判定它。在上一段中，只給出了命題雪是白的，但沒有判定它。.
查看 数学原理和命题
哥德尔不完备定理
在数理逻辑中，哥德尔不完备定理是库尔特·哥德尔于1931年证明并发表的两条定理。简单地说，第一条定理指出： 这是形式逻辑中的定理，容易被错误表述。有许多命题听起来很像是哥德尔不完备定理，但事实上并不是。具体实例见对哥德尔定理的误解 把第一条定理的证明过程在体系内部形式化后，哥德尔证明了第二条定理。该定理指出： 这个结果破坏了数学中一个称为希尔伯特计划的哲学企图。大卫·希尔伯特提出，像实分析那样较为复杂的体系的相容性，可以用较为简单的体系中的手段来证明。最终，全部数学的相容性都可以归结为基本算术的相容性。但哥德尔的第二条定理证明了基本算术的相容性不能在自身内部证明，因此当然就不能用来证明比它更强的系统的相容性了。.
函数
函數在數學中為兩集合間的一種對應關係：輸入值集合中的每項元素皆能對應唯一一項輸出值集合中的元素。例如實數x對應到其平方x2的關係就是一個函數，若以3作為此函數的輸入值，所得的輸出值便是9。 為方便起見，一般做法是以符號f,g,h等等來指代一個函數。若函數f以x作為輸入值，則其輸出值一般寫作f(x)，讀作f of x。上述的平方函數關係寫成數學式記為f(x).
查看 数学原理和函数
公式
在科學中，公式是一種把資訊準確地以符号表達的方法，就像是數學公式或化學式那樣。 在數學中，廣義上的公式是指在特定的形式文法下，把數學符號組合而成之結果。 在現代化學中，一個化學式中會有元素符號、數字，可能還有別的符號如圓括號、方括號和正負符號等，用以表示在化合物中各種原子所佔之比例，以及一些性質。例如H2O 即為水的化學式，表明每個水分子包含兩個氫原子和一個氧原子。類似地，O 是指包含三個氧原子並帶有一個負電荷的臭氧分子。.
查看 数学原理和公式
公理
在傳統邏輯中，公理是沒有經過證明，但被當作不證自明的一個命題。因此，其真實性被視為是理所當然的，且被當做演繹及推論其他（理論相關）事實的起點。當不斷要求證明時，因果關係毕竟不能無限地追溯，而需停止於無需證明的公理。通常公理都很簡單，且符合直覺，如「a+b.
查看 数学原理和公理
理論
論（Theory），又稱學說或學說理論，指人類對自然、社會現象，按照已有的實證知識、經驗、事實、法則、認知以及經過驗證的假說，經由一般化與演繹推理等等的方法，進行合乎邏輯的推論性總結。 接近科学的学说是科学的，反之则是违背科学的或者说伪科学；任何自然科学的产生，源自对自然现象观察。 人類藉由觀察實際存在的現象或邏輯推論，而得到某種學說。任何學說在未經社會實踐或科學試驗證明以前，只能屬於假說。如果假說能藉由大量可重現的觀察與實驗而驗證，並為眾多科學家認定，這項假說就可被稱為科学理論。.
查看 数学原理和理論
符号
在一种认知体系中，符号是指代一定意义的意象，可以是图形图像、文字组合，也可以是声音信号、建筑造型，甚至可以是一种思想文化、一个时事人物。例如“.
查看 数学原理和符号
罗素悖论
罗素悖论（Russell's paradox），也称为理发师悖论，是英國哲學家罗素於1901年提出的悖论，一个关于类的内涵问题。罗素悖论当时的提出，造成了第三次数学危机。.
查看 数学原理和罗素悖论
谢费尔竖线
谢费尔竖线（Sheffer stroke），得名于，写为“| ”（見豎線）或“↑”，指示等价于合取运算的否定的逻辑运算。普通语言表达为“不全是即真”（Not AND，因此也常縮寫為NAND），也就是说，A | B假，当且仅当A与B都真时才成立。它是可用来表达与命题逻辑有关的所有布尔函数的自足算子之一。在布尔代数和数字电子中有叫做「NAND」的等价运算。.
查看 数学原理和谢费尔竖线
路德维希·维特根斯坦
路德维希‧約瑟夫‧約翰‧维特根斯坦（Ludwig Josef Johann Wittgenstein，又譯维特根施泰因、維根斯坦；）是一名奧地利哲學家。他生于奥地利，后入英国籍。维特根斯坦是20世纪最有影响力的哲学家之一，其研究领域主要在语言哲学、心靈哲学和数学哲学等方面。1939年至1947年，任教於剑桥大学三一學院。Dennett, Daniel.
金属性
金属性或还原性是指在化学反应中原子、分子或离子失去电子的能力。失电子能力越强的粒子所属的元素金属性就越强；反之越弱，而其非金属性就越强。.
查看 数学原理和金属性
集合
集合可以指：.
查看 数学原理和集合
逻辑学家
逻辑学家是学术研究主题为逻辑学的哲学家，数学家或其他人。下面按姓氏的英语的字母顺序列出著名的逻辑学家。.
查看 数学原理和逻辑学家
Metamath
Metamath是用來發展嚴格形式化數學定義及證明的一款語言，亦指用來驗證該語言的證明驗證器，以及存有邏輯、集合論、數論、群論、代數、數學分析、拓撲學、希爾伯特空間及量子邏輯等領域中數萬條已證明定理且仍不斷在增加中的資料庫。.
Michel Weber
#重定向 米歇爾·韋伯.
推理规则
在逻辑中，特别是数理逻辑中，推理规则（推论规则）是构造有效推论的方案。这些方案建立在一组叫做前提的公式和叫做结论的断言之间的语法关系。这些语法关系用于推理过程中，新的真的断言从其他已知的断言得出。规则也适用于非形式逻辑和逻辑论证，但是形式化更加困难和有争议。 按照规定，推理规则的应用纯粹是语法过程。尽管如此它必须是有效的，或者更精确地说保持有效性。为了使保持有效性的要求有意义，某种形式的语义与推理规则有关和推理规则自身的断言是必需的。对于在推理规则和和语义之间相互关系的讨论请参见命题逻辑。 命题逻辑中推理规则的显著例子是肯定前件和否定后件规则。对于一阶谓词逻辑，推理规则需要处理逻辑量词。对这种论证的更详细的描述请参见有效性。在一阶谓词逻辑中把所有推理规则作为一个单一规则来统一处理请参见一阶归结。 注意有很多不同的形式逻辑系统，每个都带有合式公式、推理规则和语义的自己的集合。参见时间逻辑、模态逻辑或直觉逻辑的实例。量子逻辑也是一种不同寻常形式的逻辑。参见证明论。在谓词演算中，需要一个补充的推理规则。它叫做普遍化。 在形式逻辑的设置（和很多有关领域）中，推理规则通常用如下形式给出： 前提#1 前提#2 ...
查看 数学原理和推理规则
戈特洛布·弗雷格
弗里德里希·路德维希·戈特洛布·弗雷格（德语：Friedrich Ludwig Gottlob Frege，；），著名德国数学家、逻辑学家和哲学家。是数理逻辑和分析哲学的奠基人。.
斯蒂芬·科尔·克莱尼
斯蒂芬·科尔·克莱尼（Stephen Cole Kleene，）美國數學家、逻辑學家，主要从事對可計算函數的研究，而他的遞歸理論研究有助於奠定理論電腦科學的基礎。他為數學直覺主義的基礎做出了重要貢獻，克莱尼層次結構、克莱尼代数、克莱尼星号（克莱尼閉包）、克莱尼遞歸定理和克莱尼不動點定理數學概念以他的名字命名。他也是正規表示法的發明者。.
数学
数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科，从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用，由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念，為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善，早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見，而在古希臘那裡有更為嚴謹的處理。從那時開始，數學的發展便持續不斷地小幅進展，至16世紀的文藝復興時期，因为新的科學發現和數學革新兩者的交互，致使數學的加速发展，直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日，數學使用在不同的領域中，包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學，有時亦會激起新的數學發現，並導致全新學科的發展，例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學，就是數學本身的实质性內容，而不以任何實際應用為目標。雖然許多研究以純數學開始，但其过程中也發現許多應用之处。.
查看 数学原理和数学
数理逻辑
数理逻辑是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑（相对于哲学逻辑），又称元数学，后者的使用现已局限于证明论的某些方面。.
查看 数学原理和数理逻辑
括号
括号（ 【 】 〔 〕 ，Bracket，又称括弧号 ），為加在需注释的文字的左右（上下）兩旁的雙對符号，其有下列多種種類：.
查看 数学原理和括号
20世纪
1901年1月1日至2000年12月31日的这一段期间被称为20世纪。該世紀最初屬於「不列顛治世」後期，是工業革命大爆發的年代，識字率大量提升，科學研究一日千里，人類學會了製造航天器與各種電器、開發出了各種新材料等，徹底顛覆了人類的生活。該世紀有全球战争与军事对峙（两次世界大战、冷战）；此外，共产主义与资本主义的对立影响人们深远，并却促使后者在经济与社会上多重的修正与省思，最終取得了勝利；该世纪的殖民主义也曾发展到极致，却在1960年代后因為美蘇的介入迅速瓦解，然而殖民地獨立後的矛盾卻讓戰爭遍佈。環境因為人類過度開發造成全球暖化與生態滅絕、臭氧層破壞等，也促進了環保主義的發展，帶動了新世紀文化。資本驅動傳媒技術的普及，引領了現代大眾文化的形成，形成了與傳統價值觀截然不同的景象，宗教也逐漸式微。 二十世紀初，由英法為首的20多個新帝國主義領導著全世界，1914年，新興的德意志帝國由於不滿自身地位而挑戰大英帝國，發動第一次世界大戰。在一戰結束後的1921年，根據巴黎和會託管德國殖民地而達到領土面積最大時期，成為了世界歷史上面積最大、跨度最廣的國家。由於帝國的領土、屬土遍及包括南極洲在內的七大洲、五大洋，有「英國的太陽永遠不會落下」的說法，所以被形容為繼西班牙帝國之後的第二個「日不落帝國」。到20世紀中期，隨着全球民族主義運動的興起，與英國日漸式微的國力，日本等軸心國企圖在世界建立新秩序，導致二次大戰爆發，歐洲的破壞造成大英帝國與歐洲殖民國家逐漸瓦解，但该世纪广布欧洲的民族主义风潮传到亚洲、非洲与大洋洲，導致戰後民族革命獨立的風氣，大量第三世界新國家出現。殖民地資本主義的不公造成社會主義國家陸續獨立，引發了美蘇強權的代理人戰爭直到世紀末，經濟的重心也由歐洲向西邊轉移至美洲與東亞。而知识爆炸與教育的系統化普及，则使前所未有的人們能接受知识，讓民主制度被廣泛採用，并质疑与检讨各学科的发展和研究与更好的生活品质，部分华人迁到北美与东南亚、澳洲，许多土耳其与北非地区人民移居西欧，歐洲則通過歐盟整合為一，不少的西班牙裔透过合法或非法的方式进入美国。这些人口的流动打破过去以种族划分的地理概念，這場全球化使得國界變得模糊，却也造成许多工业国家内部的社会问题。文化衝突使得恐怖主义在全球盛行，尤其透过网路等资讯媒体，造成美国与小数其他西方国家的恐慌，并使下个世纪初蒙上恐惧的阴影。.
查看 数学原理和20世纪