https://github.com/mew-cx/chaitin_lisp

Runnable code from Chaitin's "The Limits of Mathematics (in C)"
https://github.com/mew-cx/chaitin_lisp

c chaitin lisp

Last synced: 14 days ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/mew-cx/chaitin_lisp
• Owner: mew-cx
• Created: 2017-08-31T17:38:25.000Z (about 7 years ago)
• Default Branch: master
• Last Pushed: 2022-09-01T21:55:40.000Z (about 2 years ago)
• Last Synced: 2024-08-01T17:22:48.326Z (3 months ago)
• Topics: c, chaitin, lisp
• Language: Common Lisp
• Homepage:
• Size: 197 KB
• Stars: 13
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# 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