Question: If God is the 3-character ASCII sequence G-O-D, does that require God to be American?
If not, then what, Unicode? UTF-8? ISO/IEC 10646? Same for Bruno, I am also curious about this question for notation for the Löbian Machine. And if not for this very instant, then I ask what encoding standard should be preferred in its future implementation? I know this query sounds absurd but if any of these things are to become real (assuming they are not already), then will they not require definition not merely of notation but of the substructure of that very notation? Or if these are not notations and exist only in the mind (of 1p? of 3?) then is that not already self-referential proof? Do my letters have any weight in this argument or are John Clark and Bruno Marchal the same symbol talking to itself? On Wednesday, October 3, 2018 at 12:10:53 PM UTC-4, John Clark wrote: > > On Wed, Oct 3, 2018 at 11:27 AM Bruno Marchal <mar...@ulb.ac.be > <javascript:>> wrote: > > >> > *Please read Plotinus or Proclus* >> > > Not a snowball's chance in hell!! I'd learn more science and mathematics > from reading Mother Goose. > > >>So there is not one God there are an infiniti of them >> >> >> *>No, there is only one. The reason why you are here is the same as the >> reason why any universal number exist. I did not say that any machine is >> god.* >> > > You said "*Consider any digital machine. It corresponds to some number k* > [...] *The theology of the machine k is define by the set of all true > sentence about k".* And all true statements about digital machine k are > not the same as all true statements about digital machine k+1. And if > theology is the study of God then there are a infinity of Gods. And not one > of those Gods is as smart as a sea slug. > > I said it before I'll say it again, you've abandoned the idea of God but > refuse to abandon the 3 character ASCII sequence G-O-D. > > John K Clark > > > > > -- 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 https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
