Lambda the Ultimate

inactiveTopic Algorithmic Theories of Everything
started 1/28/2001; 2:26:42 AM - last post 1/29/2001; 3:25:41 AM
andrew cooke - Algorithmic Theories of Everything  blueArrow
1/28/2001; 2:26:42 AM (reads: 2017, responses: 5)
Algorithmic Theories of Everything
Not related to any particular language, but concerned with exploring limits to computable functions, I thought this might interest people here.

The author's homepage also includes some lighter links.

For an introduction to this work see this post.

From computists.
Posted to theory by andrew cooke on 1/28/01; 2:27:38 AM

andrew cooke - Re: Algorithmic Theories of Everything  blueArrow
1/28/2001; 2:30:18 AM (reads: 1352, responses: 0)
Site bug?: I posted this to the theory category, but unlike Chris's earlier posts to other categories, the theory in the small print under the post is not a link...

Ehud Lamm - Re: Algorithmic Theories of Everything  blueArrow
1/28/2001; 3:26:29 AM (reads: 1358, responses: 0)
I fixed that a couple of seconds ago. Notice that this linking is done using the shortcuts feature here. It can help you out: you canuse it to reduce typing. For example I can use EOPL in quotes and get a link. You can check ti out, and add useful things.

Ehud Lamm - Re: Algorithmic Theories of Everything  blueArrow
1/29/2001; 1:03:55 AM (reads: 1347, responses: 0)
I might mention that Gellman's book The Quark and the Jaguar discusses AIT (Algorithmic Information Theory) a bit. It is not a great book, by any standard, but it is tolerable.

Chaitin's work is fascinating, and highly important (esp. if you are an info-theory buff like myself), so I highly recommend checking it out. Chaitin himself wrote some popular essays, and I seem to recall a Martin Gardner piece about AIT in one of his numerous (and great) collections.

Now please, someone, rescue us, and give some links to information theory+language links...

andrew cooke - Re: Algorithmic Theories of Everything  blueArrow
1/29/2001; 1:12:39 AM (reads: 1329, responses: 0)
[Sorry, I know it was a bit off-topic; my original Chaitin post was connected with a Lisp interpreter, and then this one seemed to be connected...]

Ehud Lamm - Re: Algorithmic Theories of Everything  blueArrow
1/29/2001; 3:25:41 AM (reads: 1343, responses: 0)
Interesting stuuf is always welcome...