On Fri, Jan 10, 2014 at 6:06 PM, LizR <[email protected]> wrote: > On 11 January 2014 12:54, meekerdb <[email protected]> wrote: > >> On 1/10/2014 1:42 AM, Bruno Marchal wrote: >> >> Second, a reality can exist without being computed. the best and simple >> example is arithmetic. Only a very tiny part of it is computable (this is >> provable if you accept the Church Turing thesis). >> >> But it's questionable whether it "exists". >> > > Does it kick back? Could two beings in different universes, with different > laws of physics (if such exist) discover it independently? > > If so, it exists by any reasonable definition (including Stephen's) >
I would say it definitely kicks back: it's not physically possible to write a correct proof that 17 is a composite using a pen and paper. 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 [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/groups/opt_out.
