|
|
|
結城浩，日本資深技術作家和程序員。二十年來筆耕不輟，在編程語言、設計模式、數學、密碼技術等領域，編寫著作三十余本。代表作有《數學女孩》系列、《程序員的數學》等。這本《數學女孩》系列以小說的形式展開，重點描述一群年輕人探尋數學中的美。內容由淺入深，數學講解部分十分精妙，被稱為「絕贊的數學科普書」。《數學女孩3：哥德爾不完備定理》每一章針對不同議題進行解說，再於最后一章切入正題——哥德爾不完備定理。作者巧妙地以每一章的概念作為拼圖，拼出與塔斯基的形式語言的真理論、圖靈機和判定問題一道被譽為「現代邏輯科學在哲學方面的三大成果」的哥德爾不完備定理的大概證明。
