數學女孩3

數學女孩3 pdf epub mobi txt 電子書 下載 2025

[日] 結城浩 丁靈
想要找書就要到 靜思書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!
2017-11 平裝 9787115469915

具體描述

結城浩(作者)

生於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

評分

評分

##最關鍵的一章知識密度太大。定義和命題多到讓人想跳過不看。內容太過硬核以至於包瞭糖衣也咽不下去。本書關於數學中的不完備定理,說不定也指人生的不完備。比如年少時的摯友總要分崩離析、麯終人散。而自己和一些朋友談不到一處去,免不瞭分道揚鑣。

本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

© 2025 book.tinynews.org All Rights Reserved. 静思书屋 版权所有