CONTENTS
1. A Hundred Years of Controversy Regarding the Foundations of Mathematics
2. LISP: A Formalism for Expressing Mathematical Algorithms
3. Gödel's Proof of his Incompleteness Theorem
4. Turing's Proof of the Unsolvability of the Halting Problem
5. My Proof that You Can't Show that a LISP Expression is Elegant
6. Information & Randomness: A Survey of Algorithmic Information Theory
7. Mathematics in the Third Millennium?
8. Bibliography
An excellent example of how a good idea can be spoiled. After removing parentheses an author has to comment every(!) line of a source code... otherwise everything is completely confusing.
Running over it, I started to mess about just on the phrase
[is set empty?]The first thought is... aha it's usual thing - besides parenthesis we add square brackets for easing of understanding. I.e. after translating to human language we get:
(define (is v p)
(p v))
(define empty? null?)
(is set empty?)
Oops... it turned out it was just a comment. Further it's getting worse huge sconses instead of one call of list, strange "'.
For educational purposes Lisp-1 can be used resolutely, and functions and usual variables may not be separated.
No comments:
Post a Comment