On 29.09.2012 21:28 meekerdb said the following:
On 9/29/2012 5:43 AM, Evgenii Rudnyi wrote:
I have understood Brent in such a way that when engineers
develop a robot they must just care about functionality to
achieve and they can ignore consciousness at all. Whether it
appears in the robot or n
On 9/29/2012 5:43 AM, Evgenii Rudnyi wrote:
I have understood Brent in such a way that when engineers develop
a robot they must just care about functionality to achieve and
they can ignore consciousness at all. Whether it appears in the
robot or not, it is not a business of engineers. Do you agre
On 29 Sep 2012, at 14:43, Evgenii Rudnyi wrote:
On 24.09.2012 18:23 meekerdb said the following:
On 9/24/2012 2:07 AM, Bruno Marchal wrote:
On 23 Sep 2012, at 18:33, Evgenii Rudnyi wrote:
On 23.09.2012 16:51 Bruno Marchal said the following:
On 23 Sep 2012, at 09:31, Evgenii Rudnyi wrote
On 24.09.2012 18:23 meekerdb said the following:
On 9/24/2012 2:07 AM, Bruno Marchal wrote:
On 23 Sep 2012, at 18:33, Evgenii Rudnyi wrote:
On 23.09.2012 16:51 Bruno Marchal said the following:
On 23 Sep 2012, at 09:31, Evgenii Rudnyi wrote:
On 22.09.2012 22:49 meekerdb said the following
On 9/27/2012 4:17 AM, Bruno Marchal wrote:
So does comp provide any hints as to which aspects of our local
universe should be universal and which are geographical?
Yes, as the logic of probabilty one for observation (given by S4Grz1,
and/or the X and Z logics) already provides an arithmetical
On 27 Sep 2012, at 00:02, Jason Resch wrote:
On Wed, Sep 26, 2012 at 3:33 AM, Bruno Marchal
wrote:
More on this when I have more time. Someday I will give you the
enunciation of Solovay theorem, which is the key here.
Thank you. I look forward to this.
OK. Nice.
verify
On Wed, Sep 26, 2012 at 3:33 AM, Bruno Marchal wrote:
>
> On 26 Sep 2012, at 06:38, Jason Resch wrote:
>
>
>>
>> On Sep 25, 2012, at 10:20 AM, Bruno Marchal wrote:
>>
>>
>>> Hi Roger Clough
>>>
>>> Hi Bruno Marchal
Do you believe that a computer has a physical mind
that can be co
rever is a long time, especially near the end." -Woody Allen
- Receiving the following content -----
From: Bruno Marchal
Receiver: everything-list
Time: 2012-09-24, 10:45:01
Subject: Re: questions on machines, belief, awareness, and knowledge
On 24 Sep 2012, at 16:39, Stephen P. King wrote:
or do you
think comp implies a single physics for all observers. One like that
of our standard model?
Jason
Bruno
Roger Clough, rclo...@verizon.net
9/25/2012
"Forever is a long time, especially near the end." -Woody Allen
- Receiving the following content -----
From: B
y a god.
Bruno
Roger Clough, rclo...@verizon.net
9/25/2012
"Forever is a long time, especially near the end." -Woody Allen
- Receiving the following content -----
From: Bruno Marchal
Receiver: everything-list
Time: 2012-09-24, 10:45:01
Subject: Re: questions on machines, bel
Receiver: everything-list
Time: 2012-09-24, 10:45:01
Subject: Re: questions on machines, belief, awareness, and knowledge
On 24 Sep 2012, at 16:39, Stephen P. King wrote:
> On 9/24/2012 9:34 AM, Roger Clough wrote:
>> Hi meekerdb
>>
>> The computer can mechanically prove so
Hi Brian,
On 24 Sep 2012, at 19:44, Brian Tenneson wrote:
Hi Bruno
On Fri, Sep 14, 2012 at 1:20 AM, Bruno Marchal
wrote:
Hi Brian,
On 13 Sep 2012, at 22:04, Brian Tenneson wrote:
Bruno,
You use B as a predicate symbol for "belief" I think.
I use for the modal unspecified box, in som
Hi Bruno
On Fri, Sep 14, 2012 at 1:20 AM, Bruno Marchal wrote:
> Hi Brian,
>
>
>
> On 13 Sep 2012, at 22:04, Brian Tenneson wrote:
>
> Bruno,
>>
>> You use B as a predicate symbol for "belief" I think.
>>
>
> I use for the modal unspecified box, in some context (in place of the more
> common "[
On 9/24/2012 2:07 AM, Bruno Marchal wrote:
On 23 Sep 2012, at 18:33, Evgenii Rudnyi wrote:
On 23.09.2012 16:51 Bruno Marchal said the following:
On 23 Sep 2012, at 09:31, Evgenii Rudnyi wrote:
On 22.09.2012 22:49 meekerdb said the following:
...
In the past, Bruno has said that a machi
On 24 Sep 2012, at 16:39, Stephen P. King wrote:
On 9/24/2012 9:34 AM, Roger Clough wrote:
Hi meekerdb
The computer can mechanically prove something,
but it cannot know that it did so. It cannot
sit back with a beer and muse over how smart it is.
Hi Roger,
What you are considering that
On 9/24/2012 9:34 AM, Roger Clough wrote:
Hi meekerdb
The computer can mechanically prove something,
but it cannot know that it did so. It cannot
sit back with a beer and muse over how smart it is.
Hi Roger,
What you are considering that a computer does not have is the
ability to model
eiving the following content -
From: meekerdb
Receiver: everything-list
Time: 2012-09-22, 16:49:06
Subject: Re: questions on machines, belief, awareness, and knowledge
On 9/22/2012 6:29 AM, Evgenii Rudnyi wrote:
On 22.09.2012 14:58 Bruno Marchal said the following:
On 21 Sep 2012
On 23 Sep 2012, at 18:33, Evgenii Rudnyi wrote:
On 23.09.2012 16:51 Bruno Marchal said the following:
On 23 Sep 2012, at 09:31, Evgenii Rudnyi wrote:
On 22.09.2012 22:49 meekerdb said the following:
...
In the past, Bruno has said that a machine that understands
transfinite induction wi
On 23.09.2012 16:51 Bruno Marchal said the following:
On 23 Sep 2012, at 09:31, Evgenii Rudnyi wrote:
On 22.09.2012 22:49 meekerdb said the following:
...
In the past, Bruno has said that a machine that understands
transfinite induction will be conscious. But being conscious
and intellige
On 23 Sep 2012, at 09:31, Evgenii Rudnyi wrote:
On 22.09.2012 22:49 meekerdb said the following:
On 9/22/2012 6:29 AM, Evgenii Rudnyi wrote:
On 22.09.2012 14:58 Bruno Marchal said the following:
...
It is part of what a machine is that we cannot know what we are
doing in building them, so
On 22 Sep 2012, at 15:29, Evgenii Rudnyi wrote:
On 22.09.2012 14:58 Bruno Marchal said the following:
On 21 Sep 2012, at 21:27, Evgenii Rudnyi wrote:
On 19.09.2012 00:57 meekerdb said the following:
On 9/17/2012 11:27 AM, Evgenii Rudnyi wrote:
Do you mean that the meaning in a guided miss
On 22.09.2012 22:49 meekerdb said the following:
On 9/22/2012 6:29 AM, Evgenii Rudnyi wrote:
On 22.09.2012 14:58 Bruno Marchal said the following:
...
It is part of what a machine is that we cannot know what we are
doing in building them, so human might as well build a conscious
machine with
On 9/22/2012 6:29 AM, Evgenii Rudnyi wrote:
On 22.09.2012 14:58 Bruno Marchal said the following:
On 21 Sep 2012, at 21:27, Evgenii Rudnyi wrote:
On 19.09.2012 00:57 meekerdb said the following:
On 9/17/2012 11:27 AM, Evgenii Rudnyi wrote:
Do you mean that the meaning in a guided missile sy
On 22.09.2012 14:58 Bruno Marchal said the following:
On 21 Sep 2012, at 21:27, Evgenii Rudnyi wrote:
On 19.09.2012 00:57 meekerdb said the following:
On 9/17/2012 11:27 AM, Evgenii Rudnyi wrote:
Do you mean that the meaning in a guided missile system
happens as by-product of its development
On 21 Sep 2012, at 21:27, Evgenii Rudnyi wrote:
On 19.09.2012 00:57 meekerdb said the following:
On 9/17/2012 11:27 AM, Evgenii Rudnyi wrote:
Do you mean that the meaning in a guided missile system happens
as by-product of its development by engineers?
To me, it seems that meaning that you h
On 19.09.2012 00:57 meekerdb said the following:
On 9/17/2012 11:27 AM, Evgenii Rudnyi wrote:
Do you mean that the meaning in a guided missile system happens
as by-product of its development by engineers?
To me, it seems that meaning that you have defined in Mars
Rovers is yet another theory of
On 9/17/2012 11:27 AM, Evgenii Rudnyi wrote:
Do you mean that the meaning in a guided missile system happens as
by-product of its development by engineers?
To me, it seems that meaning that you have defined in Mars Rovers
is yet another theory of epiphenomenalism.
And your quote and question
ar the end."
Woody Allen
- Receiving the following content -
From: Evgenii Rudnyi
Receiver: everything-list
Time: 2012-09-17, 14:27:02
Subject: Re: questions on machines, belief, awareness, and knowledge
On 16.09.2012 21:55 meekerdb said the following:
> On 9/16/2012 12:44 AM, Ev
On 16.09.2012 21:55 meekerdb said the following:
On 9/16/2012 12:44 AM, Evgenii Rudnyi wrote:
On 15.09.2012 21:56 meekerdb said the following:
On 9/15/2012 9:35 AM, Stephen P. King wrote:
On 9/15/2012 4:11 AM, Russell Standish wrote:
...
Hi Russell,
That is far too inclusive a definition
owing content -
From: Evgenii Rudnyi
Receiver: everything-list
Time: 2012-09-16, 03:44:48
Subject: Re: questions on machines, belief, awareness, and knowledge
On 15.09.2012 21:56 meekerdb said the following:
> On 9/15/2012 9:35 AM, Stephen P. King wrote:
>> On 9/15/2012 4:
On 9/16/2012 12:44 AM, Evgenii Rudnyi wrote:
On 15.09.2012 21:56 meekerdb said the following:
On 9/15/2012 9:35 AM, Stephen P. King wrote:
On 9/15/2012 4:11 AM, Russell Standish wrote:
...
Hi Russell,
That is far too inclusive a definition of computation.
Not really, it only requires so
On 15.09.2012 21:56 meekerdb said the following:
On 9/15/2012 9:35 AM, Stephen P. King wrote:
On 9/15/2012 4:11 AM, Russell Standish wrote:
...
Hi Russell,
That is far too inclusive a definition of computation.
Not really, it only requires some way of representing the
information such th
On 9/15/2012 9:35 AM, Stephen P. King wrote:
On 9/15/2012 4:11 AM, Russell Standish wrote:
On Sat, Sep 15, 2012 at 02:55:17AM -0400, Stephen P. King wrote:
Dear Bruno,
Could you elaborate on what your definition of "a digital
machine" is?
Anything Turing emulable.
Dear Bruno,
OK. B
On 9/15/2012 4:11 AM, Russell Standish wrote:
On Sat, Sep 15, 2012 at 02:55:17AM -0400, Stephen P. King wrote:
Dear Bruno,
Could you elaborate on what your definition of "a digital
machine" is?
Anything Turing emulable.
Dear Bruno,
OK. But you do understand that this assumes an unne
On Sat, Sep 15, 2012 at 02:55:17AM -0400, Stephen P. King wrote:
> >> Dear Bruno,
> >>
> >>Could you elaborate on what your definition of "a digital
> >>machine" is?
> >
> >Anything Turing emulable.
>
> Dear Bruno,
>
> OK. But you do understand that this assumes an unnecessary
> restricti
On 9/14/2012 2:56 PM, Bruno Marchal wrote:
On 14 Sep 2012, at 15:41, Stephen P. King wrote:
On 9/14/2012 4:20 AM, Bruno Marchal wrote:
Hi Brian,
On 13 Sep 2012, at 22:04, Brian Tenneson wrote:
Bruno,
You use B as a predicate symbol for "belief" I think.
I use for the modal unspecified
On 14 Sep 2012, at 15:41, Stephen P. King wrote:
On 9/14/2012 4:20 AM, Bruno Marchal wrote:
Hi Brian,
On 13 Sep 2012, at 22:04, Brian Tenneson wrote:
Bruno,
You use B as a predicate symbol for "belief" I think.
I use for the modal unspecified box, in some context (in place of
the more
On 9/14/2012 4:20 AM, Bruno Marchal wrote:
Hi Brian,
On 13 Sep 2012, at 22:04, Brian Tenneson wrote:
Bruno,
You use B as a predicate symbol for "belief" I think.
I use for the modal unspecified box, in some context (in place of the
more common "[]").
Then I use it mainly for the box corre
Hi Brian,
On 13 Sep 2012, at 22:04, Brian Tenneson wrote:
Bruno,
You use B as a predicate symbol for "belief" I think.
I use for the modal unspecified box, in some context (in place of the
more common "[]").
Then I use it mainly for the box corresponding to Gödel's beweisbar
(provabilit
39 matches
Mail list logo
