复杂性与真实计算
Complexity and real computation
Lenore Blum · 初版 1998 年
- 4次提及
- 2人推荐
- 2位 HN 评论者
简介
经典计算理论源自 Goedel、Turing、Church 和 Kleene 的开创性工作，一直是理论计算机科学极为成功的基石框架。然而本书的核心论点指出，对于大多数算法都基于实数的现代科学计算而言，这一框架所提供的基础并不充分。本书旨在建立一套形式化的计算理论，将经典理论的主要脉络融汇其中，并使其更直接地适用于数学、数值分析及科学计算中的各类问题。沿着这
Hacker News 读者推荐
去了解一下 Lenore Blum 的成果吧。她写过一本书叫《Complexity and Real Computation》。
adamnemecek 在 HN 的推荐
扩展阿兰·图灵-丘奇论题（extended Church-Turing thesis）指出，模拟计算机可以在图灵机上被模拟。确实可以，但效率不高。去看看 Lenore Blum 的工作吧。她写了一本书叫《Complexity and Real Computation》。
adamnemecek 在 HN 的推荐
……它并不适用于图灵机模型，而图灵机正是大多数人听到 P vs NP 时脑海里浮现的东西。90 年代有一本关于 BSS 模型的极好、而且在数学上很易读的书：由 Lenore Blum、Felipe Cucker、Michael Shub 和 Steve Smale 合著的《Complexity and Real Computation》。我本来以为这会开辟出一个庞大的领域，但不知道后来有没有什么大动静。另见：https://en.wikipedia.org/wiki/Blum%E2%80%93Shub%E2%80%93Smal...
throwaway81523 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 0387982817
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。