poppingtonic / chaitin-ait

Implementation of Chaitin's Lisp from 1995's The Limits of Mathematics -- Tutorial Version https://arxiv.org/abs/chao-dyn/9509010

Chaitin-AIT

An implementation of Gregory Chaitin's implementation of Lisp, written to explore and try to understand his theorems on Algorithmic Information Theory.

Build

git clone https://github.com/poppingtonic/chaitin-ait.git
cd chaitin-ait/src
gcc -o lisp lisp.c
./lisp
lisp.c

Chaitin LISP Interpreter Running

lisp> 

Happy hacking!

Usage

Read Gregory Chaitin's The Limits of Mathematics (Tutorial Version) https://arxiv.org/abs/chao-dyn/9509010

Thank you for checking this project out! Because I don't have time to transcribe at the time I'm publishing this, I ask for your assistance in documenting your experiences or challenges if you're reading the tutorial and this project interests you.

All bugs are my own, all credit goes to Gregory Chaitin for the smartness in this code.

From the tutorial: All enquires, comments and suggestions regarding this software should be sent via e-mail to [e-mail]