https://github.com/poppingtonic/chaitin-ait
Implementation of Chaitin's Lisp from 1995's The Limits of Mathematics -- Tutorial Version https://arxiv.org/abs/chao-dyn/9509010
https://github.com/poppingtonic/chaitin-ait
c chaitin information-theory lisp-interpreter
Last synced: 3 months ago
JSON representation
Implementation of Chaitin's Lisp from 1995's The Limits of Mathematics -- Tutorial Version https://arxiv.org/abs/chao-dyn/9509010
- Host: GitHub
- URL: https://github.com/poppingtonic/chaitin-ait
- Owner: poppingtonic
- Created: 2022-06-16T17:07:25.000Z (about 3 years ago)
- Default Branch: main
- Last Pushed: 2024-01-02T14:42:04.000Z (over 1 year ago)
- Last Synced: 2025-01-27T09:43:54.038Z (5 months ago)
- Topics: c, chaitin, information-theory, lisp-interpreter
- Language: C
- Homepage:
- Size: 20.5 KB
- Stars: 4
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Chaitin-AIT
An implementation of [Gregory Chaitin](https://en.wikipedia.org/wiki/Gregory_Chaitin)'s implementation of Lisp, written to explore and try to understand his [theorems on Algorithmic Information Theory](https://arxiv.org/abs/chao-dyn/9509010).
# 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 [email protected]