T
Touchstone
Guest
You keep objecting to the criticisms, many of which here have provided substance and detail, with just a waving of your hands. You don’t deign to grace us with the substance of your criticisms of our criticisms. I think it’s a waste of time to get bogged down in worrying about who’s “arrogant” and other personal assessments, but to waste a moment, it strikes me as arrogant to suppose one’s response is sufficient just with a wave of the hand in opposition to the substance offered. So it cuts both ways, I suggest, which is a great reason to focus on the ideas and concepts, and not lower the conversation to analyzing the worthiness of the attitudes of other posters.I used to post on the Amazon.com Religion forum, which is overrun with supercilious atheists and the one thing I learned there is that whenever you get two or more supercilious atheists together on the same thread, their honesty and objectivity go out the window, rather than speak honestly about the posts of their atheist brethren, a clique mentality sets in where they support every boneheaded statement of their buddy. If you watch me here on these threads, you’ll see I don’t hesitate to point out that another Catholic poster said something silly, there more than a few here who definitely won’t have me on their Christmas card lists. For some reason you rarely see supercilious atheists do the same with their brethren. Once someone starts playing those silly high school clique style games, I stop taking them seriously.
If Spock had given a summary of Gödel’s first or second incompleteness theorem and then said ***one of the implications that follow *** from these theorems is that “no finite, formal system can describe its own algorithm completely” that would have been a sensible statement and he would have sounded like a man who know what he was talking about. Instead, he showed up on the thread, ready to set me straight and arrogantly proclaimed “You seriously misunderstand the Gödel Theorem. It merely says that no finite, formal system can describe its own algorithm completely - nothing more.”, which sounds more like some kid arrogantly pretending to be an authority on some subject in which he’s rather clueless.
So as long as you two want to play that little clique game, I doubt too many will take you seriously here
Spock used “merely” for good reason. You’ve read a whole bunch of implications into Gödel Incompleteness that aren’t there, that do not have any foundation in Gödel’s work, or computability.
Let’s recall how you introduced the Gödel objection, in this thread:
(my emphasis)A computer is a formal system just like any other formal system which is subject to Gödel’s incompleteness theorem, and thus “calculates” through blind symbol manipulation. Every formal system, or algorithmic system (i.e a computer) has a Gödel Proposition that the formal system can not prove to be true within the confines of it’s system but that a human being, standing outside the rules of that system, can show to be true. The implications of this show that there is a diffference in Kind, not Degree between and “thinking” ability of a human being and a computer. Human being are able to transcend any formal system to understand what is going on in that system, it is this ability to understand that computers In Principle do not have and never will have.
It’s clear to anyone who understands Gödel (really, you don’t have to trust me or Spock – dial up your local university’s head of the math department, or the computer science head, and ask her yourself to assess your paragraph, here), that a strong “merely” is in order, as the bolded is a stark non sequitur from Gödel’s insights.
To provide detailed substance to that criticism:
- Human beings are not able to transcend any formal system. Just in terms of scale, it is easy to conceive of software programs that are so large and complex that NO human, or group of humans can formally comprehend and thus verify them. One of the effective points of discrediting Penrose’s claims is the idea that the the “program” for the human brain is itself exactly in this position; it is too large and complex for any human verification. It cannot be transcended, or verified by humans.
- if 1) is true, then Spock’s “merely” is devastating to your claims. Humans can’t transcend their own systems to an arbitrary depth, any more than a computer can. This is actually a pointer to the superiority of machines, in that they aren’t bound to a particular physiology, and as such may be “clusterable” or scaled in such a way that machine minds at can transcend formal frameworks far beyond what humans can, even if they cannot do so ad infinitum.
That’s good grounds for concluding that you “seriously misunderstand”. It’s not being off just a bit, but missing it by a mile.
-TS