《計算進化史 改變數(shù)學的命運》讀書筆記思維導圖_第1頁
《計算進化史 改變數(shù)學的命運》讀書筆記思維導圖_第2頁
《計算進化史 改變數(shù)學的命運》讀書筆記思維導圖_第3頁
《計算進化史 改變數(shù)學的命運》讀書筆記思維導圖_第4頁
《計算進化史 改變數(shù)學的命運》讀書筆記思維導圖_第5頁
已閱讀5頁，還剩15頁未讀， 繼續(xù)免費閱讀

下載本文檔

版權(quán)說明：本文檔由用戶提供并上傳，收益歸屬內(nèi)容提供方，若內(nèi)容存在侵權(quán)，請進行舉報或認領(lǐng)

文檔簡介

思維導圖PPT模板《計算進化史改變數(shù)學的命運》最新版讀書筆記，下載可以直接修改數(shù)學第章判定性自然科學算法革命數(shù)字定義希臘含義世紀版權(quán)詞命題問題邏輯謂詞規(guī)則對象本書關(guān)鍵字分析思維導圖01內(nèi)容簡介前言數(shù)學踏上新的征程第二篇古典時代致詞第一篇古老的起源第三篇公理化危機目錄030502040607附錄一人物簡介索引附錄二參考文獻看完了目錄0908010內(nèi)容摘要本書從計算的變遷這一獨特視角回顧了數(shù)學、邏輯學和哲學的歷史沿革，展現(xiàn)了計算為數(shù)學研究發(fā)展帶來的全新前景，展望了這場數(shù)學革命在自然科學、信息科學與哲學領(lǐng)域引發(fā)的重大變革。內(nèi)容簡介哲學家們正是這樣定義了“含義”一詞的含義：一個詞的含義就是與該詞相關(guān)的所有真命題的集合。致詞一個命題按照定義就必然為真的判斷，就是康德所謂的“分析判斷”。前言數(shù)學踏上新的征程相反，若一個命題為真，卻不是由于定義，則稱之為“綜合判斷”。第一篇古老的起源在公元前5世紀的希臘發(fā)生的這場從計算到推理的轉(zhuǎn)變，被視為數(shù)學的誕生。第2章計算兩千年第1章從史前數(shù)學到希臘數(shù)學第一篇古老的起源第二篇古典時代公元前5世紀的重大革命，就是抽象的數(shù)學對象與自然中的實際物體之間的分離，即使數(shù)學對象本身就是從實際物體中抽象出來的也不例外。第3章謂詞邏輯第4章判定性問題與丘奇定理第5章丘奇論題第6章為計算樹立數(shù)學地位的嘗試——λ演...第7章構(gòu)造性第8章構(gòu)造性證明與算法010302040506第二篇古典時代第三篇公理化危機一組計算規(guī)則想要成為一個算法，就必須具有另外一些性質(zhì)，能夠保證這組規(guī)則經(jīng)過有限步驟后總能得出一個結(jié)果，也稱為“停機”。第9章直覺主義類型論第10章自動化證明第11章證明檢驗第12章學界新進展第三篇公理化危機第13章工具結(jié)語旅程的尾聲第14章公理的終結(jié)？第三篇公理化危機附錄一人物簡介畢達哥拉斯創(chuàng)立了算術(shù)，泰勒斯和阿那克西曼德創(chuàng)立了幾何，奠定了古代數(shù)學的兩大分支弗雷格由此提出，推理的作用在于把數(shù)學概念的定義中隱藏的東西明確地展現(xiàn)出來。附錄二參考文獻把有限的不同符號組合成無限個符號，用來表示數(shù)字。索引也就是說，不是創(chuàng)造一組詞匯，而是發(fā)明一套語法——這就是一門語言了。看完了1936年，阿隆佐·丘

溫馨提示

  • 1. 本站所有資源如無特殊說明，都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等，如果需要附件，請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙，網(wǎng)頁內(nèi)容里面會有圖紙預覽，若沒有圖紙預覽就沒有圖紙。
  • 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
  • 5. 人人文庫網(wǎng)僅提供信息存儲空間，僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理，對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯，并不能對任何下載內(nèi)容負責。
  • 6. 下載文件中如有侵權(quán)或不適當內(nèi)容，請與我們聯(lián)系，我們立即糾正。
  • 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

最新文檔

評論

0/150

提交評論