Re: How the banks are stealing our wealth

2013-12-21 Thread LizR
Yes, I know that one. So I will add to my wish list ... and I continue to
dream!

:-)


On 21 December 2013 12:53, John Mikes jami...@gmail.com wrote:

 Liz: we had a stereotypic reply in Hungary applicable to what you wrote
 *And THEN you woke up.*
 John


 On Thu, Dec 19, 2013 at 5:13 PM, LizR lizj...@gmail.com wrote:

 On 20 December 2013 09:25, John Mikes jami...@gmail.com wrote:

 How would you imagine to save the world (I mean: humanity)?


 Someone out there discover the psychological root causes of all the bad
 stuff we do and design a retrovirus that will fix them. Turn us all into
 saints - until we're invaded by aliens, we'll do OK.

 And I'd like a pair of hoverboots.

  --
 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/groups/opt_out.


  --
 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/groups/opt_out.


-- 
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/groups/opt_out.


Re: How can a grown man be an atheist ?

2013-12-21 Thread LizR
On 21 December 2013 13:19, meekerdb meeke...@verizon.net wrote:

  On 12/20/2013 3:28 PM, LizR wrote:

  On 21 December 2013 08:12, Stephen Paul King 
 stephe...@provensecure.comwrote:

  Dear Jason,

I think it was you that wrote (to me):
 I was not defending that view, but pointing out how ridiculous it would
 be to suppose mathematical truth does not exist before it is found by
 someone somewhere.

 I am trying to get some thought going. Why is it so ridiculous,
 exactly? If there exists a mathematical theorem that requires
 a countable infinity of integers to represent, no finite version can exist
 of it, in other words, can its proof be found? What is it that makes it
 true? If we remove the possibility of ever proving a theorem, what is that
 theorem's possible truth value?

  The maths that describes the behaviour of physical systems must be true
 whether anyone knows about it or not, so long as those physical systems
 continue to operate in the same manner. For example the inverse square law
 was true for billions of years before life evolved on Earth, and for
 billions more before Newton discovered it, as can be shown by observing
 distant galaxies.

  The inverse square law is true in Platonia.  In the real world it's just
 a very good approximation.


