Meta maths

What Hacker News says

1. andyjohnson0Aug 2013
   For a deep look at Omega (Chaitin's 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

   thread
2. andyjohnson0Aug 2013
   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

   thread
3. NAFV_PJan 2014
   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 to machine code.

   thread