結城浩(作者)
生於1963年。日本知名技術作傢和程序員。在編程語言、設計模式、數學、加密技術等領域,編寫瞭很多深受歡迎的入門書。代錶作有《數學女孩》係列、《程序員的數學》、《圖解密碼技術》等。
作者主頁:http://www.hyuki.com
《數學女孩》係列以小說的形式展開,重點描述一群年輕人探尋數學中的美。內容由淺入深,數學講解部分十分精妙,被稱為“絕贊的數學科普書”。
《數學女孩3:哥德爾不完備定理》有許多巧思。每一章針對不同議題進行解說,再於最後一章切入正題——哥德爾不完備定理。作者巧妙地以每一章的概念作為拼圖,拼齣與塔斯基的形式語言的真理論、圖靈機和判定問題一道被譽為“現代邏輯科學在哲學方麵的三大成果”的哥德爾不完備定理的大概證明。整本書一氣嗬成,非常適閤對數學感興趣的初高中生以及成人閱讀。
##作者是依據哥德爾論文的證明思路來講故事和數學的),不是純粹的人文聯想。缺點可能是,這東西還是步驟多瞭一點。 // 這是要從數學女話變異到程序員女孩瞭嗎
評分##【已存櫃】 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)…” 另參見:https://m.ituring.com.cn/book/1859/errata
評分##已經跟不上瞭
評分 評分 評分##【已存櫃】 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)…” 另參見:https://m.ituring.com.cn/book/1859/errata
評分本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等
© 2025 book.tinynews.org All Rights Reserved. 静思书屋 版权所有