| 查看: 184 | 回复: 0 | |||
| 当前主题已经存档。 | |||
[交流]
【转贴】书讯一则：《可计算性－可计算函数、逻辑与数学基础》【已搜无重复】
|
|||
|
为大家带来一则新书书讯： 《可计算性：可计算函数、逻辑与数学基础》（第三版）即将出版，新书分为纸质版与电子版两种。有兴趣的虫友不妨一阅。 "Computability: Computable Functions, Logic, and the Foundations of Mathematics" Authors: Richard L. Epstein and Walter Carnielli Publisher: Advanced Reasoning Forum, 2008 *3rd. Edition* " Now in a new edition --the classic presentation of the theory of computable functions in the context of the foundations of mathematics. Part I motivates the study of computability with discussions and readings about the crisis in the foundations of mathematics in the early 20th century while presenting the basic ideas of whole number, function, proof, and real number. Part II starts with readings from Turing and Post leading to the formal theory of recursive functions. Part III presents sufficient formal logic to give a full development of Gdel's incompleteness theorems. Part IV considers the significance of the technical work with a discussion of Church's Thesis and readings on the foundations of mathematics. This new edition contains the timeline 'Computability and Undecidability' as well as the essay 'On Mathematics'. " Available from Powell's Books: Adobe Reader e-book format (Windows and Macintosh compatible): http://www.powells.com/cgi-bin/biblio?inkey=91-9780981550732-0 Hardcover: http://www.powells.com/biblio?isbn=978-0-9815507-2-5 Also available from Barnes & Noble. Prices are very reasonable, specially for the e-book version (around $15.00) [search]书讯 可计算性 函数 逻辑 数学[/search] [ Last edited by sinapdb on 2008-9-8 at 14:41 ] |
回复此楼» 猜你喜欢
售T0P一区SCI文章，我:8O5.51.O.54,科目齐全,可＋急
已经有4人回复
-
售T0P一区SCI文章，我:8O5.51.O.54,科目齐全,可＋急
已经有8人回复
-
售T0P一区SCI文章，我:8O5.51.O.54,科目齐全,可＋急
已经有6人回复
-
售T0P一区SCI文章，我:8O5.51.O.54,科目齐全,可＋急
已经有8人回复
-
售T0P一区SCI文章，我:8O5.51.O.54,科目齐全,可＋急
已经有7人回复
-
售T0P一区SCI文章，我:8O5.51.O.54,科目齐全,可＋急
已经有7人回复
-
售T0P一区SCI文章，我:8O5.51.O.54,科目齐全,可＋急
已经有6人回复
-
售T0P一区SCI文章，我:8O5.51.O.54,科目齐全,可＋急
已经有9人回复
-
售T0P一区SCI文章，我:8O5.51.O.54,科目齐全,可＋急
已经有11人回复
-
售T0P一区SCI文章，我:8O5.51.O.54,科目齐全,可＋急
已经有6人回复
5