/chaitin_lisp

Runnable code from Chaitin's "The Limits of Mathematics (in C)"

Primary LanguageCommon Lisp

README

Buildable/runnable code with examples, based on The Limits of Mathematics (in C) by G.J. Chaitin

A local mirror of the paper is in the pdf/ directory, copied from the upstream at https://arxiv.org/abs/chao-dyn/9404003v1