onetechmonkey.com
If a million monkeys were to type on a million typewriters, would one of them produce Hamlet? That’s the boring question. The intresting one is what would they produce the rest of the time…
-
Lessons in Language Design II
Posted on July 3rd, 2008 1 commentAll languages are basically lisp, which is basically a notational structure for lambda calculus. More like Chomsky’s universal grammar.
Now the question is: what are the fundamental axioms and theoroms of lambda calculus that are necessary and in themselves sufficient for Turing completeness.One response to “Lessons in Language Design II”
-
[...] public links >> lambdacalculus Lessons in Language Design II Saved by liguian on Fri 03-4-2009 Haskell and Category Theory : Currying Saved by mapiec on Tue [...]
Leave a reply
-