Absolutely. I was just using that as a simple example, because we don't
(yet) have a theory of quantum gravity that might be considered a candidate
for a final theory. (If I'd written that 150 years ago it would have been
treated as an accurate example, modulo the undiscovered planet inside
Mercury's orbit).

Still, I'm glad you thnik that it's true in Platonia, which is the point I
was making.

-- 
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/groups/opt_out.


Re: How can a grown man be an atheist ?

2013-12-21 Thread Jason Resch
On Fri, Dec 20, 2013 at 12:50 PM, John Clark johnkcl...@gmail.com wrote:


 On Thu, Dec 19, 2013  Jason Resch jasonre...@gmail.com wrote:

  Do you agree that after turning this computer on, and letting it run for
 a long enough time (eternity let's say), there is a 100% chance John Clark
 will eventually find himself in this computer


 Yes, in fact it may have already happened.

   That would only be true if everything that could exist does exist,
 and maybe that's the way things are but it is not obviously true.


 It doesn't require that everything to exist, it requires only one
 particular program to exist: the universal dovetailer.  This program and
 its execution exist within mathematics.


 I'm pretty confident that such a program exists within mathematics, but I
 am far less confident that a computer to run it on also exists at that same
 level of reality; I'm not saying it doesn't, maybe it does, but I don't
 know it for a fact. With today's emphasis on software sometimes we forget
 that a program is useless without hardware to run it on.


You agree that the 8th Fibonacci number is 21, and that the 9th is 34,
right? And that the Nth Fibonacci number has some value F_n is some
mathematical fact, which is not dependent on John Clark or Jason Resch,
right?

If so, then the relation Fib(n) + Fib(n-1) + Fib(n-2) is a recursive
function whose values exist as pure consequence of arithmetical truth. But
there are other recursive functions.  Some define John Conway's Game of
Life. Some of these Game of Life instances contain Turing machines, and a
rarer few contain Turing machines executing the universal dovetailer.

It is no less of a mathematical fact that the Nth number defined by this
recursive Game of Life function has some value G_n, than it is that the Nth
Fibonacci number has some value F_n.  But now consider a Game of Life
progression which contains evolved, and self-aware substructures.  From
their view they exist in a real world.  If you say they are not conscious
because they are only made of mathematical relations, then you are
admitting philosophical zombies exist.

Otherwise, there would be patterns within these numbers that behave as if
they are conscious, write books about consciousness, have philosophy
courses on consciousness, etc. I say if the patterns that exist in these
functions talk about, and question their own subjective experiences, cry in
pain, and in all ways behave as if they are conscious, then they are
conscious.  Otherwise, your theory on consciousness is supposing some kind
of magic potential for consciousness which is found only in strings,
electrons, carbon atoms, or something along those lines.

If it is a true statement that the evolution of some recursive function in
arithmetic contains patterns that behave and act as if they are conscious,
what reason is there to doubt that they are conscious? True, there is no
physical computer running the program to show us their evolution, but using
a computer to attempt to factor a prime number and see it fail is not what
makes a number prime.  These arithmetical truths exists independently of
our verification of them via simulation on physical computers.



  For example, it is a true statement that the state of this program after
 the 10^100th step of its computation has some particular value X, and it is
 also a true statement that the 10^100 + 1 step has some other particular
 value Y. It is also a true statement that the program corresponding to the
 emulation of the wave function for the Milky Way Galaxy contains John Clark
 and this particular John Clark believes he is conscious and alive and
 sitting in front of a computer in a physical universe.


 For that you don't need to bring in Everett or Quantum Mechanics or
 virtual worlds or dovetailing or computers, all you need are the 19'th
 century ideas of Ludwig Boltzmann. There are a gargantuan number of ways
 the atoms in my 200 pound body could be organized, but there are not a
 infinite number, therefore if the universe is spatially infinite  10^1000
 light years away (give or take a few hundred thousand million billion
 trillion) there can be no doubt that John Clark is typing a post to the
 Everything list about Boltzmann's idea.




You need to assume much more to get to Boltzmann's idea: a whole physical
universes, quantum vacuum, atoms, etc.  For the UDA, you need only assume
the ontology of the natural numbers. This is an implicit assumption in
nearly all scientific theories, and is therefore a rather modest proposal.
It is also much simpler to justify existence through seeing the necessity
of mathematical truths such as 2+2=4, and extrapolating from those simpler
truths to more complex ones, such as the value of Chaitin's constant (which
has a value dependent on the executions of all possible programs).

Jason










  Hence, arithmetical realism is a candidate TOE.


 A candidate certainly, but is it the real deal? Maybe but it's not
 obvious.


 Right, 

Re: Origin of probabilities and their application to the multiverse

2013-12-21 Thread Bruno Marchal


On 20 Dec 2013, at 16:48, Richard Ruquist wrote:


http://arxiv.org/pdf/1212.0953.pdf

Origin of probabilities and their application to the multiverse

Andreas Albrecht, Daniel Phillips
(Submitted on 5 Dec 2012)
We argue using simple models that all successful practical uses of  
probabilities originate in quantum fluctuations in the microscopic  
physical world around us, often propagated to macroscopic scales.  
Thus we claim there is no physically verified fully classical theory  
of probability. We comment on the general implications of this view,  
and specifically question the application of classical probability  
theory to cosmology in cases where key questions are known to have  
no quantum answer.


Richard: I cannot copy over the relevant portions of the text. They  
conclude:


thus are very skeptical of multiverse theories that depend on  
classical probabilities for their predictive power.


 Is it a snooker? Does not MWI use quantum probabilities?
It might be worth a read.







They assumed QM, and physicalism, which are not available options once  
we assume computationalism.
MWI somehow does bring back classical probability, from the quantum,  
making it into an ignorance about the computations which bear our  
actual relative state, in the comp theory.


Bruno



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/groups/opt_out.


Re: It's really all math

2013-12-21 Thread Bruno Marchal


On 20 Dec 2013, at 18:48, Richard Ruquist wrote:

Bruno:  In that case a multiverse could contain another multiverse,  
a bit like a black hole could be a door to another universe.


Richard: I like that idea because Smolin hypothized and Poplawski  
confirmed using GR + spin that black holes yield at least an  
internal universe.



Interesting. Wish I could follow this more closely.

Bruno






On Fri, Dec 20, 2013 at 12:08 PM, Bruno Marchal marc...@ulb.ac.be  
wrote:

Richard,


On 20 Dec 2013, at 12:40, Richard Ruquist wrote:

What surprises me is that apparently comp predicts a single  
multiverse rather than than multiple multiverses.


Interesting problem.

Comp predicts only a single multi-dreams, which is the universal  
computation made by the UD, or the Sigma_1 complete part of  
arithmetic.
I am still not sure if the material points of view will give 0, 1,  
2, ... aleph_0, ... or more multiverses.


A difficulty relies also in the fact that a multiverse, or even a  
physical universe is still not really well defined by the  
physicists themselves. In fact in Everett theory, we might also not  
be entirely sure if there is a multiverse, or a multi-multiverse,  
and such question might need the resolution of the quantum gravity  
question.


With comp, we can say things like that: IF there are n multiverses,  
THEN they cannot interfere statistically and so you are in only  
one of them (if not they will comp-interfere), and thus they must be  
all small  (= not emulating a UD). So, only one multiverse might  
contain a physical universal dovetailing.

Is the quantum vacuum a physical universal dovetailer?
Is the Everett universal wave a physical universal dovetailer?
Is the solution of the comp measure problem a physical universal  
dovetailer? Should nature compete with the universal dovetailing  
to win the measure competition?


Ah! You make me thinking ... What is really a multiverse? Can we  
define this in ZF, or in ZF+kappa? Would it makes sense to talk  of  
alpha-multi-verse for alpha an arbitrary cardinal, or an On- 
multiverse, with On being the class of all cardinals?
What if the ultimate structure of the physical reality is non well  
founded? That is plausible with comp (despite arithmetic is well  
founded). In that case a multiverse could contain another  
multiverse, a bit like a black hole could be a door to another  
universe.


Keep in mind that for a computationalist (who is aware of the UDA  
reversal) (assuming there is no flaw of course) the physical  
reality is the border of the real reality where real is what the  
FPI gives for the average universal (and Löbian) numbers.


You can visualized the UD by a cone of length omega (aleph_zero).  
Just take a program for a UD implemented in a universal game of life  
pattern. Then pile up the planes representing the successive  
evolving life pattern. This gives a digital cone (due to the never  
ending growing of the life pattern emulating the UD), and you can  
see the UD* as an infinite tridimensional digital cone. OK?


Now, you can compactify that structure. You identify the planes  at  
0, 1, 2, 3, ... n, places in the infinite piling with 0, 1/2,  
1/2+1/4, 1/2+1/4+1/8, ..., so that the entire infinite UD* is kept  
on a finite board of lenght 1: just a cone, or its projection: a  
triangle. OK?


Where is the physical reality in that picture? Nowhere, as UD* is  
purely 3p, and physics is purely 1p. Hopefully: 1p-plural (and  
Everett confirms this: our computations are contagious, we cannot  
*not* share them when interacting. But that 1p collective structure  
must (in comp) emerge at the union of all sets of all computations  
(containing our actual states), and this can be described in 3p, and  
is in the border which appears when we do the compactification.


That border, the topside of the cone, or the right side of the  
triangle of length 1, is an hologram, as each sub-branch infinitely  
often generates the UD, and the broder contains the infinite one. It  
is a bit like the border (but on dimension 1) of the Mandelbrot set.  
The physical realities are dense everywhere there and they are  
multiplied in hard to conceive magnitude, on that 2-dimensional top  
(in that representation of UD*).

Unlike the little mandelbrot sets, they might be non enumerable.

And then you have that things which I tended to hide a little bit,  
which is that the hypostases gives three quantizations, like if  
there where three type of physical realities (would that mean three  
multiverses? In *some* sense to make precise: perhaps).
Not just sensible matter and intelligible matter (Bp  Dt  p, and  
Bp  Dt, respectively) provides quantization, on the p sigma_1, the  
soul (Bp  p) does too, on the p sigma_1. Apparently Plotinus is  
right on this: the soul seems to be born with a foot already in  
matter.


I should say more on modal logic and enunciate the theorem of  
Solovay. All what I say comes from the fact that 

Re: How can a grown man be an atheist ?

2013-12-21 Thread LizR
Hi Jason,

That is a beautifully clear explanation of how assuming comp leads to the
existence of self aware beings within arithmetic realism. You have shown
that philosophical debate can also be poetry!

:-)

-- 
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/groups/opt_out.


Re: It's really all math

2013-12-21 Thread LizR
On 21 December 2013 22:18, Bruno Marchal marc...@ulb.ac.be wrote:


 On 20 Dec 2013, at 18:48, Richard Ruquist wrote:

 Bruno:  In that case a multiverse could contain another multiverse, a bit
 like a black hole could be a door to another universe.

 Richard: I like that idea because Smolin hypothized and Poplawski
 confirmed using GR + spin that black holes yield at least an internal
 universe.

 Interesting. Wish I could follow this more closely.

 I think this is shown by the Penrose diagram of a rotating black hole, if
I remember correctly. I certainly wrote a science fiction story on that
basis once!

-- 
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/groups/opt_out.


Re: How can a grown man be an atheist ?

2013-12-21 Thread Bruno Marchal


On 20 Dec 2013, at 19:34, meekerdb wrote:


On 12/20/2013 1:07 AM, Bruno Marchal wrote:


The non-cloning theorem should be obvious, given that any piece of  
observable matter needs the entire UD* to get describe exactly,  
given that the appearance of matter is only the result of the FPI  
on all computations (an infinite object).


That seems to prove to much.


I agree.



Although QM says you can't clone an unknown state, you can exactly  
reproduce a state; and elementary particles are elementary because  
they are indistinguishable.  Your reasoning above seems to imply  
that every bit of matter will be unique, an infinite set of relations.


Yes, a priori the comp non-cloning is too much big. In fact it is a  
version of the white rabbit problem, but then we know that self- 
reference will put some constraints on this. So comp is not (yet?)  
refuted. AUDA is too young to decide this, but we can formulate the  
problem (the cloning the nesting of the boxes and diamond is very  
huge, and some optimization of the modal logic provability have to be  
done).


Bruno





Brent

--
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/groups/opt_out.


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/groups/opt_out.


Re: How can a grown man be an atheist ?

2013-12-21 Thread Jason Resch
On Fri, Dec 20, 2013 at 1:12 PM, Stephen Paul King 
stephe...@provensecure.com wrote:

 Dear Jason,

   I think it was you that wrote (to me):
 I was not defending that view, but pointing out how ridiculous it would
 be to suppose mathematical truth does not exist before it is found by
 someone somewhere.


Yes, I wrote that.



I am trying to get some thought going. Why is it so ridiculous,
 exactly?


It seems to get cause and effect completely backwards. 7 isn't prime
because I wrote some demonstration on paper that it has no factors besides
1 and 7, rather, I wrote some demonstration on paper that it has no factors
besides 1 and 7 because the truth of the matter is that 1 and 7 are its
only factors.


 If there exists a mathematical theorem that requires a countable infinity
 of integers to represent, no finite version can exist of it, in other
 words, can its proof be found?


If its shortest proof is infinitely long, or if the required axioms needed
to develop a finite proof are infinite, (or instead of infinite, so large
we could not represent them in this universe), then its proof can't be
found (by us), but there is a definite answer to the question.  Let's say
it is the question of whether or not some program will ever terminate.
Certainly, all programs either terminate or they don't.  There is some
truth value concerning whether it does or does not, despite that the answer
might be unknown to us.


 What is it that makes it true?


You could say God.  Or that it just is, and always has been.  What makes
it possible for this universe to exist?


 If we remove the possibility of ever proving a theorem, what is that
 theorem's possible truth value?


Something not knowable by us, (as are a answers to a lot lot of questions).

Jason

-- 
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/groups/opt_out.


Re: It's really all math

2013-12-21 Thread Bruno Marchal


Hello Stephen,



  Does there really need to be a single level of the UD?


?



What is the UD is intersecting with itself an infinite number of  
times?


The UD emulates itself infinitely often, with all codes, that is:  
relatively to all universal numbers.






Is there a relationship. maybe an isomorphism, between the UD and  
the set of Godel numbers of the UD?


That depends on how you associate a set of Gödel numbers with the UD.




After all, there does not exist a unique universal Godel code for  
the UD, no?


There is an infinity of them, but any one simulates all the others,  
and you can't make one more important than another one, at the start.  
It is not the same for the internal view in arithmetic, where some  
universal number(s) can get local importance in maintaining the right  
history measure.


Bruno






On Friday, December 20, 2013 12:08:46 PM UTC-5, Bruno Marchal wrote:
Richard,


On 20 Dec 2013, at 12:40, Richard Ruquist wrote:

What surprises me is that apparently comp predicts a single  
multiverse rather than than multiple multiverses.


Interesting problem.

Comp predicts only a single multi-dreams, which is the universal  
computation made by the UD, or the Sigma_1 complete part of  
arithmetic.
I am still not sure if the material points of view will give 0, 1,  
2, ... aleph_0, ... or more multiverses.


A difficulty relies also in the fact that a multiverse, or even a  
physical universe is still not really well defined by the  
physicists themselves. In fact in Everett theory, we might also not  
be entirely sure if there is a multiverse, or a multi-multiverse,  
and such question might need the resolution of the quantum gravity  
question.


With comp, we can say things like that: IF there are n multiverses,  
THEN they cannot interfere statistically and so you are in only  
one of them (if not they will comp-interfere), and thus they must be  
all small  (= not emulating a UD). So, only one multiverse might  
contain a physical universal dovetailing.

Is the quantum vacuum a physical universal dovetailer?
Is the Everett universal wave a physical universal dovetailer?
Is the solution of the comp measure problem a physical universal  
dovetailer? Should nature compete with the universal dovetailing  
to win the measure competition?


Ah! You make me thinking ... What is really a multiverse? Can we  
define this in ZF, or in ZF+kappa? Would it makes sense to talk  of  
alpha-multi-verse for alpha an arbitrary cardinal, or an On- 
multiverse, with On being the class of all cardinals?
What if the ultimate structure of the physical reality is non well  
founded? That is plausible with comp (despite arithmetic is well  
founded). In that case a multiverse could contain another  
multiverse, a bit like a black hole could be a door to another  
universe.


Keep in mind that for a computationalist (who is aware of the UDA  
reversal) (assuming there is no flaw of course) the physical  
reality is the border of the real reality where real is what the  
FPI gives for the average universal (and Löbian) numbers.


You can visualized the UD by a cone of length omega (aleph_zero).  
Just take a program for a UD implemented in a universal game of life  
pattern. Then pile up the planes representing the successive  
evolving life pattern. This gives a digital cone (due to the never  
ending growing of the life pattern emulating the UD), and you can  
see the UD* as an infinite tridimensional digital cone. OK?


Now, you can compactify that structure. You identify the planes  at  
0, 1, 2, 3, ... n, places in the infinite piling with 0, 1/2,  
1/2+1/4, 1/2+1/4+1/8, ..., so that the entire infinite UD* is kept  
on a finite board of lenght 1: just a cone, or its projection: a  
triangle. OK?


Where is the physical reality in that picture? Nowhere, as UD* is  
purely 3p, and physics is purely 1p. Hopefully: 1p-plural (and  
Everett confirms this: our computations are contagious, we cannot  
*not* share them when interacting. But that 1p collective structure  
must (in comp) emerge at the union of all sets of all computations  
(containing our actual states), and this can be described in 3p, and  
is in the border which appears when we do the compactification.


That border, the topside of the cone, or the right side of the  
triangle of length 1, is an hologram, as each sub-branch infinitely  
often generates the UD, and the broder contains the infinite one. It  
is a bit like the border (but on dimension 1) of the Mandelbrot set.  
The physical realities are dense everywhere there and they are  
multiplied in hard to conceive magnitude, on that 2-dimensional top  
(in that representation of UD*).

Unlike the little mandelbrot sets, they might be non enumerable.

And then you have that things which I tended to hide a little bit,  
which is that the hypostases gives three quantizations, like if  
there where three type of physical realities (would that mean three  
multiverses? In 

Re: How can a grown man be an atheist ?

2013-12-21 Thread Bruno Marchal


On 20 Dec 2013, at 19:50, John Clark wrote:



On Thu, Dec 19, 2013  Jason Resch jasonre...@gmail.com wrote:

 Do you agree that after turning this computer on, and letting it  
run for a long enough time (eternity let's say), there is a 100%  
chance John Clark will eventually find himself in this computer


Yes, in fact it may have already happened.

 That would only be true if everything that could exist does  
exist, and maybe that's the way things are but it is not obviously  
true.


It doesn't require that everything to exist, it requires only one  
particular program to exist: the universal dovetailer.  This program  
and its execution exist within mathematics.


I'm pretty confident that such a program exists within mathematics,  
but I am far less confident that a computer to run it on also exists  
at that same level of reality; I'm not saying it doesn't, maybe it  
does, but I don't know it for a fact. With today's emphasis on  
software sometimes we forget that a program is useless without  
hardware to run it on.


But the hardware/software distinction might be a relative indexical.  
If you got the step 8 (or even step 7) this should easily be  
understood (or conceived).






 For example, it is a true statement that the state of this program  
after the 10^100th step of its computation has some particular value  
X, and it is also a true statement that the 10^100 + 1 step has some  
other particular value Y. It is also a true statement that the  
program corresponding to the emulation of the wave function for the  
Milky Way Galaxy contains John Clark and this particular John Clark  
believes he is conscious and alive and sitting in front of a  
computer in a physical universe.


For that you don't need to bring in Everett or Quantum Mechanics or  
virtual worlds or dovetailing or computers, all you need are the  
19'th century ideas of Ludwig Boltzmann. There are a gargantuan  
number of ways the atoms in my 200 pound body could be organized,  
but there are not a infinite number, therefore if the universe is  
spatially infinite  10^1000 light years away (give or take a few  
hundred thousand million billion trillion) there can be no doubt  
that John Clark is typing a post to the Everything list about  
Boltzmann's idea.




Boltzman still use physicalism, and Boltzman brain cannot clealry grow  
infinitely in some stable way, unlike the arithmetical UD, which  
exists in the same sense that the distribution of primes exists in  
arithmetic;


Bruno




  John K Clark













 Hence, arithmetical realism is a candidate TOE.

A candidate certainly, but is it the real deal? Maybe but it's not  
obvious.


Right, but it is a scientific question. It will not be easy but we  
can refute or confirm the theory by seeing what the UD implies for  
the physics that observers see. Everett's theory was a great  
confirmation, for without it, conventional QM with collapse (and a  
single universe) would have ruled it out. As it stands, there are  
several physical concepts that provide support for the UD being a  
valid TOE:


Quantum uncertainty
Non clonability of matter
Determinism in physical laws
Information as a fundamental physical quantity
(I think there is something I am forgetting, but Bruno can fill in  
the gaps)



 This is the grand conclusion you have been missing for all these  
years. I don't think this was obvious to Og the caveman.


Nor is it obvious to John the non-caveman.

Nice.

Jason



--
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/groups/opt_out.


--
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/groups/opt_out.


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/groups/opt_out.


Re: How can a grown man be an atheist ?

2013-12-21 Thread Jason Resch
On Fri, Dec 20, 2013 at 6:14 PM, Stephen Paul King 
stephe...@provensecure.com wrote:

 Dear LizR,

   Is math  in our heads or is it somehow out there. If it is out
 there how does it connect to what is in our heads?


Mathematicians simulate other objects and realities using their heads,
computers, or paper, etc. to learn and discover their properties.  This is
no different than some alien who lives in a different universe, simulating
the laws of our own universes, and learning about galaxies, red-shift,
black holes, etc.  These things might have no correlation to anything in
the universe of the alien, but you might rightfully ask where does the
information about black holes and red-shift come from?, the answer in both
cases is the same: simulation of other mathematical structures.

Jason


 If it is all in our heads, what does that say about Arithmetic Realism? I
 am trying to get back to some basic concepts...


 On Fri, Dec 20, 2013 at 6:28 PM, LizR lizj...@gmail.com wrote:

 On 21 December 2013 08:12, Stephen Paul King 
 stephe...@provensecure.comwrote:

 Dear Jason,

   I think it was you that wrote (to me):
 I was not defending that view, but pointing out how ridiculous it
 would be to suppose mathematical truth does not exist before it is found by
 someone somewhere.

I am trying to get some thought going. Why is it so ridiculous,
 exactly? If there exists a mathematical theorem that requires
 a countable infinity of integers to represent, no finite version can exist
 of it, in other words, can its proof be found? What is it that makes it
 true? If we remove the possibility of ever proving a theorem, what is that
 theorem's possible truth value?

 The maths that describes the behaviour of physical systems must be true
 whether anyone knows about it or not, so long as those physical systems
 continue to operate in the same manner. For example the inverse square law
 was true for billions of years before life evolved on Earth, and for
 billions more before Newton discovered it, as can be shown by observing
 distant galaxies.

 It also seems unlikely that simple arithmetic didn't work until Ug the
 caveman (or woman) discovered it. The big bang seems to have done
 nucleosynthesis by adding particles together quite happily when presumably
 there was no one around to know about it.

  --
 You received this message because you are subscribed to a topic in the
 Google Groups Everything List group.
 To unsubscribe from this topic, visit
 https://groups.google.com/d/topic/everything-list/1NWmK1IeadI/unsubscribe
 .
 To unsubscribe from this group and all its topics, 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/groups/opt_out.




 --

 Kindest Regards,

 Stephen Paul King

 Senior Researcher

 Mobile: (864) 567-3099

 stephe...@provensecure.com

  http://www.provensecure.us/


 “This message (including any attachments) is intended only for the use of
 the individual or entity to which it is addressed, and may contain
 information that is non-public, proprietary, privileged, confidential and
 exempt from disclosure under applicable law or may be constituted as
 attorney work product. If you are not the intended recipient, you are
 hereby notified that any use, dissemination, distribution, or copying of
 this communication is strictly prohibited. If you have received this
 message in error, notify sender immediately and delete this message
 immediately.”

 --
 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/groups/opt_out.


-- 
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/groups/opt_out.


Re: How can a grown man be an atheist ?

2013-12-21 Thread Bruno Marchal


On 20 Dec 2013, at 20:06, Stephen Paul King wrote:


Dear Bruno,

  Could it be that the physical world that is associated with an  
observer (using your definition of an observer) is the truth of  
that observer? I apologize for the weirdness of this question, but  
consider that nothing is more true than the 1st person experience  
that an observer has.



Truth enter in the picture in two ways:

1) by the inetnsional nuance when we add the  p, like in the first  
and second application of Theaetetus:

  Bp === Bp  p
  Bp  Dt  Bp  Dt  p
and
2) By the splitting between G and G* inherited by such variants, which  
is a spliiting between true about the machine and what the machine can  
prove.








An observer could doubt that what it experiences is real and even  
have a sophisticated argument for how it could not possibly be real,  
but nonetheless the illusion of a physical world persist...


Yes, that is captured by the Theatetus  p nuance.





  One property of Truth (at least the Platonic notion of truth) is  
that it is eternal and immutable.


OK. I would say that it is not even temporal.



There is another property that can be teased out! There is no  
contingency in that 2 + 2 = 4 and that 17 is prime.


OK.




Could it be that this 'non-contingency' is the result of the fact  
that at least a countable infinity of observers (numbers!) can  
verify to themselves that they are numbers (they cannot know which  
number they are) and thus are members of the set of numbers.
  This leads me to guess that maybe a physical world is a finite  
truth of sorts in the way that a arithmetic fact is an infinite truth.


I don't see this. Normally the physical reality inherits the computer  
science infinities.







  What would happen if we considered your UD idea on finite sets of  
numbers that are very large but still finite?


?
The UD generates and execute programs, which are all finite, by  
definition, on all data, which are 3p-finite, but 1p-infinite.




Would we still have the permanence and non-contingency of truth for  
such sets?


?

Bruno





  I like to see you speculating out loud so that I can add my own  
speculation. It could all be nonsense... :-)




On Fri, Dec 20, 2013 at 4:51 AM, Bruno Marchal marc...@ulb.ac.be  
wrote:


On 19 Dec 2013, at 22:46, Jason Resch wrote:




 8. There is no need to build the computer in step 7, since the  
executions of all programs exist within the relations between large  
numbers.


That would only be true if everything that could exist does exist,  
and maybe that's the way things are but it is not obviously true.


It doesn't require that everything to exist, it requires only one  
particular program to exist: the universal dovetailer.  This  
program and its execution exist within mathematics.


Yes, even in arithmetic, and under different important forms. Its  
many descriptions exist, and the computation are truly emulated in  
the truth referred by the theorems concerning those description.  
That is a point which met some difficulties for non-logician, as it  
is impossible to ever point a computation, without mentioning a  
description of it. The computation itself is captured by the truth  
of certain arithmetical statements, not by the existence of a  
description of those computations. The nuance is subtle, because we  
infer the existence of the computation by looking at the existence  
of some description of them, and to show that this is equivalent is  
by no means a trivial affair, linking the syntax of the theory and  
its intended meaning (and that is why we need AR). There is a need  
to really study how simple theories (like RA) can represent in some  
strong sense the partial recursive function. It is well done in  
Boolos and Jeffrey, or in Epstein  Carnielli.
The whole difficulty of step 8 is in this paragraph. Those who  
believe that a filmed boolean graph can be thinking commit a  
confusion between use and mention (like I have just described).



For example, it is a true statement that the state of this program  
after the 10^100th step of its computation has some particular  
value X, and it is also a true statement that the 10^100 + 1 step  
has some other particular value Y. It is also a true statement that  
the program corresponding to the emulation of the wave function for  
the Milky Way Galaxy contains John Clark and this particular John  
Clark believes he is conscious and alive and sitting in front of a  
computer in a physical universe.


OK.





 Hence, arithmetical realism is a candidate TOE.

A candidate certainly, but is it the real deal? Maybe but it's not  
obvious.


Right, but it is a scientific question. It will not be easy but we  
can refute or confirm the theory by seeing what the UD implies for  
the physics that observers see. Everett's theory was a great  
confirmation, for without it, conventional QM with collapse (and a  
single universe) would have ruled it out. As it stands, there 

Re: How can a grown man be an atheist ?

2013-12-21 Thread Jason Resch
On Fri, Dec 20, 2013 at 5:42 PM, John Mikes jami...@gmail.com wrote:

 Jason, you 'assume' a lot what I don't.


What specifically?

The UDA states two assumptions: computationalism and arithmetical realism.
All the rest is a logical deduction (proof) from there.



 I learned those figments in college and applied in my conventional
 research - now reduced in my credibility (agnosticism) for phizix and its
 'laws' - (in spite of the practical results which I use happily in my
 life-practice)  -  as  - some *explanatory sweat *to comply with (poorly
 if at all understood) phenomena  received in formats how the actual
 developmental level of our mentality could handle it.

 I would think twice to 'accept' an argument just to make another one
 acceptable.


You need not accept or believe in these assumptions for them to be
useful to progress.  Bruno shows only that if P and Q are true, it implies
R. We can look at R and see if it agrees with what we see, and use it as
evidence for or against (P  Q).


 Science means doubtfulness and we have no access to TRUTH - we just
 think of it.
 Computability? good method to use our brain-functions(?) to get results. I
 mean more than that embryonic binary boardgame we use, however a 'wider' 
 *computability
 *may
 include logical domains we so far did not even hear about. So beware the
 word.
 I do not like mathematicians (the old Greeks?) from before the time when
 zero was invented. (maybe Bruno's simple arithmetics is an exception?).

 I am not ready to debate my ideas: my agnostic thinking is NG for
 argumentation.


I don't think agnosticism or doubt should inhibit argumentation.  You can,
for instance, show how given certain assumptions (without believing they
are true), might they lead to consequences that are either absurd or
generally accepted.  Of course, whether some idea is considered absurd or
not might be matter of someone's beliefs.

Jason




 On Thu, Dec 19, 2013 at 4:03 PM, Jason Resch jasonre...@gmail.com wrote:




 On Thu, Dec 19, 2013 at 2:36 PM, John Mikes jami...@gmail.com wrote:

 Here is my tuppence about the *hoax-game* of the 
 *fantasy-play*'teleportation':
 It is what I said, never substantiated and placed into circumstances
 never substantiated or verified even within our imaginary physical(?)
 explanations.
 Wana play? be my guest.
 In a 'transportation' (cf: reincarnation-like?) one is supposed to
 receive new identity as fitting for the new circumstances, with memory
 arased of the old one.
 YOU2 is NOT YOU1. (Not even YOU1*).


 If you don't accept in step 1 then computationalism is false (which is
 possible, but it was an explicit assumption on which the rest of the
 reasoning is based).

 Why should we think computationalism is true?  Our particles are
 substituted all the time through normal metabolism, so the particular parts
 are not important so long as the pattern is preserved.  Further, no known
 laws of physics are incomputable, so then the brain must use some, as of
 yet, undiscovered physics in order to assert computationalism is false.

 Jason



  JM


 On Thu, Dec 19, 2013 at 3:02 PM, Richard Ruquist yann...@gmail.comwrote:

 I do not believe in #1 due to the no cloning theorem.
 If comp produces QM it must also produce the no cloning theorem.
 Richard


 On Thu, Dec 19, 2013 at 2:42 PM, Jason Resch jasonre...@gmail.comwrote:




 On Thu, Dec 19, 2013 at 11:29 AM, John Clark johnkcl...@gmail.comwrote:

 On Wed, Dec 18, 2013 at 2:05 PM, Jason Resch jasonre...@gmail.comwrote:

  Bruno: The question is: is it enough correct so that you would
 please us in answering step 4. If not: what is incorrect.
 John Clark: (No answer, deleted the question)


 I have not read step 4, however if it is built on the foundation of
 the first 3 steps



 What is the error in step 3?



  (and I can't think why it would be called step 4 if it were not)
 then I can conclude that one thing wrong with step 4 (I don't claim it is
 the only thing) is the previous 3 steps.


 I think if you read the whole set of steps (or even just the next few
 steps) you would see where things are going and wouldn't have so much
 trouble understanding the point of the third step.

 I will summarize them for you here:

 1: Teleportation is survivable
 2: Teleportation with a time delay is survivable, and the time delay
 is imperceptible to the person teleported
 3. Duplication (teleportation to two locations: one intended and one
 unintended) is survivable, and following duplication there is a 50% chance
 of finding oneself at the intended destination
 4. Duplication with delay changes nothing.  If duplicate to the
 intended destination, and then a year later duplicated to the unintended
 destination, subjectively there is still a 50% chance of finding oneself 
 at
 the intended destination
 5. Teleportation without destroying the original is equivalent to the
 duplication with delay.  If someone creates a copy of you somewhere, there
 is a 50% chance you will 

Re: How can a grown man be an atheist ?

2013-12-21 Thread Bruno Marchal


On 20 Dec 2013, at 21:09, John Clark wrote:

On Fri, Dec 20, 2013 at 3:58 AM, Bruno Marchal marc...@ulb.ac.be  
wrote:


 How many first person experiences viewed from their first person  
points of view does Bruno Marchal believe exists on planet Earth  
right now?


 The question is ambiguous.

I provided all the information needed to be crystal clear and  
unambiguous.


 In the 3p view, and the answer stays the same 7 billions (+  
animals ...).


That's a great answer but unfortunately it's NOT a answer to the  
question John Clark asked, the question never asked anything about   
the 3p view, it was never mentioned. So John Clark will repeat the  
question for a fifth time: how many first person experiences viewed  
from their first person points of view does Bruno Marchal believe  
exists on planet Earth right now?


1  (I already answered this, note).
from the 1-view, the 1-view is always unique.





 it's the sort of indeterminacy caused by a simple lack of  
information and first discovered by Og the caveman;


 Do you think Og was aware of the possibility of self-duplication?

No but the self duplicating machine in your thought experiment adds  
nothing to our understanding of indeterminacy or of anything else,  
it's just another useless wheel within a wheel.


Not at all. It proves (for the first time) the necessity of an  
indeterminacy, brought by the comp 3p *determinacy*.

But no problem if you disagree, as that point is not in the topic.

Now that you do agree with the point of step 3, what is your take on  
step 4?


Bruno

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/groups/opt_out.


Re: How can a grown man be an atheist ?

2013-12-21 Thread Bruno Marchal


On 20 Dec 2013, at 21:42, John Clark wrote:

On Fri, Dec 20, 2013 at 4:30 AM, Bruno Marchal marc...@ulb.ac.be  
wrote:
 and following duplication there is a 50% chance of finding  
oneself at the intended destination


 JOHN CLARK HATES PRONOUNS! Following duplication there is a 100%  
chance Jason Resch will be at the intended destination.


 Yes, but the question is asked before the duplication.

Then why did it include the words following duplication in the  
above?


You did not quote me.
Then, I understand the quote as alluding to the confirmation of the  
prediction done before.






 If you say 100% for this city, the guy in the other city will  
understand that he was mistaken,


For a logician you sure aren't very logical. If today I predict that  
tomorrow a green object will be found in Washington and tomorrow you  
show me a red stop sign that you found in Washington does that  
provide enough information to prove that my prediction of yesterday  
was wrong?


No. But that's a different experience. if you predict now that you  
will see Washington after pushing on the button and opening the door,  
and that after pushing the button and opening the door  you (the one  
in front of me to who I ask the question in Moscow) see Moscow, that  
will refute (from his 1p, as the question conerns the 1p) his  
prediction.






 If someone creates a copy of you somewhere, there is a 50%  
chance you will find yourself in that alternate location.


 JOHN CLARK HATES PRONOUNS! If someone creates a copy of Jason  
Resch somewhere, there is a 100% chance Jason Resch will find Jason  
Resch to be in that alternate location.


 After the duplication. Not before

Obviously after the duplication!!  Before the duplication or  
teleportation nothing unusual has happened yet so there is a 0%  
chance that Jason Resch will find Jason Resch to be in a alternate  
location.


So before I bought the quantum lottery ticket, there is 100% choice  
that I will win?

Correct from the 3p view: I do win in some universe.
Incorrect from the QM statistics: I do lose in most universes.

So here, you are oscillating between a confusion between before/after  
doing the duplication and the 1p/3p confusion.


The fact that you have to make a confusion at all cost, illustrate  
well the inconsistencies you need to refute step 3.


bruno







  John K Clark



--
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/groups/opt_out.


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/groups/opt_out.


Re: How can a grown man be an atheist ?

2013-12-21 Thread Bruno Marchal


On 21 Dec 2013, at 00:42, John Mikes wrote:


Jason, you 'assume' a lot what I don't.


Really. jason was assuming comp, and nothing more, it seems to me. Can  
you list the implicit assumptions?




I learned those figments in college and applied in my conventional  
research - now reduced in my credibility (agnosticism) for phizix  
and its 'laws' - (in spite of the practical results which I use  
happily in my life-practice)  -  as  - some explanatory sweat to  
comply with (poorly if at all understood) phenomena  received in  
formats how the actual developmental level of our mentality could  
handle it.


I would think twice to 'accept' an argument just to make another one  
acceptable.
Science means doubtfulness and we have no access to TRUTH - we  
just think of it.
Computability? good method to use our brain-functions(?) to get  
results. I mean more than that embryonic binary boardgame we use,  
however a 'wider' computability may
include logical domains we so far did not even hear about. So beware  
the word.


Church thesis makes computability into an miraculous mathematical  
definition of an otherwise epistemic notion.
yes, there is a sort of miracle there. Comp assumes it, although  
mathematically we can eliminate it.





I do not like mathematicians (the old Greeks?) from before the time  
when zero was invented. (maybe Bruno's simple arithmetics is an  
exception?).


?
It is the same arithmetic.




I am not ready to debate my ideas: my agnostic thinking is NG for  
argumentation.


Agnosticism invites to theorizing, and just be cautious to not draw  
conclusion when a theory is working (only when it is refuted).


If not, agnosticism become another don't ask philosophy.

Bruno





John M



On Thu, Dec 19, 2013 at 4:03 PM, Jason Resch jasonre...@gmail.com  
wrote:




On Thu, Dec 19, 2013 at 2:36 PM, John Mikes jami...@gmail.com wrote:
Here is my tuppence about the hoax-game of the fantasy-play  
'teleportation':
It is what I said, never substantiated and placed into circumstances  
never substantiated or verified even within our imaginary  
physical(?) explanations.

Wana play? be my guest.
In a 'transportation' (cf: reincarnation-like?) one is supposed to  
receive new identity as fitting for the new circumstances, with  
memory arased of the old one.

YOU2 is NOT YOU1. (Not even YOU1*).

If you don't accept in step 1 then computationalism is false (which  
is possible, but it was an explicit assumption on which the rest of  
the reasoning is based).


Why should we think computationalism is true?  Our particles are  
substituted all the time through normal metabolism, so the  
particular parts are not important so long as the pattern is  
preserved.  Further, no known laws of physics are incomputable, so  
then the brain must use some, as of yet, undiscovered physics in  
order to assert computationalism is false.


Jason


JM


On Thu, Dec 19, 2013 at 3:02 PM, Richard Ruquist yann...@gmail.com  
wrote:

I do not believe in #1 due to the no cloning theorem.
If comp produces QM it must also produce the no cloning theorem.
Richard


On Thu, Dec 19, 2013 at 2:42 PM, Jason Resch jasonre...@gmail.com  
wrote:




On Thu, Dec 19, 2013 at 11:29 AM, John Clark johnkcl...@gmail.com  
wrote:
On Wed, Dec 18, 2013 at 2:05 PM, Jason Resch jasonre...@gmail.com  
wrote:


 Bruno: The question is: is it enough correct so that you would  
please us in answering step 4. If not: what is incorrect.

John Clark: (No answer, deleted the question)

I have not read step 4, however if it is built on the foundation of  
the first 3 steps



What is the error in step 3?


(and I can't think why it would be called step 4 if it were not)  
then I can conclude that one thing wrong with step 4 (I don't claim  
it is the only thing) is the previous 3 steps.


I think if you read the whole set of steps (or even just the next  
few steps) you would see where things are going and wouldn't have so  
much trouble understanding the point of the third step.


I will summarize them for you here:

1: Teleportation is survivable
2: Teleportation with a time delay is survivable, and the time delay  
is imperceptible to the person teleported
3. Duplication (teleportation to two locations: one intended and one  
unintended) is survivable, and following duplication there is a 50%  
chance of finding oneself at the intended destination
4. Duplication with delay changes nothing.  If duplicate to the  
intended destination, and then a year later duplicated to the  
unintended destination, subjectively there is still a 50% chance of  
finding oneself at the intended destination
5. Teleportation without destroying the original is equivalent to  
the duplication with delay.  If someone creates a copy of you  
somewhere, there is a 50% chance you will find yourself in that  
alternate location.
6. If a virtual copy of you is instantiated in a computer somewhere,  
then as in step 5, there is a 50% chance you will find yourself  

Re: How can a grown man be an atheist ?

2013-12-21 Thread Bruno Marchal


On 21 Dec 2013, at 10:43, Jason Resch wrote:





On Fri, Dec 20, 2013 at 5:42 PM, John Mikes jami...@gmail.com wrote:
Jason, you 'assume' a lot what I don't.

What specifically?

The UDA states two assumptions: computationalism and arithmetical  
realism. All the rest is a logical deduction (proof) from there.


Yes. Although, if you indulge the nitpicking, i would say that  
aithmetical realism is part of comp (even part of Church thesis).  
Computationalism needs the notion of computation, which needs the  
notion of computational steps, which needs arithmetical realism (to  
say, for example, that a running machine stop or does not stop.







I learned those figments in college and applied in my conventional  
research - now reduced in my credibility (agnosticism) for phizix  
and its 'laws' - (in spite of the practical results which I use  
happily in my life-practice)  -  as  - some explanatory sweat to  
comply with (poorly if at all understood) phenomena  received in  
formats how the actual developmental level of our mentality could  
handle it.


I would think twice to 'accept' an argument just to make another one  
acceptable.


You need not accept or believe in these assumptions for them to  
be useful to progress.  Bruno shows only that if P and Q are true,  
it implies R. We can look at R and see if it agrees with what we  
see, and use it as evidence for or against (P  Q).


Science means doubtfulness and we have no access to TRUTH - we  
just think of it.
Computability? good method to use our brain-functions(?) to get  
results. I mean more than that embryonic binary boardgame we use,  
however a 'wider' computability may
include logical domains we so far did not even hear about. So beware  
the word.
I do not like mathematicians (the old Greeks?) from before the time  
when zero was invented. (maybe Bruno's simple arithmetics is an  
exception?).


I am not ready to debate my ideas: my agnostic thinking is NG for  
argumentation.


I don't think agnosticism or doubt should inhibit argumentation.


I agree and said so. John Mikes often talk like if we were pretending  
that something is true, which no (serious) scientists ever do.
We just argue *in* the frame of some theories. As scientists we doubt  
all theories.




You can, for instance, show how given certain assumptions (without  
believing they are true), might they lead to consequences that are  
either absurd or generally accepted.  Of course, whether some idea  
is considered absurd or not might be matter of someone's beliefs.


Yes. We can mention our personal belief ... at the pause café. We  
better do that when people get the scientific (sharable) point, so  
as not mixing what is proved to everybody, and the degree of  
plausibility of our assumptions.


Bruno





Jason



On Thu, Dec 19, 2013 at 4:03 PM, Jason Resch jasonre...@gmail.com  
wrote:




On Thu, Dec 19, 2013 at 2:36 PM, John Mikes jami...@gmail.com wrote:
Here is my tuppence about the hoax-game of the fantasy-play  
'teleportation':
It is what I said, never substantiated and placed into circumstances  
never substantiated or verified even within our imaginary  
physical(?) explanations.

Wana play? be my guest.
In a 'transportation' (cf: reincarnation-like?) one is supposed to  
receive new identity as fitting for the new circumstances, with  
memory arased of the old one.

YOU2 is NOT YOU1. (Not even YOU1*).

If you don't accept in step 1 then computationalism is false (which  
is possible, but it was an explicit assumption on which the rest of  
the reasoning is based).


Why should we think computationalism is true?  Our particles are  
substituted all the time through normal metabolism, so the  
particular parts are not important so long as the pattern is  
preserved.  Further, no known laws of physics are incomputable, so  
then the brain must use some, as of yet, undiscovered physics in  
order to assert computationalism is false.


Jason


JM


On Thu, Dec 19, 2013 at 3:02 PM, Richard Ruquist yann...@gmail.com  
wrote:

I do not believe in #1 due to the no cloning theorem.
If comp produces QM it must also produce the no cloning theorem.
Richard


On Thu, Dec 19, 2013 at 2:42 PM, Jason Resch jasonre...@gmail.com  
wrote:




On Thu, Dec 19, 2013 at 11:29 AM, John Clark johnkcl...@gmail.com  
wrote:
On Wed, Dec 18, 2013 at 2:05 PM, Jason Resch jasonre...@gmail.com  
wrote:


 Bruno: The question is: is it enough correct so that you would  
please us in answering step 4. If not: what is incorrect.

John Clark: (No answer, deleted the question)

I have not read step 4, however if it is built on the foundation of  
the first 3 steps



What is the error in step 3?


(and I can't think why it would be called step 4 if it were not)  
then I can conclude that one thing wrong with step 4 (I don't claim  
it is the only thing) is the previous 3 steps.


I think if you read the whole set of steps (or even just the next  
few steps) you would see where things 

Re: It's really all math

2013-12-21 Thread Bruno Marchal


On 21 Dec 2013, at 10:22, LizR wrote:


On 21 December 2013 22:18, Bruno Marchal marc...@ulb.ac.be wrote:

On 20 Dec 2013, at 18:48, Richard Ruquist wrote:

Bruno:  In that case a multiverse could contain another multiverse,  
a bit like a black hole could be a door to another universe.


Richard: I like that idea because Smolin hypothized and Poplawski  
confirmed using GR + spin that black holes yield at least an  
internal universe.


Interesting. Wish I could follow this more closely.

I think this is shown by the Penrose diagram of a rotating black  
hole, if I remember correctly. I certainly wrote a science fiction  
story on that basis once!


Any chance to get a PDF or link?

Bruno





--
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/groups/opt_out.


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/groups/opt_out.


Re: It's really all math

2013-12-21 Thread Richard Ruquist
http://en.wikipedia.org/wiki/Nikodem_Pop%C5%82awski

http://www.newhaven.edu/Faculty-Staff-Profiles/Nikodem-Poplawski/


1. arXiv:1310.8014 http://arxiv.org/abs/1310.8014
[pdfhttp://arxiv.org/pdf/1310.8014
, ps http://arxiv.org/ps/1310.8014, otherhttp://arxiv.org/format/1310.8014
]
Schwinger's principle in Einstein-Cartan gravity
Nikodem Poplawskihttp://arxiv.org/find/gr-qc/1/au:+Poplawski_N/0/1/0/all/0/1
Comments: 3 pages
Subjects: General Relativity and Quantum Cosmology (gr-qc); High Energy
Physics - Theory (hep-th); Quantum Physics (quant-ph)
2. arXiv:1305.6977 http://arxiv.org/abs/1305.6977
[pdfhttp://arxiv.org/pdf/1305.6977
, ps http://arxiv.org/ps/1305.6977, otherhttp://arxiv.org/format/1305.6977
]
Energy and momentum of the Universe
Nikodem Poplawskihttp://arxiv.org/find/gr-qc/1/au:+Poplawski_N/0/1/0/all/0/1
Comments: 6 pages
Subjects: General Relativity and Quantum Cosmology (gr-qc); Cosmology and
Extragalactic Astrophysics (astro-ph.CO)
3. arXiv:1304.0047 http://arxiv.org/abs/1304.0047
[pdfhttp://arxiv.org/pdf/1304.0047
, ps http://arxiv.org/ps/1304.0047, otherhttp://arxiv.org/format/1304.0047
]
Intrinsic spin requires gravity with torsion and curvature
Nikodem Poplawskihttp://arxiv.org/find/gr-qc/1/au:+Poplawski_N/0/1/0/all/0/1
Comments: 5 pages. arXiv admin note: substantial text overlap with
arXiv:1209.5772 http://arxiv.org/abs/1209.5772
Subjects: General Relativity and Quantum Cosmology (gr-qc); Cosmology and
Extragalactic Astrophysics (astro-ph.CO); High Energy Physics - Theory
(hep-th)
4. arXiv:1209.5772 http://arxiv.org/abs/1209.5772
[pdfhttp://arxiv.org/pdf/1209.5772
, ps http://arxiv.org/ps/1209.5772, otherhttp://arxiv.org/format/1209.5772
]
Gravity with spin excludes fermionic strings
Nikodem Poplawskihttp://arxiv.org/find/hep-th/1/au:+Poplawski_N/0/1/0/all/0/1
Subjects: High Energy Physics - Theory (hep-th); General Relativity and
Quantum Cosmology (gr-qc)
5. arXiv:1203.0294 http://arxiv.org/abs/1203.0294
[pdfhttp://arxiv.org/pdf/1203.0294
, ps http://arxiv.org/ps/1203.0294, otherhttp://arxiv.org/format/1203.0294
]
Affine theory of gravitation
Nikodem Poplawskihttp://arxiv.org/find/gr-qc/1/au:+Poplawski_N/0/1/0/all/0/1
Comments: 8 pages; revised version
Journal-ref: Gen. Relativ. Gravit. 46, 1625 (2014)
Subjects: General Relativity and Quantum Cosmology (gr-qc); Cosmology and
Extragalactic Astrophysics (astro-ph.CO); High Energy Physics - Theory
(hep-th); Mathematical Physics (math-ph)
6. arXiv:1201.0316 http://arxiv.org/abs/1201.0316
[pdfhttp://arxiv.org/pdf/1201.0316
, ps http://arxiv.org/ps/1201.0316, otherhttp://arxiv.org/format/1201.0316
]
Thermal fluctuations in Einstein-Cartan-Sciama-Kibble-Dirac bouncing
cosmology
Nikodem J. 
Poplawskihttp://arxiv.org/find/astro-ph/1/au:+Poplawski_N/0/1/0/all/0/1
Comments: 4 pages
Subjects: Cosmology and Extragalactic Astrophysics (astro-ph.CO); General
Relativity and Quantum Cosmology (gr-qc)
7. arXiv:.4595 http://arxiv.org/abs/.4595
[pdfhttp://arxiv.org/pdf/.4595
, other http://arxiv.org/format/.4595]
Nonsingular, big-bounce cosmology from spinor-torsion coupling
Nikodem Poplawskihttp://arxiv.org/find/gr-qc/1/au:+Poplawski_N/0/1/0/all/0/1
Comments: 7 pages; published version
Journal-ref: Phys. Rev. D 85, 107502 (2012)
Subjects: General Relativity and Quantum Cosmology (gr-qc); Cosmology and
Extragalactic Astrophysics (astro-ph.CO)


On Sat, Dec 21, 2013 at 5:23 AM, Bruno Marchal marc...@ulb.ac.be wrote:


 On 21 Dec 2013, at 10:22, LizR wrote:

 On 21 December 2013 22:18, Bruno Marchal marc...@ulb.ac.be wrote:


 On 20 Dec 2013, at 18:48, Richard Ruquist wrote:

 Bruno:  In that case a multiverse could contain another multiverse, a
 bit like a black hole could be a door to another universe.

 Richard: I like that idea because Smolin hypothized and Poplawski
 confirmed using GR + spin that black holes yield at least an internal
 universe.

 Interesting. Wish I could follow this more closely.

 I think this is shown by the Penrose diagram of a rotating black hole, if
 I remember correctly. I certainly wrote a science fiction story on that
 basis once!


 Any chance to get a PDF or link?

 Bruno




 --
 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/groups/opt_out.


 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 

Re: It's really all math

2013-12-21 Thread John Mikes
Richard:
*.Bruno:  In that case a multiverse could contain another multiverse, a
bit like a black hole could be a door to another universe - and:*
*...What surprises me is that apparently comp predicts a single multiverse
rather than than multiple multiverses...*
feeling free to fantasize - maybe congruent to the physical ways of
thinking.
Bruno, however, seems to stick to the practical worldview using the base
of the 'arithmetical' to facilitate 'reasonable' conclusions.
If I feel free to meander into fantasieland I would not restrict the
features I meet. They may be way out of the 'thinkable'.

Bruno's:
*...It is the technic which makes able to interview, and sum up infinite
interviews with the machine talking about itself*
still restricts his 'infinite' topics WITHIN the human imagination. We have
no reception to the 'machine's' beyond-the-human-mind variations. The same
applies (in my view) to an anticipation of the noch nie dagewesen (=~the
absolute NEW?) still imaginable.

We are absolutely 'closed-in' into Robert Rosen's model' of the knowable
world. (the reason why I fancy the 'infinite complexity' as the
Everything ((God?)) of which we only have portions to access - and that,
too, in adjusted ways to the capabilities of our present mental
development-levels.

This is the main reason why I have limited appreciation for past 'wise'
opinions coming from similarly limited minds (even if maybe more advanced
thinkers than myself).

John M


On Sat, Dec 21, 2013 at 4:18 AM, Bruno Marchal marc...@ulb.ac.be wrote:


 On 20 Dec 2013, at 18:48, Richard Ruquist wrote:

 Bruno:  In that case a multiverse could contain another multiverse, a bit
 like a black hole could be a door to another universe.

 Richard: I like that idea because Smolin hypothized and Poplawski
 confirmed using GR + spin that black holes yield at least an internal
 universe.



 Interesting. Wish I could follow this more closely.

 Bruno





 On Fri, Dec 20, 2013 at 12:08 PM, Bruno Marchal marc...@ulb.ac.be wrote:

 Richard,


 On 20 Dec 2013, at 12:40, Richard Ruquist wrote:

 What surprises me is that apparently comp predicts a single multiverse
 rather than than multiple multiverses.


 Interesting problem.

 Comp predicts only a single multi-dreams, which is the universal
 computation made by the UD, or the Sigma_1 complete part of arithmetic.
 I am still not sure if the material points of view will give 0, 1, 2,
 ... aleph_0, ... or more multiverses.

 A difficulty relies also in the fact that a multiverse, or even a
 physical universe is still not really well defined by the physicists
 themselves. In fact in Everett theory, we might also not be entirely sure
 if there is a multiverse, or a multi-multiverse, and such question might
 need the resolution of the quantum gravity question.

 With comp, we can say things like that: IF there are n multiverses, THEN
 they cannot interfere statistically and so you are in only one of them
 (if not they will comp-interfere), and thus they must be all small  (=
 not emulating a UD). So, only one multiverse might contain a physical
 universal dovetailing.
 Is the quantum vacuum a physical universal dovetailer?
 Is the Everett universal wave a physical universal dovetailer?
 Is the solution of the comp measure problem a physical universal
 dovetailer? Should nature compete with the universal dovetailing to win
 the measure competition?

 Ah! You make me thinking ... What is really a multiverse? Can we define
 this in ZF, or in ZF+kappa? Would it makes sense to talk  of
 alpha-multi-verse for alpha an arbitrary cardinal, or an On-multiverse,
 with On being the class of all cardinals?
 What if the ultimate structure of the physical reality is non well
 founded? That is plausible with comp (despite arithmetic is well founded).
 In that case a multiverse could contain another multiverse, a bit like a
 black hole could be a door to another universe.

 Keep in mind that for a computationalist (who is aware of the UDA
 reversal) (assuming there is no flaw of course) the physical reality is
 the border of the real reality where real is what the FPI gives for the
 average universal (and Löbian) numbers.

 You can visualized the UD by a cone of length omega (aleph_zero). Just
 take a program for a UD implemented in a universal game of life pattern.
 Then pile up the planes representing the successive evolving life pattern.
 This gives a digital cone (due to the never ending growing of the life
 pattern emulating the UD), and you can see the UD* as an infinite
 tridimensional digital cone. OK?

 Now, you can compactify that structure. You identify the planes  at 0, 1,
 2, 3, ... n, places in the infinite piling with 0, 1/2,
 1/2+1/4, 1/2+1/4+1/8, ..., so that the entire infinite UD* is kept on a
 finite board of lenght 1: just a cone, or its projection: a triangle. OK?

 Where is the physical reality in that picture? Nowhere, as UD* is
 purely 3p, and physics is purely 1p. Hopefully: 1p-plural (and 

Re: How can a grown man be an atheist ?

2013-12-21 Thread Craig Weinberg


On Saturday, December 21, 2013 4:15:58 AM UTC-5, Jason wrote:




  If you say they are not conscious because they are only made of 
 mathematical relations, then you are admitting philosophical zombies exist.


If you assume that mathematical relations are conscious because they remind 
us of ourselves, then you are denying that puppets exist.
 


 Otherwise, there would be patterns within these numbers that behave as if 
 they are conscious, write books about consciousness, have philosophy 
 courses on consciousness, etc. I say if the patterns that exist in these 
 functions talk about, and question their own subjective experiences, cry in 
 pain, and in all ways behave as if they are conscious, then they are 
 conscious.  


By that reasoning, If I see a painting of an artist painting themselves in 
a mirror, then I must assume that the figure the canvas is the painter of 
the painting.
 

 These arithmetical truths exists independently of our verification of them 
 via simulation on physical computers.


But arithmetic truths may not exist independently of *all* verification. 
Without the possibility of sensory experience in which arithmetical truths 
are presented directly, there is no reason to suppose any sort of 
existence at all. The fact of arithmetic truth makes sensory experience 
no more likely or plausible than a universe lacking any arithmetic at all, 
so we must conclude that aesthetic presence is a further fact about the 
world. From all indications, this fact of experience cannot be accessed 
theoretically in any way, and can actually be productively modeled as 'that 
which is the exact opposite of theory' (information, math, representation). 
Where arithmetic truths are generic and universal, aesthetic presence is 
proprietary and uniquely local. Aesthetic presentations are concrete rather 
than abstract, participatory rather than aloof and indirect.

Thanks,
Craig
 

  



 ...

-- 
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/groups/opt_out.


Re: It's really all math

2013-12-21 Thread Craig Weinberg


On Thursday, December 19, 2013 8:24:55 PM UTC-5, Liz R wrote:

 The unexpected surprise is the jump up the reductionist food chain in 
 the last frame.


Right, but its only surprising because there is something that we expect to 
be irreducible which is being reduced.
 



 On 20 December 2013 14:15, Craig Weinberg whats...@gmail.comjavascript:
  wrote:

 If it's all just math, what is the unexpected surprise that makes it 
 funny? Is math surprised that its math?


 On Wednesday, December 18, 2013 2:07:47 AM UTC-5, Brent wrote:

  http://abstrusegoose.com/544

 Brent
  
  -- 
 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-li...@googlegroups.com javascript:.
 To post to this group, send email to everyth...@googlegroups.comjavascript:
 .
 Visit this group at http://groups.google.com/group/everything-list.
 For more options, visit https://groups.google.com/groups/opt_out.




-- 
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/groups/opt_out.


Bruno's mathematical reality

2013-12-21 Thread Edgar Owen
All,

The fundamental nature of reality is examined in detail in my recent book 
on Reality available on Amazon under my name.

Marchal is on the right track, but reality consists not just of numbers 
(math) but is a running logical structure analogous to software that 
continually computes the current state of the universe. Just as software 
includes but doesn't consist only of numbers and math, so does reality. In 
fact the equations of physical science make sense only when embedded in a 
logical structure just as is the case in computational reality.

Modern science has a major lacuna, the notion that all of reality is 
mathematical, that prevents science from grasping the complete nature of 
reality. In truth all of reality is logical, as is software, and the 
mathematics is just a subset of the logic. After all, modern science with 
its misguided insistence that all of reality is mathematical, has had 
nothing useful to say about the nature of either consciousness or the 
present moment, the two most fundamental aspects of experience. However I 
present a computational based information approach to these in my book 
among many other things.

The second clarification that needs to be made to the post on Marchal's 
work is that human math and logic are distinct from the actual math and 
logic that computes reality. The human version is a generalized and 
extended approximation of the actual that differs from the actual 
logico-mathematical structure of reality in important ways (e.g. infinities 
and infinitesimals which don't actually exist in external reality).

I can explain further if anyone is interested, or you can read about it in 
my book...

Edgar Owen

-- 
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/groups/opt_out.


Re: It's really all math

2013-12-21 Thread Craig Weinberg


On Friday, December 20, 2013 5:26:15 AM UTC-5, Bruno Marchal wrote:


 On 20 Dec 2013, at 02:15, Craig Weinberg wrote:

 If it's all just math, what is the unexpected surprise that makes it 
 funny? Is math surprised that its math?


 It is of course only surprising for those deluded (assuming comp) into 
 thinking that there is some primitive non mathematical reality, like the 
 aristotelian theologian, who believe in a non mathematical primitively 
 physical universe.

 The real surprise, in the arithmetic internal views,  is the existence of 
 the universe (not the fact that it is not a primitive).

 The absence of X, if proved, would surprise the believers in X, in a same 
 way.

 Surprised is prejudice dependent.


But in the comic, the character who makes the joke is not supposed to be 
deluded. It's not that believers in X are surprised, its a depiction of how 
the consequences of the absence of X seem surprisingly absurd to believers 
and non-believers alike.

Craig


 Bruno





 On Wednesday, December 18, 2013 2:07:47 AM UTC-5, Brent wrote:

  http://abstrusegoose.com/544

 Brent
  

 -- 
 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-li...@googlegroups.com javascript:.
 To post to this group, send email to everyth...@googlegroups.comjavascript:
 .
 Visit this group at http://groups.google.com/group/everything-list.
 For more options, visit https://groups.google.com/groups/opt_out.


 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/groups/opt_out.


Re: How can a grown man be an atheist ?

2013-12-21 Thread John Mikes
'Implicit assumptions'? Jason seems to me as standing on the platform of
physical sciences - at least on a mthematical justification of theorems.
Even Bruno's we see is suspect: we *THINK* we see, in adjusted ways as we
can absorb phenomena, potentially including a lot more than we know about
'today'..

About Bruno's remark on 'agnosticism' (also callable: ignorance) : I don't
know (!) if a 'theory' (the partial one *within* our existent knowledge) is
working indeed, or it just SEEMS working within the limited circumstances.
Refuted? No one can include into a 'refutation' the totality, only the
elements of a content of the present model.
Finally: I don't consider agnosticism a philosophy (oxymoron). The
'practical' results we achieve in our limited science-technology are
commendable and useful, subject to Bruno's just be cautious to not draw
conclusions. (Scientific humility?)
I may include a whole wide world beyond the mathematical computations into
the term of 'compute'. That is semantic and requires a wider vocabulary
than just ONE language.

John M


On Sat, Dec 21, 2013 at 5:00 AM, Bruno Marchal marc...@ulb.ac.be wrote:


 On 21 Dec 2013, at 00:42, John Mikes wrote:

 Jason, you 'assume' a lot what I don't.


 Really. jason was assuming comp, and nothing more, it seems to me. Can you
 list the implicit assumptions?



 I learned those figments in college and applied in my conventional
 research - now reduced in my credibility (agnosticism) for phizix and its
 'laws' - (in spite of the practical results which I use happily in my
 life-practice)  -  as  - some *explanatory sweat *to comply with (poorly
 if at all understood) phenomena  received in formats how the actual
 developmental level of our mentality could handle it.

 I would think twice to 'accept' an argument just to make another one
 acceptable.
 Science means doubtfulness and we have no access to TRUTH - we just
 think of it.
 Computability? good method to use our brain-functions(?) to get results. I
 mean more than that embryonic binary boardgame we use, however a 'wider' 
 *computability
 *may
 include logical domains we so far did not even hear about. So beware the
 word.


 Church thesis makes computability into an miraculous mathematical
 definition of an otherwise epistemic notion.
 yes, there is a sort of miracle there. Comp assumes it, although
 mathematically we can eliminate it.




 I do not like mathematicians (the old Greeks?) from before the time when
 zero was invented. (maybe Bruno's simple arithmetics is an exception?).


 ?
 It is the same arithmetic.



 I am not ready to debate my ideas: my agnostic thinking is NG for
 argumentation.


 Agnosticism invites to theorizing, and just be cautious to not draw
 conclusion when a theory is working (only when it is refuted).

 If not, agnosticism become another don't ask philosophy.

 Bruno




 John M



 On Thu, Dec 19, 2013 at 4:03 PM, Jason Resch jasonre...@gmail.com wrote:




 On Thu, Dec 19, 2013 at 2:36 PM, John Mikes jami...@gmail.com wrote:

 Here is my tuppence about the *hoax-game* of the 
 *fantasy-play*'teleportation':
 It is what I said, never substantiated and placed into circumstances
 never substantiated or verified even within our imaginary physical(?)
 explanations.
 Wana play? be my guest.
 In a 'transportation' (cf: reincarnation-like?) one is supposed to
 receive new identity as fitting for the new circumstances, with memory
 arased of the old one.
 YOU2 is NOT YOU1. (Not even YOU1*).


 If you don't accept in step 1 then computationalism is false (which is
 possible, but it was an explicit assumption on which the rest of the
 reasoning is based).

 Why should we think computationalism is true?  Our particles are
 substituted all the time through normal metabolism, so the particular parts
 are not important so long as the pattern is preserved.  Further, no known
 laws of physics are incomputable, so then the brain must use some, as of
 yet, undiscovered physics in order to assert computationalism is false.

 Jason



  JM


 On Thu, Dec 19, 2013 at 3:02 PM, Richard Ruquist yann...@gmail.comwrote:

 I do not believe in #1 due to the no cloning theorem.
 If comp produces QM it must also produce the no cloning theorem.
 Richard


 On Thu, Dec 19, 2013 at 2:42 PM, Jason Resch jasonre...@gmail.comwrote:




 On Thu, Dec 19, 2013 at 11:29 AM, John Clark johnkcl...@gmail.comwrote:

 On Wed, Dec 18, 2013 at 2:05 PM, Jason Resch jasonre...@gmail.comwrote:

  Bruno: The question is: is it enough correct so that you would
 please us in answering step 4. If not: what is incorrect.
 John Clark: (No answer, deleted the question)


 I have not read step 4, however if it is built on the foundation of
 the first 3 steps



 What is the error in step 3?



  (and I can't think why it would be called step 4 if it were not)
 then I can conclude that one thing wrong with step 4 (I don't claim it is
 the only thing) is the previous 3 steps.


 I think if you read the whole set 

Re: Minds, Machines and Gödel

2013-12-21 Thread Craig Weinberg


On Thursday, December 19, 2013 10:13:25 AM UTC-5, Bruno Marchal wrote:


 On 19 Dec 2013, at 15:07, Craig Weinberg wrote:



 On Thursday, December 19, 2013 5:23:20 AM UTC-5, Bruno Marchal wrote:

 Hello Craig,


 That is the very well known attempt by Lucas to use Gödel's theorem to 
 refute mechanism. He was not the only one.

 Most people thinking about this have found the argument, and usually 
 found the mistakes in it. 

 To my knowledge Emil Post is the first to develop both that argument, and 
 to understand that not only that argument does not work, but that the 
 machines can already refute that argument, due to the mechanizability of 
 the diagonalization, made very general by Church thesis.

 In fact either the argument is presented in an effective way, and then 
 machine can refute it precisely, or the argument is based on some 
 fuzziness, and then it proves nothing.


 If 'proof' is an inappropriate concept for first person physics, then I 
 would expect that fuzziness would be the only symptom we can expect. The 
 criticism of Lucas seems to not really understand the spirit of Gödel's 
 theorem, but only focus on the letter of its application...which in the 
 case of Gödel's theorem is precisely the opposite of its meaning.

 The link that Stathis provided demonstrates that Gödel himself understood 
 this:

 So the following disjunctive conclusion is inevitable: Either mathematics 
 is incompletable in this sense, that its evident axioms can never be 
 comprised in a finite rule, that is to say, the human mind (even within the 
 realm of pure mathematics) infinitely surpasses the powers of any finite 
 machine, or else there exist absolutely unsolvable diophantine problems of 
 the type specified . . . (Gödel 1995: 310).

  
 To me it's clear that Gödel means that incompleteness reveals that 
 mathematics is not completable 


 OK. Even arithmetic.



 in the sense that it is not enough to contain the reality of human 
 experience, 


 ?


He says the 'human mind', but I say human experience.
 




 not that it proves that mathematics or arithmetic truth is omniscient and 
 omnipotent beyond our wildest dreams.


 Arithmetical truth is by definition arithmetically omniscient, but 
 certainly not omniscient in general. Indeed to get the whole arithmetical 
 Noùs, Arithmetical truth is still too much weak. All what Gödel showed is 
 that arithmetical truth (or any richer notion of truth, like set 
 theoretical, group theoretical, etc.) cannot be enumerated by machines or 
 effective sound theories.


The issue though is whether that non-enumerablity is a symptom of the 
inadequacy of Noùs to contain Psyche, or a symptom of Noùs being so 
undefinable that it can easily contain Psyche as well as Physics. I think 
that Gödel interpreted his own work in the former and you are interpreting 
it in the latter - doesn't mean you're wrong, but I agree with him if he 
thought the former, because Psyche doesn't make sense as a part of Noùs. I 
see Psyche and Physics as the personal and impersonal presentations of 
sense, and Noùs is the re-presentation of physics (meaning physics is 
re-personalized as abstract digital concepts). Physics is the 
commercialization of sense. Psyche is residential sense. Noùs is the 
hotel...commercialized residence.







 An excellent book has been written on that subject by Judson Webb 
 (mechanism, mentalism and metamathematics, reference in the bibliographies 
 in my URL, or in any of my papers).

 In conscience and mechanism, I show all the details of why the argument 
 of Lucas is already refuted by Löbian machines, and Lucas main error is 
 reduced to a confusion between Bp and Bp  p. It is an implicit assumption, 
 in the mind of Lucas and Penrose, of self-correctness, or self-consistency. 
 To be sure, I found 49 errors of logic in Lucas' paper, but the main 
 conceptual one is in that self-correctness assertion.

 Penrose corrected his argument, and understood that it proves only that 
 if we are machine, we cannot know which machine we are, and that gives the 
 math of the 1-indeterminacy, exploited in the arithmetical hypostases. 
 Unfortunately, Penrose did not take that correction into account.

 Gödel's theorem and Quantum Mechanics could not have been more pleasing 
 for the comp aficionado. 
 Gödel's theorem (+UDA) shows that machine have a rich non trivial 
 theology including physics, and QM confirms the most startling points of 
 the comp physics.


 As far as QM goes, it would not surprise me in the least that a formal 
 system based on formal measurements is only able to consider itself and 
 fails to locate the sensory experience or the motive 'power on' required to 
 formalize them in the first place.


 They don't address that question.
 Formal systems are seen as mathematical object, even number, and they 
 exist independently of us, if you still accept arithmetical realism.


I accept the realism of arithmetic representation, and that they 

Re: Bruno's mathematical reality

2013-12-21 Thread John Mikes
Dear Edgar Owen: thanks for a post with reason. I am sorry to be too old to
read your (any?) book so I take it from your present communication. You
wrote  among others:

*...Modern science has a major lacuna, the notion that all of reality is
mathematical, that prevents science from grasping the complete nature of
reality. In truth all of reality is logical, as is software, and the
mathematics is just a subset of the logic. After all, modern science with
its misguided insistence that all of reality is mathematical, has had
nothing useful to say about the nature of either consciousness or the
present moment, the two most fundamental aspects of experience. However I
present a computational based information approach to these in my book
among many other things...*

 I doubt if we can have knowledge about reality at all, especially the
complete nature of it.
I presume (hope?) you do not limit 'logical' to our present human logic?

I arrived by speculating on the diverse facets of different authors what
they call (their) coinsciousness a *response to relations* irrespective
of the performer.
Your other inconnu: *the present moment *appeared in my speculations to cut
out TIME from the view we carry about our existence (I was unsuccessful).

Finally: I hope what you deem *computational *is not restricted to a
numbers-based mathematical lingo - rather a sophisticational ways of
arriving at conclusions by ANY ways we may, or may not even know (com -
putare).

With best regards

John Mikes Ph.D., D.Sc.


On Fri, Dec 20, 2013 at 6:52 PM, Edgar Owen edgaro...@att.net wrote:

 All,

 The fundamental nature of reality is examined in detail in my recent book
 on Reality available on Amazon under my name.

 Marchal is on the right track, but reality consists not just of numbers
 (math) but is a running logical structure analogous to software that
 continually computes the current state of the universe. Just as software
 includes but doesn't consist only of numbers and math, so does reality. In
 fact the equations of physical science make sense only when embedded in a
 logical structure just as is the case in computational reality.

 Modern science has a major lacuna, the notion that all of reality is
 mathematical, that prevents science from grasping the complete nature of
 reality. In truth all of reality is logical, as is software, and the
 mathematics is just a subset of the logic. After all, modern science with
 its misguided insistence that all of reality is mathematical, has had
 nothing useful to say about the nature of either consciousness or the
 present moment, the two most fundamental aspects of experience. However I
 present a computational based information approach to these in my book
 among many other things.

 The second clarification that needs to be made to the post on Marchal's
 work is that human math and logic are distinct from the actual math and
 logic that computes reality. The human version is a generalized and
 extended approximation of the actual that differs from the actual
 logico-mathematical structure of reality in important ways (e.g. infinities
 and infinitesimals which don't actually exist in external reality).

 I can explain further if anyone is interested, or you can read about it in
 my book...

 Edgar Owen

  --
 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/groups/opt_out.


-- 
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/groups/opt_out.


Re: How can a grown man be an atheist ?

2013-12-21 Thread Jason Resch
On Sat, Dec 21, 2013 at 9:49 AM, Craig Weinberg whatsons...@gmail.comwrote:



 On Saturday, December 21, 2013 4:15:58 AM UTC-5, Jason wrote:




  If you say they are not conscious because they are only made of
 mathematical relations, then you are admitting philosophical zombies exist.


 If you assume that mathematical relations are conscious because they
 remind us of ourselves, then you are denying that puppets exist.


They don't just remind us of ourselves, they would be like us in every
way.  They have working brains; hopes, fears, desires. They are not puppets
because they are autonomous and self-driven. They evolved to use the
mathematical relations to drive themselves just as our biology and
mentality evolved to use the physical laws. From their point of view, those
mathematical relations they are a part of constitute their physical laws.
Note: from our point of view, we can't rule out that we ourselves are also
driven by some particular mathematical relation(s).






 Otherwise, there would be patterns within these numbers that behave as if
 they are conscious, write books about consciousness, have philosophy
 courses on consciousness, etc. I say if the patterns that exist in these
 functions talk about, and question their own subjective experiences, cry in
 pain, and in all ways behave as if they are conscious, then they are
 conscious.


 By that reasoning, If I see a painting of an artist painting themselves in
 a mirror, then I must assume that the figure the canvas is the painter of
 the painting.


It's what they do, not what they look like to us.  Paint on a canvas
behaves very different from an artist. If you could examine some particular
mathematical function, you might find patterns within it that behave just
like a painter making a painting. They are the same in the sense that the
computation performed by the evolving function is at some level the same as
the computation performed by some painter you know from Earth. And by
computationalism (which I know you reject) we would accept the two are
equivalently conscious.




 These arithmetical truths exists independently of our verification of
 them via simulation on physical computers.


 But arithmetic truths may not exist independently of *all* verification.
 Without the possibility of sensory experience in which arithmetical truths
 are presented directly, there is no reason to suppose any sort of
 existence at all. The fact of arithmetic truth makes sensory experience
 no more likely or plausible than a universe lacking any arithmetic at all,
 so we must conclude that aesthetic presence is a further fact about the
 world.


If we assume sensory experience only, then we can't explain mathematical
truth.  If we assume mathematical truth, then we can explain mathematical
truth and quite possibly, sensory experience. It's two (explanations) for
one (assumption).


 From all indications, this fact of experience cannot be accessed
 theoretically in any way, and can actually be productively modeled as 'that
 which is the exact opposite of theory' (information, math, representation).
 Where arithmetic truths are generic and universal, aesthetic presence is
 proprietary and uniquely local.


What about a given particular mathematical function? From the inside it
could appear proprietary and local.


 Aesthetic presentations are concrete rather than abstract, participatory
 rather than aloof and indirect.


I would say the difference between concrete and abstract is only a matter
of perspective.

Jason

-- 
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/groups/opt_out.


Re: Bruno's mathematical reality

2013-12-21 Thread Brian Tenneson
I had a question about the quote below of Edgar's.  In what sense of 
'compute' do you believe that something computes reality?  Also, I'm 
wondering if Laplace's demon is relevant.

http://en.wikipedia.org/wiki/Laplace%27s_demon


According to the article, we have:

In 2008, David 
Wolperthttp://en.wikipedia.org/w/index.php?title=David_Wolpertaction=editredlink=1
 used Cantor 
diagonalizationhttp://en.wikipedia.org/wiki/Cantor_diagonalization to 
disprove Laplace's demon. He did this by assuming that the demon is a 
computational device and showing that no two such devices can completely 
predict each 
other.[5]http://en.wikipedia.org/wiki/Laplace%27s_demon#cite_note-5
[6] http://en.wikipedia.org/wiki/Laplace%27s_demon#cite_note-6 If the 
demon were not contained within and computed by the universe, any accurate 
simulation of the universe would be indistinguishable from the universe to 
an internal observer, and the argument remains distinct from what is 
observable.




On Friday, December 20, 2013 3:52:54 PM UTC-8, Edgar Owen wrote:

the actual math and logic that computes reality.

-- 
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/groups/opt_out.


Re: Bruno's mathematical reality

2013-12-21 Thread Jason Resch
On Fri, Dec 20, 2013 at 5:52 PM, Edgar Owen edgaro...@att.net wrote:

 All,

 The fundamental nature of reality is examined in detail in my recent book
 on Reality available on Amazon under my name.


Cool, it sounds quite interesting. I've added it to my wish list.



 Marchal is on the right track, but reality consists not just of numbers
 (math) but is a running logical structure analogous to software that
 continually computes the current state of the universe.


Are you familiar with Bruno's UDA? (
http://iridia.ulb.ac.be/~marchal/publications/SANE2004MARCHALAbstract.html )

It shows that one's consciousness cannot be embedded in any *one *particular
digital universe. This is because when reality is viewed from the inside,
one's next moment of experience may bifurcate or leap to any one of an
infinite collection of consistent extensions to the computational state
that gives rise to one's present moment of experience.



 Just as software includes but doesn't consist only of numbers and math, so
 does reality. In fact the equations of physical science make sense only
 when embedded in a logical structure just as is the case in computational
 reality.

 Modern science has a major lacuna, the notion that all of reality is
 mathematical, that prevents science from grasping the complete nature of
 reality. In truth all of reality is logical, as is software, and the
 mathematics is just a subset of the logic. After all, modern science with
 its misguided insistence that all of reality is mathematical, has had
 nothing useful to say about the nature of either consciousness or the
 present moment, the two most fundamental aspects of experience.


The present moment, like the current branch in the multi-verse, and the
current laws of physics, one's current location, name, and body they
inhabit, are all indexical qualities of consciousness. They all provide the
illusion of some privileged time, branch, universe, and person. In truth,
we are in all times, all branches, all universes, and all experience is
equally ours.

I saw from your book review it is heavily focused on relativity and time.
 May I ask, what is your familiarity with QM, do you assume Everett's
many-worlds in your book's reasoning? Do you find any relation between
multi-verse theories and mathematical reality?



 However I present a computational based information approach to these in
 my book among many other things.

 The second clarification that needs to be made to the post on Marchal's
 work is that human math and logic are distinct from the actual math and
 logic that computes reality. The human version is a generalized and
 extended approximation of the actual that differs from the actual
 logico-mathematical structure of reality in important ways (e.g. infinities
 and infinitesimals which don't actually exist in external reality).


Are you saying real infinities exist only in our minds, or that our human
math cannot access infinities which really exist?


 I can explain further if anyone is interested, or you can read about it in
 my book...


Thanks, I look forward to both.

Jason

-- 
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/groups/opt_out.


Re: How can a grown man be an atheist ?

2013-12-21 Thread John Clark
On Fri, Dec 20, 2013 Stephen Paul King stephe...@provensecure.com wrote:

 I disagree, I think it is very clear. If things need to be that precise,
 if a change in a quantum state destroys our identity then we die about
 10^44 times a second; and a consciousness that never changes is not a
 consciousness.


  Do you see consciousness as a thing or as a process?


A process.

 The real question is about our minds, and despite what some like Roger
 Penrose say I think our minds are probably entirely classical.


  Why? If minds are classical then they are easy to copy, in principle.
 Why then are there not lots of John Clarks running around?


Because the difference between in principle and in practice can be huge.
There is no scientific or philosophical reason there are not lots of John
Clarks running around , it's purely technological; in less than a hundred
years, probably less than 50, things will be very different .

 John K Clark

-- 
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/groups/opt_out.


Re: How can a grown man be an atheist ?

2013-12-21 Thread John Clark
On Sat, Dec 21, 2013 at 4:46 AM, Bruno Marchal marc...@ulb.ac.be wrote:

That's a great answer but unfortunately it's NOT a answer to the question
 John Clark asked, the question never asked anything about  the 3p view,
 it was never mentioned. So John Clark will repeat the question for a fifth
 time: how many first person experiences viewed from their first person
 points of view does Bruno Marchal believe exists on planet Earth right now?


  1  (I already answered this, note). from the 1-view, the 1-view is
 always unique.


Let me be sure I understand you correctly, on this entire planet there is
only one first person experience viewed from their first person points of
view. Is that what you're saying? If so who is he, who is the lucky guy?

 John K Clark

-- 
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/groups/opt_out.


Re: How can a grown man be an atheist ?

2013-12-21 Thread Quentin Anciaux
2013/12/21 John Clark johnkcl...@gmail.com




 On Sat, Dec 21, 2013 at 4:46 AM, Bruno Marchal marc...@ulb.ac.be wrote:

 That's a great answer but unfortunately it's NOT a answer to the question
 John Clark asked, the question never asked anything about  the 3p view,
 it was never mentioned. So John Clark will repeat the question for a fifth
 time: how many first person experiences viewed from their first person
 points of view does Bruno Marchal believe exists on planet Earth right now?


  1  (I already answered this, note). from the 1-view, the 1-view is
 always unique.


 Let me be sure I understand you correctly, on this entire planet there is
 only one first person experience viewed from their first person points of
 view. Is that what you're saying? If so who is he, who is the lucky guy?


Are you dumb ? Are you really claiming that's what Bruno said ? really ? If
you say yes, then you're proving once more what a liar you are.

Quentin




  John K Clark


 --
 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/groups/opt_out.




-- 
All those moments will be lost in time, like tears in rain. (Roy
Batty/Rutger Hauer)

-- 
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/groups/opt_out.


Re: It's really all math

2013-12-21 Thread LizR
On 21 December 2013 23:23, Bruno Marchal marc...@ulb.ac.be wrote:


 On 21 Dec 2013, at 10:22, LizR wrote:

 On 21 December 2013 22:18, Bruno Marchal marc...@ulb.ac.be wrote:


 On 20 Dec 2013, at 18:48, Richard Ruquist wrote:

 Bruno:  In that case a multiverse could contain another multiverse, a
 bit like a black hole could be a door to another universe.

 Richard: I like that idea because Smolin hypothized and Poplawski
 confirmed using GR + spin that black holes yield at least an internal
 universe.

 Interesting. Wish I could follow this more closely.

 I think this is shown by the Penrose diagram of a rotating black hole, if
 I remember correctly. I certainly wrote a science fiction story on that
 basis once!


 Any chance to get a PDF or link?

 For the diagram, or the story?

The diagram's here...

http://en.wikipedia.org/wiki/File:PENROSE2.PNG

The story is in a notebook in my bedroom. It was written in the 1970s,
before the era of PCs.

-- 
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/groups/opt_out.


Re: It's really all math

2013-12-21 Thread LizR
Oops sorry you weren't replying to me. I should have read the complete
thread before I answered.

:-(


On 22 December 2013 08:43, LizR lizj...@gmail.com wrote:

 On 21 December 2013 23:23, Bruno Marchal marc...@ulb.ac.be wrote:


 On 21 Dec 2013, at 10:22, LizR wrote:

 On 21 December 2013 22:18, Bruno Marchal marc...@ulb.ac.be wrote:


 On 20 Dec 2013, at 18:48, Richard Ruquist wrote:

 Bruno:  In that case a multiverse could contain another multiverse, a
 bit like a black hole could be a door to another universe.

 Richard: I like that idea because Smolin hypothized and Poplawski
 confirmed using GR + spin that black holes yield at least an internal
 universe.

 Interesting. Wish I could follow this more closely.

 I think this is shown by the Penrose diagram of a rotating black hole,
 if I remember correctly. I certainly wrote a science fiction story on that
 basis once!


 Any chance to get a PDF or link?

 For the diagram, or the story?

 The diagram's here...

 http://en.wikipedia.org/wiki/File:PENROSE2.PNG

 The story is in a notebook in my bedroom. It was written in the 1970s,
 before the era of PCs.


-- 
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/groups/opt_out.


Re: It's really all math

2013-12-21 Thread LizR
On 22 December 2013 04:56, Craig Weinberg whatsons...@gmail.com wrote:



 On Thursday, December 19, 2013 8:24:55 PM UTC-5, Liz R wrote:

 The unexpected surprise is the jump up the reductionist food chain in
 the last frame.


 Right, but its only surprising because there is something that we expect
 to be irreducible which is being reduced.


Not quite, I think it's simply the distance involved that causes the
frisson. If he'd started with, say, history it wouldn't have been terribly
funny to have worked his way to comparative literature. If he'd
*started*from neuroscience (rather than being interrupted there) and
gone via say
psychology and a few other things to c.l., even that wouldn't have worked.

-- 
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/groups/opt_out.


Re: It's really all math

2013-12-21 Thread LizR
Also, part of the joke is the hubris / chutzpah of the interviewee, who is
attempting to parlay a degree (or whatever it is) in comparative literature
into a job at CERN (or wherever it is).


On 22 December 2013 08:55, LizR lizj...@gmail.com wrote:

 On 22 December 2013 04:56, Craig Weinberg whatsons...@gmail.com wrote:



 On Thursday, December 19, 2013 8:24:55 PM UTC-5, Liz R wrote:

 The unexpected surprise is the jump up the reductionist food chain in
 the last frame.


 Right, but its only surprising because there is something that we expect
 to be irreducible which is being reduced.


 Not quite, I think it's simply the distance involved that causes the
 frisson. If he'd started with, say, history it wouldn't have been terribly
 funny to have worked his way to comparative literature. If he'd *started*from 
 neuroscience (rather than being interrupted there) and gone via say
 psychology and a few other things to c.l., even that wouldn't have worked.


-- 
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/groups/opt_out.


Re: Bruno's mathematical reality

2013-12-21 Thread LizR
I don't have time to read many books (although I managed to get almost half
way through BOI). However, can you explain what you mean about the universe
being based on something that is running ? That seems to rely on the
prior existence of time, which is one of the things a TOE should probably
be expected to explain. Bruno's explanation involves the fact that
apparently all posible computations exist in arithmetic, which prevents
there being a need for time, which thereby becomes an emergent feature;
hence the assumptions of his theory are minimal, and seem intuitively to be
things that should logically exist, even if they didn't happen to give rise
to any universes. Can you precis your theory in the way Bruno has?
Assumptions plus derived consequences?

-- 
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/groups/opt_out.


Re: Minds, Machines and Gödel

2013-12-21 Thread LizR
Reality is analogous to a running software program. Godel's Theorem does
not apply. A human could speculate as to whether any particular state of
Reality could ever arise computationally and it might be impossible to
determine that, but again that has nothing to do with the actual operation
of Reality,since it is only a particular internal mental model of that
reality.

Wouldn't that make reality susceptible to the halting problem?

...hello, is anybody there? Why have all the stars gone out?

-- 
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/groups/opt_out.


Re: How can a grown man be an atheist ?

2013-12-21 Thread LizR
On 22 December 2013 07:55, John Clark johnkcl...@gmail.com wrote:




 On Sat, Dec 21, 2013 at 4:46 AM, Bruno Marchal marc...@ulb.ac.be wrote:

 That's a great answer but unfortunately it's NOT a answer to the question
 John Clark asked, the question never asked anything about  the 3p view,
 it was never mentioned. So John Clark will repeat the question for a fifth
 time: how many first person experiences viewed from their first person
 points of view does Bruno Marchal believe exists on planet Earth right now?


  1  (I already answered this, note). from the 1-view, the 1-view is
 always unique.


 Let me be sure I understand you correctly, on this entire planet there is
 only one first person experience viewed from their first person points of
 view. Is that what you're saying? If so who is he, who is the lucky guy?


ROTFLMAO!

OK not *quite* literally, but almost. Surely you're joking, Mr Clark!

-- 
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/groups/opt_out.


Re: How can a grown man be an atheist ?

2013-12-21 Thread LizR
On 21 December 2013 11:48, Stephen Paul King stephe...@provensecure.comwrote:

 Its Immaterial! your question has a bad premise!


Immaterial indeed :-)



 On Fri, Dec 20, 2013 at 5:43 PM, meekerdb meeke...@verizon.net wrote:

  Can you clone the number 2?  Is it classical or quantum?



-- 
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/groups/opt_out.


Re: Bruno's mathematical reality

2013-12-21 Thread meekerdb

On 12/20/2013 3:52 PM, Edgar Owen wrote:

All,

The fundamental nature of reality is examined in detail in my recent book on Reality 
available on Amazon under my name.


Marchal is on the right track, but reality consists not just of numbers (math) but is a 
running logical structure analogous to software that continually computes the current 
state of the universe. Just as software includes but doesn't consist only of numbers and 
math, so does reality. In fact the equations of physical science make sense only when 
embedded in a logical structure just as is the case in computational reality.


Modern science has a major lacuna, the notion that all of reality is mathematical, that 
prevents science from grasping the complete nature of reality. In truth all of reality 
is logical, as is software, and the mathematics is just a subset of the logic.


After the difficulties of Russell and Whitehead, and Godel's incompleteness theorem I 
thought the idea that mathematics was a subset of logic had been laid to rest.



After all, modern science with its misguided insistence that all of reality is 
mathematical, has had nothing useful to say about the nature of either consciousness or 
the present moment, the two most fundamental aspects of experience. However I present a 
computational based information approach to these in my book among many other things.


The second clarification that needs to be made to the post on Marchal's work is that 
human math and logic are distinct from the actual math and logic that computes reality. 
The human version is a generalized and extended approximation of the actual that differs 
from the actual logico-mathematical structure of reality in important ways (e.g. 
infinities and infinitesimals which don't actually exist in external reality).


I'm interested in how you avoid infinities. Do you eschew even potential 
infinities?

Brent



I can explain further if anyone is interested, or you can read about it in my 
book...

Edgar Owen

--
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/groups/opt_out.


--
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/groups/opt_out.


Re: How can a grown man be an atheist ?

2013-12-21 Thread meekerdb

On 12/21/2013 1:26 AM, Jason Resch wrote:


If there exists a mathematical theorem that requires a countable infinity of
integers to represent, no finite version can exist of it, in other words, 
can its
proof be found?


If its shortest proof is infinitely long, or if the required axioms needed to develop a 
finite proof are infinite, (or instead of infinite, so large we could not represent them 
in this universe), then its proof can't be found (by us), but there is a definite answer 
to the question.


The other possibility is that there are mutually inconsistent axioms that can be added. As 
I understand it, that was the point of 
http://intelligence.org/wp-content/uploads/2013/03/Christiano-et-al-Naturalistic-reflection-early-draft.pdf 
A truth predicate can be defined for arithmetic, but not all models or arithmetic are the 
same as the standard model.


Brent

--
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/groups/opt_out.


Re: How can a grown man be an atheist ?

2013-12-21 Thread Stephen Paul King
Hi Brent,

  I don't like these types of truth predicates since they are Platonic in
their assumptions, as if statements do not even involve or relate to finite
entities like ourselves or, more relevant to my own work, real world
computers. Consider a paper by Lou Kauffman that considers a local notion
of truth values that can oscillate:
http://homepages.math.uic.edu/~kauffman/TimeParadox.pdf




On Sat, Dec 21, 2013 at 5:28 PM, meekerdb meeke...@verizon.net wrote:

  On 12/21/2013 1:26 AM, Jason Resch wrote:

  If there exists a mathematical theorem that requires
 a countable infinity of integers to represent, no finite version can exist
 of it, in other words, can its proof be found?


  If its shortest proof is infinitely long, or if the required axioms
 needed to develop a finite proof are infinite, (or instead of infinite, so
 large we could not represent them in this universe), then its proof can't
 be found (by us), but there is a definite answer to the question.


 The other possibility is that there are mutually inconsistent axioms that
 can be added.  As I understand it, that was the point of
 http://intelligence.org/wp-content/uploads/2013/03/Christiano-et-al-Naturalistic-reflection-early-draft.pdf
 A truth predicate can be defined for arithmetic, but not all models or
 arithmetic are the same as the standard model.

 Brent

 --
 You received this message because you are subscribed to a topic in the
 Google Groups Everything List group.
 To unsubscribe from this topic, visit
 https://groups.google.com/d/topic/everything-list/1NWmK1IeadI/unsubscribe.
 To unsubscribe from this group and all its topics, 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/groups/opt_out.




-- 

Kindest Regards,

Stephen Paul King

Senior Researcher

Mobile: (864) 567-3099

stephe...@provensecure.com

 http://www.provensecure.us/


“This message (including any attachments) is intended only for the use of
the individual or entity to which it is addressed, and may contain
information that is non-public, proprietary, privileged, confidential and
exempt from disclosure under applicable law or may be constituted as
attorney work product. If you are not the intended recipient, you are
hereby notified that any use, dissemination, distribution, or copying of
this communication is strictly prohibited. If you have received this
message in error, notify sender immediately and delete this message
immediately.”

-- 
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/groups/opt_out.


Newbie

2013-12-21 Thread Edgar Owen
Hi, I just joined the group and have a few questions since it's the first 
Google Group I'm on.

First I assume the group must be moderated since it seems to take quite a 
while for my posts to show up. Is this so and who is/are the moderator(s).

Second I thought I set my settings to get all posts as emails on my MacMail 
so I can reply there which is best for me. But I see a lot of posts on the 
group website I don't seem to be getting in my MacMail. Can anyone tell me 
if there is some delay or how to set that correctly?

Thanks,
Edgar


-- 
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/groups/opt_out.


Re: Bruno's mathematical reality

2013-12-21 Thread Edgar Owen
Hi John,

First thanks for the complement on my post!

To address your points. Of course we do have some knowledge of reality. We 
have to have to be able to function within it which we most certainly do to 
varying degrees of competence. That is proof we do have sufficient 
knowledge of reality to function within it.

Yes, computations include logic as well as math.

Best,
Edgar




On Friday, December 20, 2013 6:52:54 PM UTC-5, Edgar Owen wrote:

 All,

 The fundamental nature of reality is examined in detail in my recent book 
 on Reality available on Amazon under my name.

 Marchal is on the right track, but reality consists not just of numbers 
 (math) but is a running logical structure analogous to software that 
 continually computes the current state of the universe. Just as software 
 includes but doesn't consist only of numbers and math, so does reality. In 
 fact the equations of physical science make sense only when embedded in a 
 logical structure just as is the case in computational reality.

 Modern science has a major lacuna, the notion that all of reality is 
 mathematical, that prevents science from grasping the complete nature of 
 reality. In truth all of reality is logical, as is software, and the 
 mathematics is just a subset of the logic. After all, modern science with 
 its misguided insistence that all of reality is mathematical, has had 
 nothing useful to say about the nature of either consciousness or the 
 present moment, the two most fundamental aspects of experience. However I 
 present a computational based information approach to these in my book 
 among many other things.

 The second clarification that needs to be made to the post on Marchal's 
 work is that human math and logic are distinct from the actual math and 
 logic that computes reality. The human version is a generalized and 
 extended approximation of the actual that differs from the actual 
 logico-mathematical structure of reality in important ways (e.g. infinities 
 and infinitesimals which don't actually exist in external reality).

 I can explain further if anyone is interested, or you can read about it in 
 my book...

 Edgar Owen



-- 
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/groups/opt_out.


Re: Origin of probabilities and their application to the multiverse

2013-12-21 Thread meekerdb

On 12/21/2013 1:17 AM, Bruno Marchal wrote:


On 20 Dec 2013, at 16:48, Richard Ruquist wrote:


http://arxiv.org/pdf/1212.0953.pdf


  Origin of probabilities and their application to the multiverse

Andreas Albrecht http://arxiv.org/find/gr-qc/1/au:+Albrecht_A/0/1/0/all/0/1, Daniel 
Phillips http://arxiv.org/find/gr-qc/1/au:+Phillips_D/0/1/0/all/0/1

(Submitted on 5 Dec 2012)

We argue using simple models that all successful practical uses of 
probabilities
originate in quantum fluctuations in the microscopic physical world around 
us,
often propagated to macroscopic scales. Thus we claim there is no physically
verified fully classical theory of probability. We comment on the general
implications of this view, and specifically question the application of 
classical
probability theory to cosmology in cases where key questions are known to 
have no
quantum answer.

Richard: I cannot copy over the relevant portions of the text. They 
conclude:

thus are very skeptical of multiverse theories that depend on classical
probabilities for their predictive power.

 Is it a snooker? Does not MWI use quantum probabilities?
It might be worth a read.








They assumed QM, and physicalism, which are not available options once we assume 
computationalism.


I think you answered to quickly, without reading the paper. Probably they do assume 
physicalism, but I don't think it enters into their argument; and I think their 
conclusions are compatible with your theories.


Brent

MWI somehow does bring back classical probability, from the quantum, making it into an 
ignorance about the computations which bear our actual relative state, in the comp theory.


Bruno



http://iridia.ulb.ac.be/~marchal/ http://iridia.ulb.ac.be/%7Emarchal/



--
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/groups/opt_out.


--
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/groups/opt_out.


For Profit Online University (Short Video You Should Watch)

2013-12-21 Thread Craig Weinberg
http://t.co/cFfMA7zzPB


Adult Swim has been quietly airing this fake infomercial for For-Profit 
 Online University all this week at 4am. *FPOU* is a one-off special from 
 a conglomerate of former *Onion *writers called Wild Aggressive 
 Doghttps://twitter.com/wildaggressive, 
 which is made up of Geoff Haggerty, Dan Klein, Matthew Klinman, Michael 
 Pielocik, Chris Sartinsky, and Sam West. *FPOU* was written and directed 
 by West, with some writing assistance from the other Wild Aggressive Dog 
 writers, and it stars Nicole Byer, Nick Corirossi, and Brian Huskey, among 
 others. The network has been airing faux-infomercial's late at night, like 
 Michael 
 Ian Black's series *You're 
 Whole*http://video.adultswim.com/youre-whole/smoothies-pumpkins-cookies.htmlor
  Rob 
 Huebel's one-off Dragon Shumway knife 
 infomercialhttp://splitsider.com/2012/11/check-out-rob-huebels-new-adult-swim-infomercial-swords-knives-very-sharp-objects-and-cutlery/,
  
 but *FPOU* is the best one yet.


-- 
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/groups/opt_out.


Re: Bruno's mathematical reality

2013-12-21 Thread Craig Weinberg
For me, the critical issue for accounting for everything under a single 
reality theory is what I call the Presentation Problem. In simple terms, 
there is no logical reason for the logical universe to produce shapes, 
colors, flavors, or feelings of any kind when we already know that 
information processing can occur using only quantitatively formatted 
signals. I include under the Presentation Problem five well known or easily 
observed issues:

*1. Hard Problem* = Why is X presented as an experience?

(X = “information”, logical or physical functions, calcium waves, action 
potentials, Bayesian integrations, etc.)

*2. Explanatory Gap* = How and where is presentation accomplished with 
respect to X?

*3. Binding Problem* = How are presented experiences segregated and 
combined with each other? How do presentations *cohere*?

*4. Symbol Grounding* = How are experiences associated with each other on 
multiple levels of presentation? How do presentations *adhere*?

*5. Mind Body Problem* = Why do public facing presences and private facing 
presences seem ontologically exclusive and aesthetically opposite to each 
other?

http://multisenserealism.com/the-competition/the-presentation-problem/

Without tying all of these together in a plausible way, I don't see 
anything to recommend computation over physics or mythology or any other 
creation schema that can be supported.

Thanks,
Craig



On Friday, December 20, 2013 6:52:54 PM UTC-5, Edgar L. Owen wrote:

 All,

 The fundamental nature of reality is examined in detail in my recent book 
 on Reality available on Amazon under my name.

 Marchal is on the right track, but reality consists not just of numbers 
 (math) but is a running logical structure analogous to software that 
 continually computes the current state of the universe. Just as software 
 includes but doesn't consist only of numbers and math, so does reality. In 
 fact the equations of physical science make sense only when embedded in a 
 logical structure just as is the case in computational reality.

 Modern science has a major lacuna, the notion that all of reality is 
 mathematical, that prevents science from grasping the complete nature of 
 reality. In truth all of reality is logical, as is software, and the 
 mathematics is just a subset of the logic. After all, modern science with 
 its misguided insistence that all of reality is mathematical, has had 
 nothing useful to say about the nature of either consciousness or the 
 present moment, the two most fundamental aspects of experience. However I 
 present a computational based information approach to these in my book 
 among many other things.

 The second clarification that needs to be made to the post on Marchal's 
 work is that human math and logic are distinct from the actual math and 
 logic that computes reality. The human version is a generalized and 
 extended approximation of the actual that differs from the actual 
 logico-mathematical structure of reality in important ways (e.g. infinities 
 and infinitesimals which don't actually exist in external reality).

 I can explain further if anyone is interested, or you can read about it in 
 my book...

 Edgar Owen



-- 
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/groups/opt_out.