On 30 Jul 2010, at 17:03, Jason Resch wrote:
On Fri, Jul 30, 2010 at 1:24 AM, Brent Meeker
<meeke...@dslextreme.com> wrote:
On 7/29/2010 10:25 PM, Jason Resch wrote:
On Thu, Jul 29, 2010 at 10:55 PM, Mark Buda <her...@acm.org> wrote:
Numbers exist not in any physical sense but in the same sense that
any
idea exists - they exist in the sense that minds exist that believe
logical propositions about them. They exist because minds believe
logical propositions about them. They are defined and distinguished
by
the logical propositions that minds believe about them.
There are three worlds: the physical world of elementary particles,
the
mental world of minds, and the imaginary world of ideas. They are
linked, somehow, by logical relationships, and the apparent flow of
time
in the mental world causes/is caused by changes in these
relationships.
I wouldn't be surprised if the "laws" of physics are changing,
slowly,
incrementally, right under our noses. In fact, I would be delighted,
because it would explain many things.
The existence of numbers can explain the existence of the physical
universe but the converse is not true, the existence of the
physical world can't explain the existence of numbers.
William S. Cooper wrote a book to show the contrary. Why should I
credence your bald assertion?
I should have elaborated more. The existence of mathematical
objects (not just numbers, but all self-consistent structures in
math) would imply the existence of the universe (if you believe the
universe is not in itself a contradiction).
... and if you believe that the universe can be accounted for by a
some consistent mathematical structure. Which is an open problem.
Assuming mechanism, physical universes have no real existence at all,
except as first person sharable experience by machines (mathematical
digital machines).
It would also clearly lead to Bruno's universal dovetailer, as all
possible Turing machines would exist.
... together with their executions.
Regarding the book you mentioned, I found a few books by William S.
Cooper on amazon. What is the title of the book you are referring
to? Does it show that math doesn't imply the existence of the
physical universe, or that the physical universe is what makes math
real? Most mathematicians believe math is something explored and
discovered than something invented, if true, and both math and the
physical universe have objective existence, it is a better theory,
by Ockham's razor, that math exists and the physical universe is a
consequence. I do understand that the existence of the physical
universe leads to minds, and the minds lead to the existence of
ideas of math, but consider that both are objectively real, how does
the universe's existence lead to the objective existence of math,
when math is infinite and the physical universe is finite? (at least
the observable universe).
Also, Cooper's book just address the question of the origin of man's
beliefs in numbers. I don't think Cooper tries to understand the
origin of natural numbers.
Actually, we can explain that numbers cannot be justified by anything
simpler than numbers. That is why it is a good starting point.
I doubt your statement that a physical universes can explain mind.
Unless you take "physical" in a very large sense. The kind of mind a
physical universe can explain cannot locate himself in a physical
universe. This comes from the fact that the identity thesis (mind-
brain, or mind/piece-of-matter) breaks down once we assume we can
survive a 'physical' digital brain substitution.
We can ascribe a mind (first person) to a body (third person), but if
that body is turing emulable, then a mind cannot ascribe a body to
itself. It can ascribe an infinity of bodies only, weighted by
diverging computational histories generating the relevant states of
that body, below the substitution level. This can be said confirmed by
quantum mechanics, where our bodies are given by all the Heisenberg-
uncertainty variant of it.
I agree roughly with the rest of your remarks (and so don't comment
them).
Bruno
Belief in the existence of numbers also helps explain the
unreasonable effectiveness of math, and the fine tuning of the
universe to support life.
If numbers are derived from biology and physics that also explains
their effectiveness. Whether the universe if fine-tuned is very
doubtful (see Vic Stengers new book on the subject) but even if it
is I don't see how the existence of numbers explains it.
Vic Stenger's argument is that fine-tuning is flawed because it
assumes life such as ours. But even assuming a much more general
definition of life, which requires minimally reproduction,
competition over finite resources, and a relatively stable
environment for many billions of generations what percentage of
universes would support this? Does Stenger show that life is common
across the set of possible mathematical structures?
The existence of all mathematical structures + the anthropic
principal implies observers finding themselves in an apparently fine-
tuned universe. Whereas if one only believes in the physical
universe it is a mystery, best answered by the idea that all
possible universes exist, and going that far, you might simply say
you believe in the objective reality of math (the science of all
possible structures).
I think it is a smaller leap to believe properties of mathematical
objects exist than to believe this large and complex universe
exists (when the former implies the latter).
Even small numbers are bigger than our physical universe. There
are an infinite number of statements one could make about the
number 3,
Actually not on any nomological reading of "could".
If 3 exists, but we don't know everything about it, how can 3 be a
human idea? There are things left to be discovered about that
number and things no mind in this physical universe will ever know
about it, do you think our knowledge or lack of knowledge about it
somehow affects 3's identity? What if in a different branch of the
multiverse a different set of facts about 3 is learned, would you
say there are different types of 3's which exist in different
branches? I think this would lead to the idea that there is a
different 3 in every persons mind, which changes constantly, and
only exists when a person is thinking about it. However the fact
that different minds, or different civilizations can come to know
the same things about it implies otherwise.
some true and some false, but more statements exist than could ever
be enumerated by any machine or mind in this universe. Each of
these properties of 3 shapes its essence, but if some of them are
not accessible or knowable to us in this universe it implies if 3
must exist outside and beyond this universe. Can 3 really be
considered a human invention or idea when it has never been fully
comprehended by any person?
On the contrary, I'd say numbers and other logical constructs can be
more (but not completely) comprehended than the elements of physical
models. That's why explaining other things in terms of numbers is
attractive.
Can anything in physics determine the multiples of 3 between N and N
+ 9, where N is 7 ↑ ↑ ↑ ↑ ↑ 100 (Using Knuth's up arrow
notation)? Would you say N doesn't exist because it is too large to
for anyone to know? Or does it only exist now that I thought about
it and wrote it down? Despite that I know very little about that
number. If it doesn't exist, it implies 3 has a finite number of
multiples, which seems strange. Does that mean different numbers
have different numbers of multiples, either depending on what is
thought up or what is small enough to express in the universe? I am
interested in how the approach that numbers/math are only ideas
handles such questions.
Jason
--
You received this message because you are subscribed to the Google
Groups "Everything List" group.
To post to this group, send email to everything-l...@googlegroups.com.
To unsubscribe from this group, send email to everything-list+unsubscr...@googlegroups.com
.
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en
.
http://iridia.ulb.ac.be/~marchal/
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to everything-l...@googlegroups.com.
To unsubscribe from this group, send email to
everything-list+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en.