豆瓣
扫码直接下载
曾经被Alonzo Church和Kleene吸引，后来意识到他们做到了罗素所谓的把1=1说得无比复杂，却无助于引发思考或解决一些问题。Lambda Calculus带动的其实是更多凭职称之作，包括那个什么linear logic。
因为需要补点Cantor--Hilbert的逻辑史所以找来看，发现看数学家写的数学哲学真的很难follow，事实证明要了解前因后果还是读哲学家作品；可惜我花在part I上的脑细胞终究是错付了……
> Introduction to Metamathematics
0 有用 ifnoproc 2021-12-24 14:17:09
曾经被Alonzo Church和Kleene吸引，后来意识到他们做到了罗素所谓的把1=1说得无比复杂，却无助于引发思考或解决一些问题。Lambda Calculus带动的其实是更多凭职称之作，包括那个什么linear logic。
0 有用 Joan 2021-02-13 11:15:23
因为需要补点Cantor--Hilbert的逻辑史所以找来看，发现看数学家写的数学哲学真的很难follow，事实证明要了解前因后果还是读哲学家作品；可惜我花在part I上的脑细胞终究是错付了……