Hello there, Did you know of a general purpose evolutionary programming system known as ADATE which is designed for automatic programming of non-trivial...
Greetings fellow theoreticians, Can you think of a test to empirically verify whether a physical machine is a LISP machine or not? Cordially, PS: ai-philosophy...
With regards to: http://www.ditext.com/popper/lbp.html The model of naming relation he criticizes is the only one we can construct. Therefore, Popper is merely...
Greetings, A human can evaluate LISP expressions. In my opinion, this is amazing! How can humans do that at all? The hard problem is not what kind of hardware...
Hi Eray & all, some simple but strong arguments towards the contrary can be found in the paper "Odd thoughts on algorithmic complexity" from Germano D'Abramo,...
Greetings, ... I am not confident in all the arguments presented in the paper. The author seems to mix up notions of minimal program size and program size. In...
... found in ... program size. I've asked the author for comments / clarification. [...snip...] ... to the ... number ... 40posting.google.com&rnum=1 So good...
[For those who haven't followed up, we are talking about an algorithmic information theory (AIT) paper on arxiv which has implications for AI. The author says...
Hello there, Germano D'Abramo has joined our group, he is the author of the paper with information theoretic arguments that seem to rule out the possibility of...
... Also of interest is this news item on cognews.com: http://cognews.com/1088453031/index_html The researchers have identified activity in the right...
Eray, Forgive my ignorance, Please provide the relatively basic tent-poll issues of a "mathematical argument that runs counter to AI." Further, I do not...
... a "mathematical argument that runs counter to AI." Further, I do not understand the logic of running counter (in the opposite direction?) to the end goal...
[some more thoughts on elegant languages] On Tuesday 18 May 2004 13:29, Eray Ozkural wrote: ... Forget my above approximation for a moment, since there are...
More comments on why Raatikainen's criticism of Chaitin is fundamentally wrong. ... Subject: Re: Raatikainen's Complexity Complex Date: Thursday 15 July 2004...
Jisperanza enlightens us about elegant languages with his ever interesting quotes. ... Subject: Re: [analytic] Elegant languages Date: Wednesday 14 July 2004...
... Terseness was something that I tried to formalize in a previous post, using average compressed length (Kolmogorov complexity) with respect to a specific ...
... [...snip...] ... length of ... all ... definition ... the ... Interesting. How would a generator+AI tell that sentences of plain good old logic (say:...
... It would not be easy. It would require the AI to know a good deal about human culture, and the present context, make reliable inferences from this ...
I saw this news item on slashdot, interesting application. Once IBM was using an expert system for memory management (in OS/400 IIRC). Who knows, perhaps with...
Hello there, On sci.physics.discrete, I was given some valuable information about the new concept of amorphous computing. I think this will be of interest to...
Hello Members, I'm a third year philosophy student at UC Davis and this place is right up my alley; Lots of interesting stuff and a great inside track on...
... Hello Jack, it's nice to see people genuinely interested in philosophy of mind. First, I will recommend you the excellent introductory book by Tim Crane: ...
A draft of this is available online at: http://www.wolfson.ox.ac.uk/~floridi/readings/foundations%20of% 20computing.pdf Modestly titled, "Foundations of...
... I kind of agree with this point of view, but I think I wildly disagree with both Smith and Sloman on the issue (it would certainly be splendid to hear ...
Hi everyone, I have been a silent observer of this group for a while, but not really had the time (or the background) to contribute to the discussion so far....
Having problems with message search?
Fill out this form to ensure your group is one of the first to be migrated to the new message search system.
