库尔特·哥德尔和数学史

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

库尔特·哥德尔和数学史之间的区别

库尔特·哥德尔 vs. 数学史

库尔特·弗雷德里希·哥德尔（Kurt Friedrich Gödel，），出生於奧匈帝國的數學家、邏輯學家和哲學家，维也纳学派（维也纳小组）的成员。其最杰出的贡献是哥德尔不完备定理和连续统假设的相对协调性证明。. 数学史的主要研究对象是历史上的数学发现，以及调查它们的起源，或更广义地说，数学史就是对过去的数学方法与数学符号的探究。 数学起源于人类早期的生产活动，为古中国六艺之一，亦被古希腊学者视为哲学之起点。數學最早用於人們計數、天文、度量甚至是貿易的需要。這些需要可以簡單地被概括為數學對結構、空間以及時間的研究；對結構的研究是從數字開始的，首先是從我們稱之為初等代數的——自然數和整數以及它們的算術關係式開始的。更深層次的研究是數論；對空間的研究則是從幾何學開始的，首先是歐幾里得幾何和類似於三維空間（也適用於多或少維）的三角學。後來產生了非歐幾里得幾何，在相對論中扮演著重要角色。 在进入知识可以向全世界传播的现代社会以前，有记录的新数学发现仅仅在很少几个地区重见天日。目前最古老的数学文本是《普林顿 322》（古巴比伦，约公元前1900年），《莱因德数学纸草书》（古埃及，约公元前2000年-1800年），以及《莫斯科数学纸草书》（古埃及，约公元前1890年）。以上这些文本都涉及到了如今被称为毕达哥拉斯定理的概念，后者可能是继简单算术和几何后，最古老和最广泛传播的数学发现。 在公元前6世纪后，毕达哥拉斯将数学作为一门实证的学科进行研究，他创造了古希腊语单词μάθημα（mathema），意为“（被人们学习的）知识学问”。希腊数学家在相当大的程度上改进了这些数学方法（特别引入了演绎推理和严谨的数学证明），并扩大了数学的主题。中国数学做了早期贡献，包括引入了位值制系统。如今大行于世的印度-阿拉伯数字系统和运算方法，很可能是在公元后1000年的印度逐渐演化，并被伊斯兰数学家通过花拉子米的著作将其传到了西方。伊斯兰数学则将以上这些文明的数学做了进一步的发展贡献。许多古希腊和伊斯兰数学著作随后被翻译成了拉丁文，引领了中世纪欧洲更深入的数学发展。 从16世纪文艺复兴时期的意大利开始，算术、初等代数及三角学等初等数学已大体完备。17世纪变数概念的产生使人们开始研究变化中的量与量的互相关系和图形间的互相变换。随着自然科学和技术的进一步发展，为研究数学基础而产生的集合论和数理逻辑等也开始慢慢发展。 从古代到中世纪，数学发展的历史时期都伴随着数个世纪的停滞，但从16世纪以来，新的数学发展伴随新的科学发展，让数学不断加速大步前进，直至今日。.

大卫·希尔伯特

大卫·希尔伯特（David Hilbert，），德国数学家，是19世纪和20世纪初最具影响力的数学家之一。希尔伯特1862年出生于哥尼斯堡（今俄罗斯加里宁格勒），1943年在德国哥廷根逝世。他因为发明了大量的思想观念（例：不变量理论、、希尔伯特空间）而被尊为伟大的数学家、科学家。 他提出了希尔伯特空间的理論，是泛函分析的基礎之一。他热忱地支持康托的集合论与无限数。他在数学上的领导地位充分体现于：1900年，在巴黎的国际数学家大会提出的一系列问题（希尔伯特的23个问题）为20世纪的许多数学研究指出方向。 希尔伯特和他的学生为形成量子力学和广义相对论的数学基础做出了重要的贡献。他还是证明论、数理逻辑、区分数学与元数学之差别的奠基人之一。.

大卫·希尔伯特和库尔特·哥德尔 · 大卫·希尔伯特和数学史 · 查看更多 »

约翰·冯·诺伊曼

