On 16 Jun 2014, at 00:57, Russell Standish wrote:
On Sun, Jun 15, 2014 at 01:33:14PM +0200, Bruno Marchal wrote:
On 14 Jun 2014, at 12:13, Russell Standish wrote:
Changled title again, as this has wandered a lot from tronnies.
On Sat, Jun 14, 2014 at 10:08:08AM +0200, Bruno Marchal wrote:
If there were a reason why a primitive matter was needed (to select
and incarnate consciousness), there would be number X and Nu which
would emulate validly "Brunos and Davids" finding that reason, and
proving *correctly* that they don't belong only to arithmetic,
which
would be false, and that is a mathematical contradiction, even if
Why is it false? Why couldn't the numbers X and Nu belong both to
arithmetic and the primitive matter?
That could happen, but that could also not happen.
Then the proof is not false.
Yes, it is. If the proof was correct, it could not happen.
That cannot be
validly related to the proof found by Bruno and David in the UD, as
you can conceive that arithmetical truth is independent of the
presence of absence of primitive matter.
Of course, but if you so conceive,
This follows from logic alone.
then presumably Bruno and David
never correctly find a reason why primitive matter is needed.
Indeed. That's the very point.
Bruno
--
----------------------------------------------------------------------------
Prof Russell Standish Phone 0425 253119 (mobile)
Principal, High Performance Coders
Visiting Professor of Mathematics [email protected]
University of New South Wales http://www.hpcoders.com.au
Latest project: The Amoeba's Secret
(http://www.hpcoders.com.au/AmoebasSecret.html)
----------------------------------------------------------------------------
--
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 [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
http://iridia.ulb.ac.be/~marchal/
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
