> On 6 Nov 2018, at 17:27, John Clark <[email protected]> wrote: > > On Tue, Nov 6, 2018 at 4:05 AM Bruno Marchal <[email protected] > <mailto:[email protected]>> wrote: > > > Even “Deep Blue”, the program who win Chess tournaments, would not be > > interestingly described as a bunch of atoms, > > Seems pretty damn interesting to me. > > > as it do not lost his identity when run on a different machine. > > Huh? That is exactly what makes it so interesting! Atoms are generic so the > only thing that gives Deep Blue its identity is the description, that is to > say the information, on how those generic atoms are arranged. If the atomic > arrangement has the same logic flow then its the same Deep Blue, although the > execution speed may be different depending on the hardware.
The position of the atoms of deep blue has nothing to so with deep blue. It can run on different atoms, as you say, but also run in arithmetic, or run by universal system. Deep blue itself will not see any difference. You can, but you are not deep blue. > > > You confuse the [....] > > Enough with the "you confuse" crap, you're the one who's befuddled by > personal pronouns. > > > The atoms position of deep blue’s incarnation is not relevant for Deep Blue > > identity. > > It's the only thing that IS relevant for Deep Blue's identity, unless you > want to invoke mumbo jumbo like the soul. The soul is defined by using the standard notion of “knowing entity”. The soul is the one conscious, or the one estimating having survived a brain transplant, or teleportation. > > >>Turing did more than prove the Halting Problem has no solution, with his > >>machine he also showed us exactly how the laws of physics could produce > >>arithmetic. > > >What? > > Alonzo Church independently proved the Halting Problem has no solution a few > months before Turing but unlike Church in doing so Turing also showed how > matter that obeys the laws of physics can produce arithmetic. On the contrary, if only because Gödel already shown that this is totally impossible. The machine can compute some arithmetical relation, but only the sigma_1 one. It can only scratch the arithmetical reality. > That's why Godel thought Turing's work was more important than Church's and > that's why Turing is more famous today. Gödel accepted the Church’s thesis thanks to Turing. But he did not buy its naturalist assumption, and I doubt he would have said that Turing’s contribution was more important than Church’s one. He was not the kind of person gossiping on others. > > >Where? > > HERE <https://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf> > > It's the paper "On Computable Numbers, with an Application to the > Entscheidungsproblem" finished on May 28 1936. It is the book by Davis. If you would only read it you would understand what I mean when I say that “computation” is an arithmetical notion. To be sure, there a lot of mistake in the papers, and the notation are non standard. Better to read Davis, or any modern book. What I say here is explained in all introductory books. > > > You are lying. > > You're mother wears army boots. > > >> why is it that if I change the physical object that is your brain your > >> mind changes and when you change your mind your brain changes? The > >> function F(x)=x^2 is a mathematical object and it remains the same > >> regardless of what I do to your brain, but your mind doesn't. > > > That is simple to explain > > Whenever somebody says something is simple to explain and then doesn't do so > you can be certain it is not simple to explain. As long as you find step 3 complicated to understand, I am not sure what simple can mean for you. Bruno > > 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 [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.