约翰·冯·诺伊曼（John von Neumann，，，），原名诺依曼·雅诺士·拉约士（Neumann János Lajos，），出生於匈牙利的美國籍猶太人数学家，现代電子計算機与博弈论的重要创始人，在泛函分析、遍历理论、几何学、拓扑学和数值分析等众多数学领域及計算機學、量子力學和经济学中都有重大貢獻。 冯·诺伊曼从小就以过人的智力与记忆力而闻名。冯·诺伊曼一生中发表了大约150篇论文，其中有60篇纯数学论文，20篇物理学以及60篇应用数学论文。他最后的作品是一个在医院未完成的手稿，后来以书名《》发布，表现了他生命最后时光的兴趣方向。 “诺依曼”和“诺伊曼”2种同音不同字的德音汉语译名写法都比较常见。另外也有资料采用其英音汉语译名“冯纽曼”。.

库尔特·哥德尔和约翰·冯·诺伊曼 · 数学史和约翰·冯·诺伊曼 · 查看更多 »

连续统假设

在數學中，連續統假設（Kontinuumshypothese；Continuum hypothesis，簡稱CH）是一個猜想，也是希尔伯特的23个问题的第一題，由康托尔提出，關於無窮集的可能大小。其為： 康托爾引入了基數的概念以比較無窮集間的大小，也證明了整數集的基數絕對小於實集的基數。康托爾也就給出了連續統假設，就是说，在无限集中，比自然数集基数大的集合中，基数最小的集合是实数集。而連續統就是實數集的一個舊稱。 更加形式地说，自然数集的基数为\aleph_0（讀作「阿列夫零」）。而连续统假设的观点认为实数集的基数为\aleph_1（讀作「阿列夫壹」）。于是，康托尔定义了绝对无限。 等價地，整數集的基数是\aleph_0而實數的基数是2^，連續統假設指出不存在一個集合S使得 \aleph_0 假設選擇公理是對的，那就會有一個最小的基數\aleph_1大於\aleph_0，而連續統假設也就等價於以下的等式： 連續統假設有個更廣義的形式，叫作廣義連續統假設（GCH），其命題為： 庫爾特·哥德尔在1940年用内模型法证明了连续统假设与ZFC的相对协调性（無法以ZFC證明為誤），保羅·柯恩在1963年用力迫法证明了连续统假设不能由ZFC推导。也就是说连续统假设獨立於ZFC。.

库尔特·哥德尔和连续统假设 · 数学史和连续统假设 · 查看更多 »

阿尔伯特·爱因斯坦

阿尔伯特·爱因斯坦，或譯亞伯特·爱因斯坦（Albert Einstein，），猶太裔理論物理學家，创立了現代物理學的兩大支柱之一的相对论，也是質能等價公式（）的發現者。他在科學哲學領域頗具影響力。因為“對理論物理的貢獻，特別是發現了光電效應的原理”，他榮獲1921年諾貝爾物理學獎。這發現為量子理論的建立踏出了關鍵性的一步。 愛因斯坦在職業生涯早期就發覺經典力學與電磁場無法相互共存，因而發展出狹義相對論。他又發現，相對論原理可以延伸至重力場的建模。從研究出來的一些重力理論，他於1915年發表了廣義相對論。他持續研究統計力學與量子理論，導致他給出粒子論與對於分子運動的解釋。在1917年，愛因斯坦應用廣義相對論來建立大尺度結構宇宙的模型。 阿道夫·希特勒於1933年開始掌權成為德國總理之時，愛因斯坦正在走訪美國。由於愛因斯坦是猶太裔人，所以儘管身為普魯士科學院教授，亦沒有返回德國。1940年，他定居美國，隨後成為美國公民。在第二次世界大戰前夕，他在一封寫給當時美國總統富蘭克林·羅斯福的信裏署名，信內提到德國可能發展出一種新式且深具威力的炸彈，因此建議美國也盡早進行相關研究，美國因此開啟了曼哈頓計劃。愛因斯坦支持增強同盟國的武力，但譴責將當時新發現的核裂变用於武器用途的想法，後來愛因斯坦與英國哲學家伯特蘭·羅素共同簽署《羅素—愛因斯坦宣言》，強調核武器的危險性。 愛因斯坦總共發表了300多篇科學論文和150篇非科學作品。愛因斯坦被誉为是“現代物理学之父”及20世紀世界最重要科學家之一。他卓越和原創性的科學成就使得“愛因斯坦”一詞成為“天才”的同義詞。.

库尔特·哥德尔和阿尔伯特·爱因斯坦 · 数学史和阿尔伯特·爱因斯坦 · 查看更多 »

数理逻辑

数理逻辑是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑（相对于哲学逻辑），又称元数学，后者的使用现已局限于证明论的某些方面。.

库尔特·哥德尔和数理逻辑 · 数学史和数理逻辑 · 查看更多 »