On 8/24/2012 9:43 AM, Bruno Marchal wrote:
And those theorem are non constructive, meaning that in the world of inference inductive
machine, a machine capable of being wrong is already non computably more powerful than
an error prone machine.
There's something wrong with that sentence. An
On 8/24/2012 9:31 AM, Bruno Marchal wrote:
On 23 Aug 2012, at 15:12, benjayk wrote:
Quantum mechanics includes true subjective randomness already, so by your
own standards nothing that physically exists can be emulated.
That's QM+collapse, but the collapse is not well defined,
It is well
On 8/24/2012 12:02 PM, Bruno Marchal wrote:
As emulator (computing machine) Robinson Arithmetic can simulate
exactly Peano Arithmetic, even as a prover. So for example Robinson
arithmetic can prove that Peano arithmetic proves the consistency of
Robinson Arithmetic.
But you cannot conclude
claiming that a christian God with very particular properties exists).
--
View this message in context:
http://old.nabble.com/Simple-proof-that-our-intelligence-transcends-that-of-computers-tp34330236p34339323.html
Sent from the Everything List mailing list archive at Nabble.com.
--
You received
useful and quite accurate ones, though).
benjayk
--
View this message in context:
http://old.nabble.com/Simple-proof-that-our-intelligence-transcends-that-of-computers-tp34330236p34339455.html
Sent from the Everything List mailing list archive at Nabble.com.
--
You received this message because
is on the
ones claiming that a christian God with very particular properties exists).
--
View this message in context:
http://old.nabble.com/Simple-proof-that-our-intelligence-transcends-that-of-computers-tp34330236p34339323.html
Sent from the Everything List mailing list archive at Nabble.com
On Thu, Aug 23, 2012 at 8:52 AM, benjayk benjamin.jaku...@googlemail.comwrote:
Jason Resch-2 wrote:
On Wed, Aug 22, 2012 at 1:52 PM, benjayk
benjamin.jaku...@googlemail.comwrote:
Jason Resch-2 wrote:
On Wed, Aug 22, 2012 at 12:59 PM, benjayk
--
View this message in context:
http://old.nabble.com/Simple-proof-that-our-intelligence-transcends-that-of-computers-tp34330236p34340179.html
Sent from the Everything List mailing list archive at Nabble.com.
--
You received this message because you are subscribed to the Google Groups
On Wed, Aug 22, 2012 at 12:49 PM, benjayk
benjamin.jaku...@googlemail.comwrote:
'You won't be able to determine the truth of this statement by
programming a computer'
If true then you won't be able to determine the truth of this statement
PERIOD. Any limitation a computer has you have the
this message in context:
http://old.nabble.com/Simple-proof-that-our-intelligence-transcends-that-of-computers-tp34330236p34340683.html
Sent from the Everything List mailing list archive at Nabble.com.
--
You received this message because you are subscribed to the Google Groups
Everything List
,
will
it ever stop?
I don't know. This doesn't relate to whether it carries out the instructions
it is given at all.
benjayk
--
View this message in context:
http://old.nabble.com/Simple-proof-that-our-intelligence-transcends-that-of-computers-tp34330236p34340705.html
Sent from the Everything List
John Clark Aug 23 01:08PM -0400
We do things because of the laws of nature OR we do not do things
because
of the laws of nature, and if we do not then we are random.
The laws of nature are such that they demand that we do things
intentionally. This means
On Thu, Aug 23, 2012 at 2:35 PM, benjayk benjamin.jaku...@googlemail.comwrote:
OK, take the sentence:
'Not all sentences have unambigous truth values - by the way you won't be
able to determine that this sentence doesn't have a unambigous truth value
by using a computer '
OK, if I changed
On 8/23/2012 2:18 PM, benjayk wrote:
Jason Resch-2 wrote:
Each program has its own separate, non-overlapping, contiguous memory
space.
This may be true from your perspective, but if you actually run the UD it
just uses its own memory space.
What constitutes the memory space of the
On Thu, Aug 23, 2012 Craig Weinberg whatsons...@gmail.com wrote:
The laws of nature are such that they demand that we do things
intentionally. This means neither random nor completely determined
externally.
I see, you did it but you didn't do it for a reason and you didn't do it
for no
On 8/23/2012 4:53 PM, John Clark wrote:
On Thu, Aug 23, 2012 Craig Weinberg whatsons...@gmail.com
mailto:whatsons...@gmail.com wrote:
The laws of nature are such that they demand that we do things
intentionally. This means neither random nor completely determined
externally.
I
On Thu, Aug 23, 2012 at 11:11 AM, benjayk
benjamin.jaku...@googlemail.comwrote:
Jason Resch-2 wrote:
So what is your definition of computer, and what is your
evidence/reasoning
that you yourself are not contained in that definition?
There is no perfect definition of computer.
On Thu, Aug 23, 2012 at 1:18 PM, benjayk benjamin.jaku...@googlemail.comwrote:
Jason Resch-2 wrote:
Taking the universal dovetailer, it could really mean everything (or
nothing), just like the sentence You can interpret whatever you want
into
this sentence... or like the stuff that
Honestly I do not find the Gödel theorem a limitation for computers. I
think that Penrose and other did a right translation from the Gódel theorem
to a problem of a Turing machine,. But this translation can be done in a
different way.
It is possible to design a program that modify itself by
What Gödel discovered were that the set of true statements in mathematics,
(integer arithmetics) can not be demonstrated by a finite set of axioms.
And invented a way to discover axioms with means of an automatic procedure,
diagonalization, that the most basic interpreted program can perform. But
to invent him so everything
could function.
- Receiving the following content -
From: Stephen P. King
Receiver: everything-list
Time: 2012-08-21, 15:38:13
Subject: Re: Simple proof that our intelligence transcends that of computers
On 8/21/2012 1:35 PM, John Clark wrote:
On Tue, Aug 21
On 22 Aug 2012, at 00:26, benjayk wrote:
meekerdb wrote:
On 8/21/2012 2:52 PM, benjayk wrote:
meekerdb wrote:
On 8/21/2012 2:24 PM, benjayk wrote:
meekerdb wrote:
This sentence cannot be confirmed to be true by a human being.
The Computer
He might be right in saying that (See my
-
From: benjayk
Receiver: everything-list
Time: 2012-08-21, 18:26:33
Subject: Re: Simple proof that our intelligence transcends that of computers
meekerdb wrote:
On 8/21/2012 2:52 PM, benjayk wrote:
meekerdb wrote:
On 8/21/2012 2:24 PM, benjayk wrote:
meekerdb wrote:
This sentence cannot
: everything-list
Time: 2012-08-21, 18:08:08
Subject: Re: Simple proof that our intelligence transcends that of computers
On 8/21/2012 2:52 PM, benjayk wrote:
meekerdb wrote:
On 8/21/2012 2:24 PM, benjayk wrote:
meekerdb wrote:
This sentence cannot be confirmed to be true by a human being
defined
it as is in terms of computationl.
benjayk
--
View this message in context:
http://old.nabble.com/Simple-proof-that-our-intelligence-transcends-that-of-computers-tp34330236p34333663.html
Sent from the Everything List mailing list archive at Nabble.com.
--
You received this message
://old.nabble.com/Simple-proof-that-our-intelligence-transcends-that-of-computers-tp34330236p34333746.html
Sent from the Everything List mailing list archive at Nabble.com.
--
You received this message because you are subscribed to the Google Groups
Everything List group.
To post to this group, send email
, because all we
defined
it as is in terms of computationl.
benjayk
--
View this message in context:
http://old.nabble.com/Simple-proof-that-our-intelligence-transcends-that-of-computers-tp34330236p34333663.html
Sent from the Everything List mailing list archive at Nabble.com.
--
You received
On Tue, Aug 21, 2012 at 5:33 PM, benjayk benjamin.jaku...@googlemail.comwrote:
I have no difficulty asserting this statement as well. See:
Benjamin Jakubik cannot consistently assert this sentence is true.
Benjamin Jakubik cannot consistently assert the following sentence without
machine does, of course nothing can
be more computationally powerful.
--
View this message in context:
http://old.nabble.com/Simple-proof-that-our-intelligence-transcends-that-of-computers-tp34330236p34335113.html
Sent from the Everything List mailing list archive at Nabble.com.
--
You
On Wed, Aug 22, 2012 at 10:48 AM, benjayk
benjamin.jaku...@googlemail.comwrote:
Bruno Marchal wrote:
Imagine a computer without an output. Now, if we look at what the
computer
is doing, we can not infer what it is actually doing in terms of
high-level
activity, because this is
On Wed, Aug 22, 2012 at 11:49 AM, benjayk
benjamin.jaku...@googlemail.comwrote:
John Clark-12 wrote:
On Tue, Aug 21, 2012 at 5:33 PM, benjayk
benjamin.jaku...@googlemail.comwrote:
I have no difficulty asserting this statement as well. See:
Benjamin Jakubik cannot consistently
://old.nabble.com/Simple-proof-that-our-intelligence-transcends-that-of-computers-tp34330236p34335756.html
Sent from the Everything List mailing list archive at Nabble.com.
--
You received this message because you are subscribed to the Google Groups
Everything List group.
To post to this group, send email
-that-our-intelligence-transcends-that-of-computers-tp34330236p34335798.html
Sent from the Everything List mailing list archive at Nabble.com.
--
You received this message because you are subscribed to the Google Groups
Everything List group.
To post to this group, send email to everything-list
On Wed, Aug 22, 2012 at 12:59 PM, benjayk
benjamin.jaku...@googlemail.comwrote:
Jason Resch-2 wrote:
On Wed, Aug 22, 2012 at 11:49 AM, benjayk
benjamin.jaku...@googlemail.comwrote:
John Clark-12 wrote:
On Tue, Aug 21, 2012 at 5:33 PM, benjayk
On Wed, Aug 22, 2012 at 1:07 PM, benjayk benjamin.jaku...@googlemail.comwrote:
Jason Resch-2 wrote:
On Wed, Aug 22, 2012 at 10:48 AM, benjayk
benjamin.jaku...@googlemail.comwrote:
Bruno Marchal wrote:
Imagine a computer without an output. Now, if we look at what the
far more accurate to me).
benjayk
--
View this message in context:
http://old.nabble.com/Simple-proof-that-our-intelligence-transcends-that-of-computers-tp34330236p34335995.html
Sent from the Everything List mailing list archive at Nabble.com.
--
You received this message because you
-proof-that-our-intelligence-transcends-that-of-computers-tp34330236p34336029.html
Sent from the Everything List mailing list archive at Nabble.com.
--
You received this message because you are subscribed to the Google Groups
Everything List group.
To post to this group, send email to everything
this message in context:
http://old.nabble.com/Simple-proof-that-our-intelligence-transcends-that-of-computers-tp34330236p34336029.html
Sent from the Everything List mailing list archive at Nabble.com.
--
You received this message because you are subscribed to the Google
Groups Everything List group
On Wed, Aug 22, 2012 at 1:52 PM, benjayk benjamin.jaku...@googlemail.comwrote:
Jason Resch-2 wrote:
On Wed, Aug 22, 2012 at 12:59 PM, benjayk
benjamin.jaku...@googlemail.comwrote:
Jason Resch-2 wrote:
On Wed, Aug 22, 2012 at 11:49 AM, benjayk
happening
as you can see by looking at concepts like singularity).
--
View this message in context:
http://old.nabble.com/Simple-proof-that-our-intelligence-transcends-that-of-computers-tp34330236p34330236.html
Sent from the Everything List mailing list archive at Nabble.com.
--
You received
On Tue, Aug 21, 2012 benjayk benjamin.jaku...@googlemail.com wrote:
In this post I present an example of a problem that we can (quite easily)
solve, yet a computer can't, even in principle, thus showing that our
intelligence transcends that of a computer. [...]
Is the following statement
like singularity).
--
View this message in context:
http://old.nabble.com/Simple-proof-that-our-intelligence-transcends-that-of-computers-tp34330236p34330236.html
Sent from the Everything List mailing list archive at Nabble.com.
--
You received this message because you are subscribed to the Google
This sentence cannot be confirmed to be true by a human being.
The Computer
On 8/21/2012 9:54 AM, benjayk wrote:
In this post I present an example of a problem that we can (quite easily)
solve, yet a computer can't, even in principle, thus showing that our
intelligence transcends that of a
Dear Benjayk,
Isn't this a form of the same argument that Penrose made?
On 8/21/2012 12:54 PM, benjayk wrote:
In this post I present an example of a problem that we can (quite easily)
solve, yet a computer can't, even in principle, thus showing that our
intelligence transcends that of a
On 21 Aug 2012, at 20:15, meekerdb wrote:
This sentence cannot be confirmed to be true by a human being.
The Computer
LOL.
Of course, Clark is right, you should add consistently before
confirmed, to avoid the refutation of a human claiming confirming that
sentence. Or put consistent
program into
it?). So still, it is less capable than a human.
--
View this message in context:
http://old.nabble.com/Simple-proof-that-our-intelligence-transcends-that-of-computers-tp34330236p34331679.html
Sent from the Everything List mailing list archive at Nabble.com.
--
You received
, though.
--
View this message in context:
http://old.nabble.com/Simple-proof-that-our-intelligence-transcends-that-of-computers-tp34330236p34331719.html
Sent from the Everything List mailing list archive at Nabble.com.
--
You received this message because you are subscribed to the Google Groups
On 8/21/2012 2:24 PM, benjayk wrote:
meekerdb wrote:
This sentence cannot be confirmed to be true by a human being.
The Computer
He might be right in saying that (See my response to Saibal).
But it can't confirm it as well (how could it, since we as humans can't
confirm it and what he knows
to the computer). Yet we can see that it is true.
--
View this message in context:
http://old.nabble.com/Simple-proof-that-our-intelligence-transcends-that-of-computers-tp34330236p34331797.html
Sent from the Everything List mailing list archive at Nabble.com.
--
You received this message because
On 8/21/2012 2:52 PM, benjayk wrote:
meekerdb wrote:
On 8/21/2012 2:24 PM, benjayk wrote:
meekerdb wrote:
This sentence cannot be confirmed to be true by a human being.
The Computer
He might be right in saying that (See my response to Saibal).
But it can't confirm it as well (how could
.
meekerdb wrote:
As Bruno would say, you are just
rejecting COMP and supposing - not demonstrating - that humans can do
hypercomputation.
I didn't say hypercomputation. Just something beyond computation.
--
View this message in context:
http://old.nabble.com/Simple-proof-that-our
On 8/21/2012 3:26 PM, benjayk wrote:
meekerdb wrote:
On 8/21/2012 2:52 PM, benjayk wrote:
meekerdb wrote:
On 8/21/2012 2:24 PM, benjayk wrote:
meekerdb wrote:
This sentence cannot be confirmed to be true by a human being.
The Computer
He might be right in saying that (See my response to
On Wed, Aug 22, 2012 at 7:18 AM, benjayk
benjamin.jaku...@googlemail.com wrote:
It is true as well. We can even confirm it to ourselves.
'This statement can't be confirmed to be true solely by utilizing a human
brain'. We can see its true, but whatever knows this, can't (solely) be the
brain
On Wed, Aug 22, 2012 at 7:52 AM, benjayk
benjamin.jaku...@googlemail.com wrote:
Well, that is you imagining to be a computer. But program an actual
computer that concludes this without it being hard-coded into it. All it
could do is repeat the opinion you feed it, or disagree with you,
101 - 154 of 154 matches
Mail list logo