> On 9 May 2019, at 20:26, Philip Thrift <cloudver...@gmail.com> wrote: > > > > On Thursday, May 9, 2019 at 11:56:41 AM UTC-5, Bruno Marchal wrote: > >> On 6 May 2019, at 01:40, cloud...@gmail.com <javascript:> wrote: >> >> >> >> The Church-Turing thesis is one of the most useless ideas ever invented. > > > You know that? > > > I just say that CTT (as it is acronymized) is a type of dogmatic theism (like > YHWH <https://en.wikipedia.org/wiki/Names_of_God_in_Judaism#YHWH>).
CT, or CTT if you prefer, is refutable. I am not sure YHWH is refutable, although to prove this would require some thorough research. The 8 universal machine hypostases are embedded in the neoplatonist zephirots, as I have discovered recently. The neoplatonist christians, jews, and muslims are very close to the (Löbian) universal machine. > > Better to ignore it. Have you understood the simple proof of incompleteness that I gave? CTT changes everything. It is the important part of Digital Mechanism, if only to define “digital” in a mathematically precise way. We can ignore it, because we could just define “computable” by Turing-computable, or lambda-calculable, … but this is dishonest, and makes sense only if we assume CTT. Then, there are tuns of evidences for CT, and none against it. There are evidence comping from the empirical reality, and very deep theoretical evidences too. Bruno > > > @philipthrift > > > > -- > 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 > <mailto:everything-list+unsubscr...@googlegroups.com>. > To post to this group, send email to everything-list@googlegroups.com > <mailto:everything-list@googlegroups.com>. > Visit this group at https://groups.google.com/group/everything-list > <https://groups.google.com/group/everything-list>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/everything-list/88dc548e-2681-4231-9cd3-c0d15fd9deec%40googlegroups.com > > <https://groups.google.com/d/msgid/everything-list/88dc548e-2681-4231-9cd3-c0d15fd9deec%40googlegroups.com?utm_medium=email&utm_source=footer>. > For more options, visit https://groups.google.com/d/optout > <https://groups.google.com/d/optout>. -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/74205C50-A2E0-4A8B-A641-2220D84AAEBA%40ulb.ac.be.
