> On 23 Apr 2019, at 20:06, 'Cosmin Visan' via Everything List > <[email protected]> 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 >> <[email protected] <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 [email protected] > <mailto:[email protected]>. > To post to this group, send email to [email protected] > <mailto:[email protected]>. > 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
