I might be wrong but after reading some of the ADIOS papers I cannot
tell the difference between their approach and the common Bayesian
practice of looking at n-grams frequencies in computational
linguistics, often used (for instance by Google) for spell/grammar
checking, word/sentence
People interested on this thread subject might be interested to read a
paper we wrote some years ago published by World Scientific:
---
Hector Zenil, Francisco Hernandez-Quiroz, On the possible
Computational Power of the Human Mind, WORLDVIEWS, SCIENCE AND US,
edited by Carlos Gershenson
On Tue, Jun 17, 2008 at 5:58 PM, Abram Demski [EMAIL PROTECTED] wrote:
Hector Zenil,
I do not think I understand you. Your argument seems similar to the following:
I do not see why Turing machines are necessary. If we can compute a
function f(x) by some Turing machine, then we could
On Mon, Jun 16, 2008 at 5:34 PM, Abram Demski [EMAIL PROTECTED] wrote:
I previously posted here claiming that the human mind (and therefore
an ideal AGI) entertains uncomputable models, counter to the
AIXI/Solomonoff model. There was little enthusiasm about this idea. :)
Anyway, I hope I'm not
://www.listbox.com
---
agi
Archives: http://www.listbox.com/member/archive/303/=now
RSS Feed: http://www.listbox.com/member/archive/rss/303/
Modify Your Subscription: http://www.listbox.com/member/?;
Powered by Listbox: http://www.listbox.com
--
Hector Zenil
On Wed, Jul 2, 2008 at 1:30 PM, Abram Demski [EMAIL PROTECTED] wrote:
Hector Zenil said:
and that is one of the many issues of hypercomputation: each time one
comes up with a standard model of hypercomputation there is always
another not equivalent model of hypercomputation that computes
at 1:42 PM, Hector Zenil [EMAIL PROTECTED] wrote:
On Wed, Jul 2, 2008 at 1:30 PM, Abram Demski [EMAIL PROTECTED] wrote:
Hector Zenil said:
and that is one of the many issues of hypercomputation: each time one
comes up with a standard model of hypercomputation there is always
another
On Mon, Jul 7, 2008 at 5:44 PM, Linas Vepstas [EMAIL PROTECTED] wrote:
2008/7/2 Hector Zenil [EMAIL PROTECTED]:
Hypercomputational models basically pretend to take advantage from
either infinite time or infinite space (including models such as
infinite resources, Zeno machines or the Omega
can. As far as I can remember,
Stephen Wolfram himself asked John Conway how he came up with the Game of
Life, unfortunately John Conway seemed to say that he was not certain
anymore.
Hector Zenil
On Sat, Aug 2, 2008 at 10:21 PM, Ben Goertzel [EMAIL PROTECTED] wrote:
Well, there may have been
://www.listbox.com/member/archive/rss/303/ |
Modifyhttps://www.listbox.com/member/?;Your Subscription
http://www.listbox.com
--
Hector Zenil http://zenil.mathrix.org
---
agi
Archives: https://www.listbox.com/member/archive/303/=now
RSS Feed: https
Ben
--
*agi* | Archives https://www.listbox.com/member/archive/303/=now
https://www.listbox.com/member/archive/rss/303/ |
Modifyhttps://www.listbox.com/member/?;Your Subscription
http://www.listbox.com
--
Hector Zenil http://zenil.mathrix.org
://www.listbox.com
--
Hector Zenilhttp://www.mathrix.org
---
agi
Archives: https://www.listbox.com/member/archive/303/=now
RSS Feed: https://www.listbox.com/member/archive/rss/303/
Modify Your Subscription:
https://www.listbox.com
put in jeopardy by physical
reality.
So I don't find this argument very convincing...
On Sun, Nov 30, 2008 at 10:42 PM, Hector Zenil [EMAIL PROTECTED] wrote:
On Mon, Dec 1, 2008 at 3:09 AM, Ben Goertzel [EMAIL PROTECTED] wrote:
But quantum theory does appear to be directly related to limits
On Mon, Dec 1, 2008 at 4:53 AM, Hector Zenil [EMAIL PROTECTED] wrote:
On Mon, Dec 1, 2008 at 4:44 AM, Ben Goertzel [EMAIL PROTECTED] wrote:
OTOH, there is no possible real-world test to distinguish a true
random sequence from a high-algorithmic-information quasi-random
sequence
I know
functions than Turing
machines. There is a mathematical proof that the standard model of
quantum computation computes the same set of functions than Turing
machines.
ben g
On Sun, Nov 30, 2008 at 10:53 PM, Hector Zenil [EMAIL PROTECTED] wrote:
On Mon, Dec 1, 2008 at 4:44 AM, Ben Goertzel [EMAIL
computation as Turing computable has been put in jeopardy by physical
reality.
So I don't find this argument very convincing...
On Sun, Nov 30, 2008 at 10:42 PM, Hector Zenil [EMAIL PROTECTED] wrote:
On Mon, Dec 1, 2008 at 3:09 AM, Ben Goertzel [EMAIL PROTECTED] wrote:
But quantum theory does
On Mon, Dec 1, 2008 at 6:20 AM, Ben Goertzel [EMAIL PROTECTED] wrote:
On Sun, Nov 30, 2008 at 11:48 PM, Hector Zenil [EMAIL PROTECTED] wrote:
On Mon, Dec 1, 2008 at 4:55 AM, Ben Goertzel [EMAIL PROTECTED] wrote:
But I don't get your point at all, because the whole idea of
nondeterministic
universe, without requiring for its
representation more than an infinitesimal fraction of anything that could be
accurately called infinite.
Ed Porter
-Original Message-
From: Hector Zenil [mailto:[EMAIL PROTECTED]
Sent: Sunday, November 30, 2008 10:42 PM
To: agi@v2.listbox.com
if not in communicating the answer, so how does
such a system not¸ as you said
require to communicate, encode or decode any infinite value in order to
compute a non-computable function
even if only internally?
Ed Porter
-Original Message-
From: Hector Zenil [mailto:[EMAIL
hypercomputing, lies outside the
realm of science. However, I don't fall for the argument that X and Y
must be equal just because they're both outside the realm of
science...
-- Ben G
On Tue, Dec 2, 2008 at 6:54 PM, Hector Zenil [EMAIL PROTECTED] wrote:
Suppose that the gravitational constant
.
-- Groucho Marx
agi | Archives | Modify Your Subscription
--
Hector Zenilhttp://www.mathrix.org
---
agi
Archives: https://www.listbox.com/member/archive/303/=now
RSS Feed: https
?
thx
ben
On Tue, Dec 16, 2008 at 10:46 AM, Hector Zenil hzen...@gmail.com wrote:
If useful, my paper on http://arxiv.org/abs/cs.NE/0605065 has an
exhaustive bibliography up to 2005.
On Tue, Dec 16, 2008 at 4:03 PM, Ben Goertzel b...@goertzel.org wrote:
I'm considering writing a paper
of Research, SIAI
b...@goertzel.org
I intend to live forever, or die trying.
-- Groucho Marx
agi | Archives | Modify Your Subscription
--
Hector Zenilhttp://www.mathrix.org
---
agi
23 matches
Mail list logo
