I understand the need and curiosity to finally know what is true. This is what
draws the brightest people to science and math. They like uncovering, in a
Platonic manner, and testing it, in an Aristotelian manner.
We must not confuse the serach of truth, with the search of benefice for humans.
For myself, the benefit to our species (maybe all others?) should never be
lost. Perhaps, this is maddening to the extremely bright people like yourself?
For me, at the end of the day, we must never forget who we are, and where we
are at, right now. I speak of all human needs, including the existential.
Because the task is so enormous, people have a hard time dealing with it at
all, and move forward with their research. I sympathize completely. I suspect
that evolution may be the program pushing many in this direction, or it may
just be my particular neurosis, or, both could be the same.
The subuniversal numbers things seems somehow intriguing. Possibly, related to
your observations, Steinhart, during an older interview, said that he likes
doing maths for a sense of calmness and beauty.
-----Original Message-----
From: Bruno Marchal <marc...@ulb.ac.be>
To: everything-list <everything-list@googlegroups.com>
Sent: Sun, Jul 26, 2015 12:26 pm
Subject: Re: David Deutsch and Constructor Theory
On 26 Jul 2015, at 14:48, spudboy100 via Everything List wrote:
Heh! I have read Deutsches thesis on Constructor Theory a few times and I
cannot really grasp it, intellectually, except as a spin-off of Von Newmann's
cellular automata.
That looks more like a critics of Wolfram. Deutch found the universal Turing
machine, or if you prefer the Quantum computer. It has been foreseen by others,
notably and famously by Feynman, and I can understand the appeal for the
physicalist. So it is more a quantum cellular automata.
Progress in that direction might help for the testing of the computationalist
hypothesis.
Save, that it applies at a cosmological level, rather then a mathematical
sense, or on a Conway's Life computer screen. I don't know philosophically, if
it means anything beneficial to humans, or, I wonder if this applies to physics
as well?
We must not confuse the serach of truth, with the search of benefice for
humans.
Now Platonist believe that the search of justice requires the search of truth,
but evolution pressure and short term goal favorize lies (as darwing saw, only
a small percentage of orchids offer nectar or mating-perfume to bees and insect
pollinators: the majority contends themselves in false advertizing of it).
So lies are beneficial, but can be fatal on the longer run, especially at the
level brains and other universal numbers lead us, as they accelerate the
computations. Universal numbers, already the "subuniversal numbers" are
relative self-accelerators, mainly. (By work by Blum and Marquez).
Ok, we have tiny parts, that make bigger parts, and so on, and so forth,
till they hit a level of complexity.
You hit it already with the two equations Kxy = x, and Sxyz = xz(yz), or with
the elementary axioms of Robinson arithmetic. That is the Turing universality
level. Then you hit a second treshold with Löbianity, which is when the
universal number knows (in a weak technical sense) that it is itself universal.
But this is the moement where the universal machine understand that she knows
about nothing with respect to the arithmetical reality and its many non
arithmetical internal points of view.
I can explain all the details, but you can read books. Actually the Turing
universality of the SK-combinators is rather well done by Smullyan in his book
"How to Mock a Mocking Bird".
I am a computationalist, myself, (a.k.a Digitalist), and like this sort of
thing, but, ...meh! I don't see how this work informs us?
Deutsch seems to be not aware that if computationalism is true, then the
existence of the quantum computer around us must be justified in arithmetic,
or from the two SK equation above. Then by using the Löbian machine, you can
not only explain the qubits from the bits, but you can distinguish those having
incommunicable but undoubtable qualitative 1p-attributes from those 100% 3p
sharable. Comp + self-reference explains both quanta and qualia, using no more
than the two simple assumption Kxy = y, and Sxyz = xz(yz).
Bruno
-----Original Message-----
From: Bruce Kellett < bhkell...@optusnet.com.au>
To: everything-list < everything-list@googlegroups.com>
Sent: Sun, Jul 26, 2015 7:16 am
Subject: David Deutsch and Constructor Theory
David Deutsch has some things to say which are relevant to discussions
of
computationalism.
http://edge.org/conversation/constructor-theory
"One of
the first rather unexpected yields of this theory has been a new
foundation
for information theory. There's a notorious problem with
defining information
within physics, namely that on the one hand
information is purely abstract,
and the original theory of computation
as developed by Alan Turing and others
regarded computers and the
information they manipulate purely abstractly as
mathematical objects.
Many mathematicians to this day don't realize that
information is
physical and that there is no such thing as an abstract
computer. Only a
physical object can compute things."
And
later:
"Several strands led towards this. I was lucky enough to be placed in
more than one of them. The main thing was that starting with Turing and
then
Rolf Landauer (who was a lone voice in the 1960s saying that
computation is
physics—because the theory of computation to this day is
regarded by
mathematicians as being about abstractions rather than as
being about
physics), Landauer realized that the concept of a purely
abstract computer
doesn't make sense, and the theory of computation has
to be a theory of what
physical objects can do to information. Landauer
focused on what restrictions
the laws of physics imposed on what kinds
of computation can be done."
"The
notion of a purely abstract computer doesn't make sense!" I find
myself to be
sympathetic with this view.
Bruce
--
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.
--
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.
--
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.
