The Undecidable 在線電子書 圖書標籤: 數學
發表於2024-09-07
The Undecidable 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
An anthology of fundamental papers on undecidability and unsolvability, this classic reference opens with Godel's landmark 1931 paper demonstrating that systems of logic cannot admit proofs of all true assertions of arithmetic. Subsequent papers by Godel, Church, Turing, and Post single out the class of recursive functions as computable by finite algorithms. 1965 edition.
評分
評分
評分
評分
The Undecidable 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024