……常数），我推荐 Chaitin 的书《Meta Math: The Quest for Omega》[1]。一本引人入胜的书。Chaitin 还把这本书的全文（pdf）上传到了 Arxiv.org [2]。[1] http://www.amazon.co.uk/Meta-Maths-Gregory-J-Chaitin/dp/1843... [2] http://arxiv.org/abs/math/0404335
…constant) I'd recommend Chaitin's book Meta Math: The Quest for Omega [1]. A fascinating book. Chaitin has also uploaded the full text (pdf) of the book to Arxiv.org [2]. [1] http://www.amazon.co.uk/Meta-Maths-Gregory-J-Chaitin/dp/1843... [2] http://arxiv.org/abs/math/0404335
绝对的。我推荐他的书《Meta Math: The Quest for Omega》[1]。他把全书全文发在了 arXiv 上 [2]。[1] https://www.amazon.co.uk/Meta-Maths-Gregory-J-Chaitin/dp/184... [2] http://arxiv.org/abs/math/0404335
Definitely. I'd recommend his book Meta Math: The Quest for Omega [1]. He posted the full text of the book on arXiv [2]. [1] https://www.amazon.co.uk/Meta-Maths-Gregory-J-Chaitin/dp/184... [2] http://arxiv.org/abs/math/0404335
我查了一下 NEST，是用 C++ 和 Python 写的。什么，竟然没有 LISP？每次我听到讨论 AI 时，LISP 出场率都蛮高的。在 Greg Chaitin 的书《Meta Maths: The Quest for Omega》中，他提到 Kurt Godel 的工作里有一种记号，诡异地神似 LISP 代码。但在另一方面，他把图灵的代码思想比作更类似于……
I looked up NEST, written in C++ with Python. What, no LISP? When I hear AI being discussed LISP comes up fairly often. In the book "Meta Maths: The Quest for Omega" by Greg Chaitin, he mentions that Kurt Godel's work had a notation that was uncannily similar to LISP code. On the other paw he compares Turing's idea of code as something more akin…
……常数），我推荐 Chaitin 的书《Meta Math: The Quest for Omega》[1]。一本引人入胜的书。Chaitin 还把这本书的全文（pdf）上传到了 Arxiv.org [2]。[1] http://www.amazon.co.uk/Meta-Maths-Gregory-J-Chaitin/dp/1843... [2] http://arxiv.org/abs/math/0404335
…constant) I'd recommend Chaitin's book Meta Math: The Quest for Omega [1]. A fascinating book. Chaitin has also uploaded the full text (pdf) of the book to Arxiv.org [2]. [1] http://www.amazon.co.uk/Meta-Maths-Gregory-J-Chaitin/dp/1843... [2] http://arxiv.org/abs/math/0404335
绝对的。我推荐他的书《Meta Math: The Quest for Omega》[1]。他把全书全文发在了 arXiv 上 [2]。[1] https://www.amazon.co.uk/Meta-Maths-Gregory-J-Chaitin/dp/184... [2] http://arxiv.org/abs/math/0404335
Definitely. I'd recommend his book Meta Math: The Quest for Omega [1]. He posted the full text of the book on arXiv [2]. [1] https://www.amazon.co.uk/Meta-Maths-Gregory-J-Chaitin/dp/184... [2] http://arxiv.org/abs/math/0404335
我查了一下 NEST，是用 C++ 和 Python 写的。什么，竟然没有 LISP？每次我听到讨论 AI 时，LISP 出场率都蛮高的。在 Greg Chaitin 的书《Meta Maths: The Quest for Omega》中，他提到 Kurt Godel 的工作里有一种记号，诡异地神似 LISP 代码。但在另一方面，他把图灵的代码思想比作更类似于……
I looked up NEST, written in C++ with Python. What, no LISP? When I hear AI being discussed LISP comes up fairly often. In the book "Meta Maths: The Quest for Omega" by Greg Chaitin, he mentions that Kurt Godel's work had a notation that was uncannily similar to LISP code. On the other paw he compares Turing's idea of code as something more akin…