On Fri, Jan 10, 2014 at 6:06 PM, LizR <lizj...@gmail.com> wrote:

> On 11 January 2014 12:54, meekerdb <meeke...@verizon.net> 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 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.
For more options, visit https://groups.google.com/groups/opt_out.

Reply via email to