On Tue, Jun 17, 2014 at 10:27:02AM +0200, Bruno Marchal wrote: > > 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.
Are you trying to suggest that you've derived a contradiction here? If so, then I don't see it. > > > >>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 Not really, because you've only proved a non inconsistency of the assumption "arithmetical truth is independent of the presence of absence of primitive matter", not its truth. -- ---------------------------------------------------------------------------- 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.
