[Roger Clough], [[email protected]]
12/13/2012
"Forever is a long time, especially near the end." -Woody Allen
----- Receiving the following content -----
From: Bruno Marchal
Receiver: everything-list
Time: 2012-12-13, 04:54:23
Subject: Re: truth vs reality
On 12 Dec 2012, at 19:54, Roger Clough wrote:
> Hi Bruno Marchal
>
> I hate to be a spoiler, but, being a pragmatist and nominalist,
> to me, the word "truth" is a stumbling block and a red herring.
> To me, the One contains many types of truth, differing
> according to their definitions.
Well, all the hypostases comes from the one, so this makes sense.
>
> To me, the word "real" would be a better one, and
> to a follower of Leibniz such as I am, only each monad is
> real and nothing else (physical things aren't real).
This is coherent with identifying the monads with the numbers, at
least when coupled with some universal number (they become programs
relatively to that universal number/supreme monad).
> And
> there being an infinitely different set of monads, each of which
> keeps changing, there are an infinite set (actually, a "dust") of
> continually changing reals, each real being a substance
> of one part.
OK.
Bruno
>
>
>
> [Roger Clough], [[email protected]]
> 12/12/2012
> "Forever is a long time, especially near the end." -Woody Allen
>
> ----- Receiving the following content -----
> From: Bruno Marchal
> Receiver: everything-list
> Time: 2012-12-12, 12:16:23
> Subject: Re: How mathematical truth might enter our universe
>
>
> On 12 Dec 2012, at 17:00, Jason Resch wrote:
>
>> All,
>>
>> One of the questions in mathematics is where does mathematical
truth
>> come from, if it exists platonically, how does it manifest
>> physically (e.g. as the utterances of mathematicians).
>
> I could explain, but it can be long, that it is impossible to
explain
> where the natural numbers come from, or where the Fortran programs
> come from, of were the GoL comes from.
>
> Now if you assume the natural numbers, and the + and x laws, then I
> can prove the existence of the Fortran programs, and of GoL, etc.
>
> if you assume GoL, I can prove the existence of the numbers, etc.
>
> So the numbers, or anything Turing equivalent are mysterious. It is
> the least that we have to assume to get anything capable of
supporting
> a computer, or a brain.
>
> But once we assume the numbers, then we can explain why they will
> eventually develop a mathematics (and physics) much richer than the
> numbers (including many infinities).
>
> Above arithmetic, the mathematics (and physics) are just number
mind
> tools to simplify their lives when the relation with other
(universal)
> numbers get too much complex, a bit like the complex Riemann Zeta
> function is a tool for making simpler the relation between the
prime
> numbers and the study of their distribution.
>
>
>
>>
>> I had a thought inspired by one of Roger's posts regarding cause
and
>> effect extending outside of spacetime. I thought, there is nothing
>> preventing the goings on in this universe from having causal
>> implications outside our universe. Consider that an advanced
>> civilization might choose to simulate our universe and inspect it.
>> Then when they observe what happens in our universe the
observations
>> generate causal effects in their own universe. The same applies to
>> our universe, we might choose to observe another universe through
>> simulation, and our discoveries or observations of that other
>> universe change us. Thus, the various universes that can exist out
>> there are more interconnected than we might suppose. Our universe
>> is an open book to those universes possessing sufficient
>> computational power to simulate it. Likewise, how simple universes
>> like certain small instances of the game of life are open books to
>> us. The possibilities of gliders in the GoL has led to many
>> discussions about GoL gliders, their existence in the GoL universe
>> has led to the manifestation of physical changes in our own
universe.
>>
>> I think the entrance of mathematical truth to our own universe
is no
>> different. Mathematicians have used their minds to simulate
objects
>> and structures that exist in other universes, in a sense they
>> observe them, and then those mathematicians report their
>> observations and discoveries concerning those objects, just as an
>> advanced civilization might report discoveries about our universe,
>> or we might report discoveries about the GoL universe. Thus the
>> structures and objects which exist in other universes have
directly
>> changed the course of the evolution of our own.
>
> This explanation seems to assume universe(s) and observers, but
with
> the CTM, we know we don't need to assume them, nor can we really
use
> them to relate consciousness and matter. This should follow form
the
> uda reasoning, normally. Apart from this, mathematics looks indeed
> like exploration of mathematical realities, but the physical
reality
> is not one mathematical structure among others, it is a
mathematical
> structure summing all the other mathematical structure, in some
way,
> and in arithmetic.
>
> Bruno
>
>
>
> 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 [email protected]
.
> To unsubscribe from this group, send email to
[email protected]
> .
> For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en
> .
>
> --
> You received this message because you are subscribed to the Google
> Groups "Everything List" group.
> To post to this group, send email to [email protected]
.
> To unsubscribe from this group, send email to
[email protected]
> .
> 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-
[email protected].
To unsubscribe from this group, send email to [email protected]
.
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en
.
--
You received this message because you are subscribed to the Google
Groups "Everything List" group.
To post to this group, send email to everything-
[email protected].
To unsubscribe from this group, send email to [email protected]
.
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en
.
