On Sat, Aug 10, 2019 at 1:09 PM Bruno Marchal <[email protected]> wrote:
*> “Digital machine” is just an expression referring to the kind of machine > defining Universal system. They are finite mathematical object.* > If it's a mathematical object then it's not a machine because machines change and mathematics doesn't. *> Finite object can be identified with their Gödel numbers without > problem.* Identified by who? Identified by brains made of matter that obey the laws of physics that are inside the heads of mathematicians. >> You postulate physics every time you wish to get to the outer side but > refuse to step off the curb into the street if you judge that a physical > car moving at its current physical speed will intersect with your physical > body before you have time to get to the other side. And you are not the > only one, for the last 500 million years without exception every single one > of your ancestors has postulated physics or you wouldn't be here today; I'm > sure some animals ignored physics but they left no descendants. > > *> Where is the physical assumption in the theory, which I recall can be > put in the form:* >> >> > *1) If A = B and A = C, then B = C* >> >> > *2) If A = B then AC = BC* >> >> > *3) If A = B then CA = CB* >> >> > *4) KAB = A* >> >> > *5) SABC = AC(BC)I do not use any other assumption.* I don't see any physics in the above either, that's why it can't change and if it can't change it can't compute. *> You can also assume classical logic +* > > > > > > > *1) 0 ≠ s(x)2) x ≠ y -> s(x) ≠ s(y)3) x ≠ 0 -> Ey(x = s(y)) 4) x+0 = x5) > x+s(y) = s(x+y)6) x*0=07) x*s(y)=(x*y)+x* > Those squiggles are slightly different but I still don't see any physics in them, and so it still can't change and it still can't compute. *> In English:* > > > > > > > *1) 0 is not the successor of a number2) Different numbers have different > successors3) Except for 0, all numbers have a predecessor4) If you add zero > to a number, you get that number5) If you add a number x to the successor > of a number y, you get the successor of x added to y6) If you multiply a > number by 0, you get 07) 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* > As everyone can see, there is no physical assumption. > And as everyone can see there is no computation in the above without "you" to actually *do* things, and "you" is made of matter that obeys the laws of physics. > >> People observed that whenever they added two physical things to two > more physical things they always got a invariant quantity, four physical > things. People then used inductive reasoning to conclude this would always > be true even when they are not observed, and at least until the discovery > of quantum mechanics this has all worked out fine. But if you wait long > enough induction will always let you down. > > *> Let us use “inductive inference” in place of “induction” to avoid a > confusion between mathematical induction and inductive inference.* > Why use different words when it's the same thing? Induction just says that things usually continue and animals have been making very good use of that fact for at least 500 million years. For a few hundred years mathematicians have been using induction to generalize things by saying if they can prove that something is true for integer n and if they can also prove its true for integer n+1 then they have proven it is true for ANY integer larger than n. And that line of reasoning all seems to work very well; but Bertrand Russell, a man who knew a thing or two about mathematical logic and induction said: *“The man who has fed the chicken every day throughout its life at last wrings its neck instead, showing that more refined views as to the uniformity of nature would have been useful to the chicken."* Mathematicians say that if n is prime then n+1 can not be prime because it is divisible by 2, however if n+1 is a lot larger than 10^100^100^100 then the entire multiverse may lack the computational resources needed to divide n+1 by 2 or by any other number. So if n+1 can't be divided by any integer then by definition both n and n+1 are prime. > >> A theory must fit the facts and it's easy to do that with > consciousness because there are no facts about it to fit except that I John > Clark am conscious. > > > *But there is an infinity of John Clark in arithmetic, * > An infinity? There may or may not be an infinity of John Clarks in the Multiverse but there is not even one John Clark in arithmetic; I know this for a fact because I know for a fact that John Clark can change and I know for a fact that arithmetic can't. > > *and you have to drive the appearance of matter from the first person > indeterminacy * > First person indeterminacy is just your prosaic observation that people are not omniscient, for some reason you think this is a revolutionary new discovery but I feel no duty whatsoever to explain it. >> If the ability to change by interacting with time and space is magic > then yes, matter has a certain magic that numbers lack. > > *> Good! **It is that magic which makes you not Turing emulable, once you > link consciousness and piece of matter.* > That statement does not compute. I can change and if matter can change by interacting with time and space then a material Turing Machine can emulate me. *> Textbook does not make calculation.* > I agree, so telling me to look at a textbook can not strengthen your argument. To make a calculation you need 2 things: 1) Matter 2) Organization made in the way Turing described. Textbooks only have one of those attributes, and pure numbers don't have any. > > See Davis “computability and unsolvability” chapter 4 > Davis “computability and unsolvability” chapter 4 is incapable of figuring out what 2+2 is because Davis “computability and unsolvability” chapter 4 never changes. > > *Read the chapter 4 of Davis’ book for all (tedious) details, or read > Gödel’s 1931 paper.* > Davis’ book and Gödel’s 1931 paper are made of matter but it is not organized in the way Turing described thus neither one has the ability to figure out what 2+2 is. Bruno, I think your problem is that although you can follow each individual step in a proof when you get to the end you really don't understand what has just been proven. >> It the computations performed by a mathematical oracle are real then so > is the magic performed by Harry Potter. > > *> No, because all mathematician and scientists agrees it is > arithmetically or set theoretically real. * > Theoretically real? I don't know what that means. *> I know nobody who take seriously the magic of Harry Potter, most would > say it is only for entertaining.* > Harry Potter is English fiction, it answers the question what would happen if a boy could do magic. Mathematical oracles are mathematical fiction, it answers the question what would happen if a machine could solve problems that a Turing Machine couldn't. >> I don't know what the definition of "mechanism" is in Brunospeak, > *>Please stop this bullying ad hominem absurdity.* Ad hominem my ass! You persist in making up a new language and inventing eccentric definitions for very common words like God and atheism (which is somehow very close to Christianity) and theology and primitive and even the personal pronoun "you"; and the truth is that in your language I really don't know what "mechanism" means in Brunospeak or how it differs from "materialism". *> You already said yes to the doctor! I can have some admiration for that.* > Well thank you. Examples are better than definitions so does that mean I believe in "mechanism"? Do I also believe in "materialism"? I'm not kidding, I don't know if I believe in those things or not because I don't know what the words mean in your unique language. > > *You posit the existence of some god, that* [...] > And that is my cue to skip to the next paragraph because nothing interesting ever follows. *> following Aristotle theology* [...] > And that is my cue to say goodnight. 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]. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/CAJPayv1HjGc0fD%2BQ2DR%2B1WntQ3mh2mG8y_v2Bf6wrqKm1RBJtA%40mail.gmail.com.
