17yr 皆是虚妄
cover

Book

数学.计算.逻辑
Douban
陆汝钤 1993 - 4
本书以计算机科学中的可计算性理论和计算复杂性理论为背景，以生活的比喻，介绍这一领域的基础知识和主要研究成果。

读过《数学.计算.逻辑》 🌕🌕🌕🌕🌕
上帝当然是个充满恶意的数学家，为了数学家用不失业，居然搞出哥德尔不完全性定理。