Wrong Bruno, Flying pink elephants could be 'off mass shell', virtual elephants. Their color is a superposition of pink and not pink, which makes them, on average, colorless unless we look *very* carefully.
Your test for 'reality' is unphysical because it assumes that *infinite computations that consume no resources* can be accessed for confirmation of &p. The argument is simple: a proof of a sentence is equivalent to a computation of the model of the sentence. If the sentence is inconsistent, then the model cannot be generated. The *Reality* of p is the by-product of mutual agreement of all possible testers/provers/interviewers of p, not some transcendent *Being*. There there is a flaw in the premise of Arithmetic realism. Thus I present 'fictionalism' as a way to illustrate my counterexample to your claim of 'absolute truth' for Bp&p.. On Sat, Jun 8, 2013 at 4:02 AM, Bruno Marchal <[email protected]> wrote: > > On 08 Jun 2013, at 05:15, meekerdb wrote: > > On 6/7/2013 4:00 PM, Stephen Paul King wrote: > > Yes, if there was a text of this it would be nice... I found this: > http://plato.stanford.edu/entries/fictionalism-mathematics/ > > > A fictionalist account holds that some things are fictional, i.e. don't > exist even though their complete description is self-consistent. > Everythingists apparently reject this idea. Platonists seem to equate > 'true' with 'exists'. If you believe 17 is prime you must believe 17 > exists. I think this is wrong. If you believe that a flying pink > elephant is pink, must you believe a flying pink elephant exists? > > > > Flying pink elephants are pink and not pink. That's why flying pink > elephant can't exist. > > 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 [email protected]. > > To post to this group, send email to [email protected]. > Visit this group at http://groups.google.com/group/everything-list?hl=en. > 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 a topic in the > Google Groups "Everything List" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/everything-list/_ONFIcyntY4/unsubscribe?hl=en > . > To unsubscribe from this group and all its topics, 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?hl=en. > 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/everything-list?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
