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 <marc...@ulb.ac.be> 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 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?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 > 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?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 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?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
