• NeoDB
  • Explore
  • Feed
  • Home
    • Scan barcode
    • Sign up or login
    • Preferences
7yr Atropos
cover

Book

计算进化史
Les métamorphoses du calcul Douban
★ 7.7 7 ratings
[法] 吉尔·多维克 translator: 劳佳 publishing house: 人民邮电出版社 2017 - 2
本书从计算的变迁这一独特视角回顾了数学、逻辑学和哲学的历史沿革,展现了计算为数学研究发展带来的全新前景,展望了这场数学革命在自然科学、信息科学与哲学领域引发的重大变革。

读过《计算进化史》 🌕🌕🌕🌑🌑
可计算性理论和构造性理论,直觉主义,构造主义。关于希尔伯特判定性问题(否定的丘奇定理)和四色定理并没怎么读懂,希望能了解得更多以补充。

Atropos
@Shrinkyu@neodb.social
18 following  ·  12 followers

互联网漂流中。



关注我们建议反馈站点公约 About API Apps
You are visiting an alternative domain for NeoDB, please always use original version if possible.