On 28 Mar 2014, at 00:00, Stathis Papaioannou wrote:
On 28 March 2014 09:51, LizR <lizj...@gmail.com> wrote:
On 28 March 2014 11:46, Stathis Papaioannou <stath...@gmail.com>
wrote:
I would say there is only a finite number of possible biological
human minds,
Because the number is limited by the Beckenstein bound if we assume
physical supervenience ?
but an infinite number of possible minds if you are running them on
the Turing machine in Platonia.
(Or an infinite number of Turing machines, according to comp ;-)
Does comp suggest that consciousness corresponds to an infinite
number of different possible mental states (rather than a very
large, but finite, number of them) ?
(If so should I assume we're talkng about a countable infinity?)
I think you have to specify whether comp means merely that a
computer simulation of a brain can be conscious or go the whole way
with Bruno's conclusion that there is no actual physical computer
and all possible computations are necessarily implemented by virtue
of their status as platonic objects.
It is not so much in virtue of their status as platonic object (which
seems to imply some metaphysical hypothesis), but in virtue of being
true independently of my will, or even of the notion of universe, god,
etc.
You need just to assume, or accept as true, relations like x + 0 = x,
for all x, etc. It is a very weak form of realism, and basically, this
is assumed by all scientists.
*After* UDA, the assumptions are no more than classical logic and ,
for all x and y:
0 ≠ (x + 1)
((x + 1) = (y + 1)) -> x = y
x + 0 = x
x + (y + 1) = (x + y) + 1
x * 0 = 0
x * (y + 1) = (x * y) + x
The boxes and diamond are defined in that theory, the "theology and
physics" is derived in the extensions of that theory (the observers)
simulated by that theory.
There are many other equivalent theories.
There are some metaphysical or theological consequences, clear with
comp, but except for the "yes doctor", there is no special ontological
commitment done, not even on the numbers, that is no more than in
Euclid proofs of the infinity of the prime numbers.
The computations are implemented in virtue of the consequences of the
axioms above.
Bruno
--
Stathis Papaioannou
--
You received this message because you are subscribed to the Google
Groups "Everything List" group.
To unsubscribe from this group and stop receiving emails from it,
send an email to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
http://iridia.ulb.ac.be/~marchal/
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.