希爾伯特計劃
希爾伯特計劃的陳述這個計劃的主要目標,是為全部的數(shù)學提供一個安全的理論基礎。具體地,這個基礎應該包括:所有數(shù)學的形式化。意思是,所有數(shù)學應該用一種統(tǒng)一的嚴格形式化的語言,并且按照一套嚴格的規(guī)則來使用。完備性。我們必須證明以下命題:在形式化之后,數(shù)學里所有的真命題都可以被證明(根據(jù)上述規(guī)則)。相容性。我們必須證明:運用這一套形式化和它的規(guī)則,不可能推導出矛盾。保守性。我們需要證明:如果某個關于“實際物”的結論用到了“假想物”(如不可數(shù)集合)來證明,那么不用“假想物”的話我們依然可以證明同樣的結論。確定性。應該有一個算法,來確定每一個形式化的命題是真命題還是假命題。參見希爾伯特第二問題哥德爾不完備定理
希爾伯特計劃的陳述
這個計劃的主要目標,是為全部的數(shù)學提供一個安全的理論基礎。具體地,這個基礎應該包括:
所有數(shù)學的形式化。意思是,所有數(shù)學應該用一種統(tǒng)一的嚴格形式化的語言,并且按照一套嚴格的規(guī)則來使用。
完備性。我們必須證明以下命題:在形式化之后,數(shù)學里所有的真命題都可以被證明(根據(jù)上述規(guī)則)。
相容性。我們必須證明:運用這一套形式化和它的規(guī)則,不可能推導出矛盾。
保守性。我們需要證明:如果某個關于“實際物”的結論用到了“假想物”(如不可數(shù)集合)來證明,那么不用“假想物”的話我們依然可以證明同樣的結論。
確定性。應該有一個算法,來確定每一個形式化的命題是真命題還是假命題。
參見
希爾伯特第二問題
哥德爾不完備定理
免責聲明:以上內容版權歸原作者所有,如有侵犯您的原創(chuàng)版權請告知,我們將盡快刪除相關內容。感謝每一位辛勤著寫的作者,感謝每一位的分享。
——— 沒有了 ———
編輯:阿族小譜
文章價值打分
- 有價值
- 一般般
- 沒價值
當前文章打 0 分,共有 0 人打分
文章觀點支持
0
0
文章很值,打賞犒勞一下作者~
打賞作者
“感謝您的打賞,我會更努力的創(chuàng)作”
— 請選擇您要打賞的金額 —
{{item.label}}
{{item.label}}
打賞成功!
“感謝您的打賞,我會更努力的創(chuàng)作”
返回
打賞
私信
24小時熱門
推薦閱讀
· 維?!は柌?/div>
生平簡歷希爾伯特出生于柏林。之后于哈雷-維滕貝格大學學習數(shù)學和地理,他于1795年被任命為教授。1811年,他被任命為萊比錫大學物理學教授,并保持該職務直到其去世。他逝世于萊比錫。
· 希爾伯特空間
簡單介紹希爾伯特空間以大衛(wèi)·希爾伯特的名字命名,他在對積分方程的研究中研究了希爾伯特空間。馮·諾伊曼在其1929年出版的關于無界自伴算子的著作中,最早使用了“希爾伯特空間”這個名詞。馮·諾伊曼可能是最早清楚地認識到希爾伯特空間的重要性的數(shù)學家之一,他在進行對量子力學的基礎性和創(chuàng)造性地研究的時候認識到了這一點。此項研究由馮·諾伊曼與希爾伯特和朗道展開,隨后由尤金·維格納(EugeneWigner)繼續(xù)深入?!跋柌乜臻g”這個名字迅速被其他科學家所接受,例如在外爾1931年出版的著作《群與量子力學的理論》(TheTheoryofGroupsandQuantumMechanics)中就使用了這一名詞。一個抽象的希爾伯特空間中的元素往往被稱為向量。在實際應用中,它可能代表了一列復數(shù)或是一個函數(shù)。例如在量子力學中,一個物理系統(tǒng)可以表示為一個復希爾伯特空間,其中的向量是描述系統(tǒng)可能狀態(tài)的波函數(shù)。詳細...
· 羅伯托·希爾伯特
外部鏈接fussballdaten.de:RobertoHilbert之統(tǒng)計數(shù)據(jù)(德文)羅伯托·希爾伯特于土耳其足球超級聯(lián)賽統(tǒng)計資料
· 希爾伯特是哪國人德國著名數(shù)學家希爾伯特簡介
希爾伯特是哪國人?希爾伯特是德國人,他于一八六二年出生,一九四二年逝世。懂一些歷史的人都知道,在希爾伯特生命的后半程中,同一國的希特勒為了拓展德意志的生存空間正活躍在歷史的舞臺上。但是希爾伯特的精神與希爾伯特是哪國人并不相沖突,并不是每一個日耳曼民族人民都認同納粹首領的做法。希爾伯特照片希爾伯特是一個正直的科學家,在一戰(zhàn)前夕,他拒絕在德國政府為了欺騙宣傳而發(fā)表的《告文明世界書》上簽字。在戰(zhàn)爭期間,他也敢悼念敵國的數(shù)學家,對政府毫無畏懼。希特勒上臺以后,他上書斥責納粹政府的反猶政策、反對他們猶太科學家。但他的反對終究是無用功,因為納粹的日益強大,阿根廷大學好不容易組建成并盛極一時的學派最終還是沒有免于衰敗,希爾伯特也在孤獨中離世。希爾伯特的正直不單單體現(xiàn)在這個方面,他還對有著學識的女青年非常賞識,無視當年歧視女性的風氣,啟用了女性講師。他的這種行為受到了許多歷史學教授和語言學教授的反對,但他...
· 希爾伯特的23個問題
問題解決進度以下列出希爾伯特的23個問題:參閱大衛(wèi)·希爾伯特國際數(shù)學家大會千禧年大獎難題(MillenniumPrizeProblems)斯梅爾問題文獻Gray,JeremyJ.TheHilbertChallenge.OxfordUniversityPress.2000.ISBN0-19-850651-1.Yandell,BenjaminH.TheHonorsClass.Hilbert"sProblemsandTheirSolvers.AKPeters.2002.ISBN1-56881-141-1.Thiele,Rüdiger.OnHilbertandhistwenty-fourproblems.(編)VanBrummelen,Glen.Mathematicsandthehistorian’scraft.TheKennethO.MayLectures.CMSBooksinMathemati...
關于我們
關注族譜網(wǎng) 微信公眾號,每日及時查看相關推薦,訂閱互動等。
APP下載
下載族譜APP 微信公眾號,每日及時查看
掃一掃添加客服微信
{{item.userName}} 舉報
{{item.time}} {{item.replyListShow ? '收起' : '展開'}}評論 {{curReplyId == item.id ? '取消回復' : '回復'}}
{{_reply.userName}} 舉報
{{_reply.time}}