豆瓣
扫码直接下载
数学机械化历史，挺好玩
一切可计算的或可编程的都是机械的
凑单用的小书，skim读完后有小惊喜。数学机械化对我这种刻板无巧思之人还是有很大吸引力的。
数学机械化小史。
能对机械化证明的历史有所了解。
> 笛卡儿之梦（第二辑）
0 有用 塞西莉娅 2024-01-08 15:21:57 辽宁
数学机械化历史，挺好玩
0 有用 qxde01 2016-11-20 21:56:04
一切可计算的或可编程的都是机械的
0 有用 溥渊 2020-10-24 10:12:53
凑单用的小书，skim读完后有小惊喜。数学机械化对我这种刻板无巧思之人还是有很大吸引力的。
0 有用 永恒的贝多芬 2021-08-05 18:58:41
数学机械化小史。
0 有用 wondering 2022-02-15 13:41:04
能对机械化证明的历史有所了解。