Re: Smullyan Shmullyan, give me a real example

From: Kim Jones <kimjones.domain.name.hidden>
Date: Thu, 25 May 2006 17:04:31 +1000

Bruno,

what would an "unreasonable machine" be like? You seem to be implying
they exist, also that they can prove things about their possible
neighborhoods and or histories. (?)

Kim




On 23/05/2006, at 8:25 PM, Bruno Marchal wrote:

> Is it not utterly obvious that, IF we are (hopefully
> reasonable) machine, THEN we will learn something genuine by studying
> what (reasonable) machines can prove about themselves and about their
> possible neighborhoods and or histories?

--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everything-list.domain.name.hidden
To unsubscribe from this group, send email to everything-list-unsubscribe.domain.name.hidden
For more options, visit this group at http://groups.google.com/group/everything-list
-~----------~----~----~----~------~----~------~--~---
Received on Thu May 25 2006 - 03:05:54 PDT

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:11 PST