Skip to content

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

Notifications You must be signed in to change notification settings

poppingtonic/chaitin-ait

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

3 Commits
 
 
 
 

Repository files navigation

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 chaitin@watson.ibm.com

About

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

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published