結城浩(作者)
生於1963年。日本知名技術作傢和程序員。在編程語言、設計模式、數學、加密技術等領域,編寫瞭很多深受歡迎的入門書。代錶作有《數學女孩》係列、《程序員的數學》、《圖解密碼技術》等。
作者主頁:http://www.hyuki.com
《數學女孩》係列以小說的形式展開,重點描述一群年輕人探尋數學中的美。內容由淺入深,數學講解部分十分精妙,被稱為“絕贊的數學科普書”。
《數學女孩3:哥德爾不完備定理》有許多巧思。每一章針對不同議題進行解說,再於最後一章切入正題——哥德爾不完備定理。作者巧妙地以每一章的概念作為拼圖,拼齣與塔斯基的形式語言的真理論、圖靈機和判定問題一道被譽為“現代邏輯科學在哲學方麵的三大成果”的哥德爾不完備定理的大概證明。整本書一氣嗬成,非常適閤對數學感興趣的初高中生以及成人閱讀。
發表於2024-05-14
數學女孩3 2024 pdf epub mobi 電子書 下載
雖然是科普書,但沒有純談數理邏輯的演化史,從概念齣發,到推理結束,一環裹一環,像不斷裹挾上升的浪花,看得非常過癮。裏麵主體講的是數理邏輯,還講瞭一小些極限、連續、正餘弦函數(並不知道為什麼插入這些內容)。 可以瞥見,數理邏輯是計算機軟件的雛形和基礎,尤其是從...
評分雖然是科普書,但沒有純談數理邏輯的演化史,從概念齣發,到推理結束,一環裹一環,像不斷裹挾上升的浪花,看得非常過癮。裏麵主體講的是數理邏輯,還講瞭一小些極限、連續、正餘弦函數(並不知道為什麼插入這些內容)。 可以瞥見,數理邏輯是計算機軟件的雛形和基礎,尤其是從...
評分雖然是科普書,但沒有純談數理邏輯的演化史,從概念齣發,到推理結束,一環裹一環,像不斷裹挾上升的浪花,看得非常過癮。裏麵主體講的是數理邏輯,還講瞭一小些極限、連續、正餘弦函數(並不知道為什麼插入這些內容)。 可以瞥見,數理邏輯是計算機軟件的雛形和基礎,尤其是從...
評分雖然是科普書,但沒有純談數理邏輯的演化史,從概念齣發,到推理結束,一環裹一環,像不斷裹挾上升的浪花,看得非常過癮。裏麵主體講的是數理邏輯,還講瞭一小些極限、連續、正餘弦函數(並不知道為什麼插入這些內容)。 可以瞥見,數理邏輯是計算機軟件的雛形和基礎,尤其是從...
評分雖然是科普書,但沒有純談數理邏輯的演化史,從概念齣發,到推理結束,一環裹一環,像不斷裹挾上升的浪花,看得非常過癮。裏麵主體講的是數理邏輯,還講瞭一小些極限、連續、正餘弦函數(並不知道為什麼插入這些內容)。 可以瞥見,數理邏輯是計算機軟件的雛形和基礎,尤其是從...
圖書標籤: 數學 科普 日本 小說 結城浩 圖靈新知 邏輯學 文學
很喜歡這個係列。雖然是小說式的數學科普書,但難度跨度之大讓我有點接受不瞭。尤其是第十章的定理證明,邏輯雖在但極緻燒腦,放棄理解下去瞭。不過ε-δ語言講得夠透徹,基礎的數理邏輯知識也能接受。
評分【已存櫃】 p359定義37“…IsBoundAt(w,n,t)”根據哥德爾原論文的英譯版(Godel,Collected Works,V1,Oxford,1986,p169)(w Geb n,y)或應改為“…IsBoundAt(w,n,y)” p360定義40“…IsVarType(u,n+1)∧IsVarType(u,n)…”根據前文內涵公理的形式及下文或應改為“…IsVarType(u,n+1)∧IsVarType(v,n)…”
評分斷斷續續大半年, 終於看完瞭.「選聰明的還是選可愛」這個世紀難題還是沒揭開, 不會又是喜聞樂見的套路吧. 不過在我舒一口氣的同時: 中文版隻齣到瞭 3, 日文原版齣到瞭 6, 而且還沒完結!
評分【已存櫃】 p359定義37“…IsBoundAt(w,n,t)”根據哥德爾原論文的英譯版(Godel,Collected Works,V1,Oxford,1986,p169)(w Geb n,y)或應改為“…IsBoundAt(w,n,y)” p360定義40“…IsVarType(u,n+1)∧IsVarType(u,n)…”根據前文內涵公理的形式及下文或應改為“…IsVarType(u,n+1)∧IsVarType(v,n)…”
評分【已存櫃】 p359定義37“…IsBoundAt(w,n,t)”根據哥德爾原論文的英譯版(Godel,Collected Works,V1,Oxford,1986,p169)(w Geb n,y)或應改為“…IsBoundAt(w,n,y)” p360定義40“…IsVarType(u,n+1)∧IsVarType(u,n)…”根據前文內涵公理的形式及下文或應改為“…IsVarType(u,n+1)∧IsVarType(v,n)…”
數學女孩3 2024 pdf epub mobi 電子書 下載