> On 23 Apr 2019, at 20:06, 'Cosmin Visan' via Everything List > <everything-list@googlegroups.com> wrote: > > So what does "computer science" has to do with consciousness ? It seems to me > that you just make a random connection.
I assume the indexical digital mechanist hypothesis, which assume that there exists a level of description of myself such that I survive a functional digital substitution at that level. That is a common assumption, and is very cheap. It is imply by all know physical laws, and it is used implicitly in many theories, like the theory of evolution. But after Gödel-Turing (and others), we know today that the very elementary arithmetic (even accepted by ultra-intuitionist) is Turing complete. That makes directly dubious the “certainty” that there is a ontological irreducible material universe, and even physicalism. But then the math, and the experience confirms it. It is up to a believer in a material universe to explain how that universe selects a computation among the infinities (going through our states) which are realised (in a sense identical to the truth that 2+2=4). With mechanism, we cannot assume more than very elementary arithmetic (PA without induction. Precisely, classical logic + 1) 0 ≠ s(x) 2) x ≠ y -> s(x) ≠ s(y) 3) x ≠ 0 -> Ey(x = s(y)) 4) x+0 = x 5) x+s(y) = s(x+y) 6) x*0=0 7) x*s(y)=(x*y)+x (s is for the successor function). With comments: 0 ≠ s(x) (= 0 is not the successor of a number) s(x) = s(y) -> x = y (different numbers have different successors) x = 0 v Ey(x = s(y)) (except for 0, all numbers have a predecessor) x+0 = x (if you add zero to a number, you get that number) x+s(y) = s(x+y) (if you add a number x to the successor of a number y, you get the successor of x added to y) x*0=0 (if you multiply a number by 0, you get 0) x*s(y)=(x*y)+x (if you multiply a number x by the successor of y, you get the number x added to the multiplication of the number x with y) Bruno > > On Friday, 19 April 2019 13:12:03 UTC+3, Bruno Marchal wrote: > >> On 19 Apr 2019, at 09:16, 'Cosmin Visan' via Everything List >> <everyth...@googlegroups.com <javascript:>> wrote: >> >> It's still not clear to me what your concept of "machine" is. Is it just an >> abstract theory or is it some actually existing entity ? > > It is a machine in the sense of computer science. > > > -- > 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>. > 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 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.