构造性分析基础
Foundations of Constructive Analysis
Errett Bishop, Michael Beeson
- 2次提及
- 1人推荐
- 2位 HN 评论者
Hacker News 读者推荐
……解决停机问题。这是不可能完成的。事实证明柯西序列的表现更好，而且（稍微做点计算改进）你就能搞定很多事情。详情参见 Bishop 的书《Foundations of Constructive Analysis》。
black_knight 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 4871877140
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。