Robin
Penultimate Amazing
- Joined
- Apr 29, 2004
- Messages
- 14,971
And does the cow have buddha-nature?Yeah, but does a dog have buddha-nature?
And does the cow have buddha-nature?Yeah, but does a dog have buddha-nature?
And does the cow have buddha-nature?
No.Can human consciousness survive death?
Ah. In that case:That's the big question here.
More to the point, he's talking complete bollocks.Penrose is not an expert in any relevant field. Whether he is a physicist or not is besides the point.
More to the point, he's talking complete bollocks.
To be fair, I do seem to recall that Penrose does at least air some disclaimers regarding the speculative nature of his rather ambitious forays. And you gotta give him this: he's all over that Turing machine thing.I think the reason he is talking complete bollocks is because he is too smart for his own good -- he thinks that just dipping his foot in the metaphorical pool of computer science and neurobiology is enough to get the whole experience of swimming.
In fact, that's not what I said at all. I said that any possible physical process is simulatable by a Turing machine.
It is perfectly possible to mathematically describe a process that cannot be computed or simulated by a Turing machine. However, no such process is physically possible - cf. hypercomputation, which, as noted earlier, comes in two varieties, the physically impossible and the simply undefined.
All possible physical processes are finite in extent and can be fully described with finite precision (following Heisenberg & Planck); there are no actual infinities involved. Thus no physical process can compute anything that a Turing machine cannot, and any physical process is simulatable by a Turing machine. (To arbitrary precision and accuracy, which is already established to be sufficient.)
Cornsail, if you will, I'd like to go back to this for a moment.
You say you lean towards idealism or neutral monism. Now, there are many forms of idealism, so I don't know exactly what you mean there, but neutral monism is straightforward enough - it says that neither the mental nor the physical are the fundamental nature of reality, but that both reduce to a third, "neutral" substance.
The problem with this is that it isn't true. While it is certainly possible that the physical reduces to something else - though why we should care is not as clear - we know perfectly well that the mental reduces to the physical. Neutral monism, unlike most forms of metaphyics, founders not because it is unprovable but because it is provably false.
So why would anyone lean toward it at all?
Well, you can read some of the references they provide - one thing I have to give them, they provide references for everything. Every single one of them is talking about physical impossibilities.The article under discussion claims otherwise. This does not necessarily mean it's correct, but I certainly can't assume your view is correct either, just because you say it is.
That depends on what you are talking about - mathematical systems or possible physical systems. I only care about physical systems here.How do you draw the conclusion that infinities are the only thing that could make something non Turning-computable?
This is true, but deeply misleading, which is why I criticised that article for making that claim. The Universe is, if not quantised, at least effectively quantised. By that I mean that below a certain scale - the Planck scale - differences have no meaning. A finite region of the Universe can thus be mapped to a probabilistic simple state machine or cellular automata grid. Even if we assert that the probabilities are continuous (when nothing else is), a Turing machine can simulate this to arbitrary accuracy and precision.I also recall the article saying that the Church-Turing thesis does not indicate that all physical systems can be simulated by a Turing machine.
That's the argument from ignorance.I don't agree that the mental always reduces to the physical, for the reason I gave in my response to Piggy. That is, physical description cannot capture the subjective experiential quality of a mental state. For example, an individual who has never experienced pain could study in great detail the neurological processes that correspond to what we call pain, but doing so could not lead him or her to know what it is like to feel pain.
Right. Dualism is not logically coherent.In general, leaning toward any philosophical mind-body stance is a little silly. But a reason for leaning toward neutral monism is that physical and experiential events seem to be linked causally. If the two are somehow fundamentally different (dualism), such causal interaction between the two would seem not to make sense.
Except that we have every reason to believe that the mental reduces to the physical, and no reason at all to believe otherwise. And when I say every reason and no reason, I mean every reason and no reason.However, one could also argue that the two do not seem to be reducible to each other (you obviously don't see it that way). If two things are causally interactive, but not reducible to each other, then a neutral monist interpretation makes sense of this and may be the only way to do so.
Nope.On the question of reducibility, it's interesting to look at from the reverse perspective. Are physical events reducible to experiential/mental events?
Nope.A strong argument could be made for this, given that physical events can only be inferred based on mental events.
Nope.It is essentially meaningless to say that something physically exists if it has no relevance to mental experience.
How old is the Earth?So there you have an argument for idealism.
How is a "signal triggering code" not a computation?
This is why I don't really accept that you have been a professional programmer, or that if you were, you didn't really understand the underlying science of what you were doing.
You are painting this argument as "A toaster has dreams, I am sure of it" vs. "I don't think you have checked your math correctly."
It is more like "Why can't a robot as complicated as a human have dreams?" vs. "becase, sofia, nyah na na na nyah na na, and Roger Penrose said so."
Lets not get confused about who is in which camp, and the apparent education levels here. Everyone in the first camp is either knowledgeable in these fields or else humble enough to not make claims. Everyone in the latter camp is ... neither.
Do you dispute this? Are there any professionals in any relevant field, be it computer science, neuroscience, behavioral science, biology, or anything like that, in the latter camp on this forum?
Right. And you claim what what you did might not be considered "algorithms?"
This is like someone claiming they were once a mechanic but actually an internal combustion engine might not have any moving parts.
So pardon me for not paying much attention to your supposed "credentials."
I thought that post was specifically about Pixy's CT claims. I don't recall that anectdotal statement referencing the other stuff being discussed in this thread. Am I wrong?
Penrose is not an expert in any relevant field. Whether he is a physicist or not is besides the point.
When Roger Penrose says "well, I worked on trying to produce conscious programs for years, and everything we thought would do it just failed" then we will listen to him. But for someone who likely hasn't ever written a program with more than a few thousand lines of code to make sweeping generalizations about the field of computer science is what we call talking out of one's <rule8>.
I don't care how smart Penrose is when it comes to math or physics, he doesn't know jack about the only aspect of computer science that even matters here -- what happens in really complex systems. Nobody can know that, until they themselves work with really complex systems.
And that is my main point -- people like you and piggy and kaggen etc. who don't seem to even understand the fundamentals of computer science, never mind have written or even worked with something complex enough to pronounce judgement one way or another, just repeatedly vomit this "nu-uh, because I said so" nonsense into threads and call it a "discussion."
This isn't a discussion, it never has been, it is fairly intelligent people arguing with what seem like walls.
Wait, you think that people have careers in neuroscience, computer science, biology, etc, just because they want to prove that strong AI is possible?
???
Oh, forgive me.
How about this:
The argument is between people who think that every behavior, both private and public, exhibited by entities that are known to be conscious could also be exhibited by any computational process of sufficient complexity and organization, and those that believe this is unproven, unlikely, or wrong.
Better?
Well, you can read some of the references they provide - one thing I have to give them, they provide references for everything. Every single one of them is talking about physical impossibilities.
Well, some of them aren't even properly defined, but those that are...
That depends on what you are talking about - mathematical systems or possible physical systems. I only care about physical systems here.
This is true, but deeply misleading, which is why I criticised that article for making that claim. The Universe is, if not quantised, at least effectively quantised. By that I mean that below a certain scale - the Planck scale - differences have no meaning. A finite region of the Universe can thus be mapped to a probabilistic simple state machine or cellular automata grid. Even if we assert that the probabilities are continuous (when nothing else is), a Turing machine can simulate this to arbitrary accuracy and precision.
The Church-Turing thesis does not say that all physical systems can be simulated by a Turing machine, bcause the Church-Turing thesis does not talk about physical systems at all. However, the Church-Turing thesis does describe a class of problems that can be modeled with a Turing machine, and physics describes a Universe that falls within that class of problems.
And does the cow have buddha-nature?
Yep. Specifically a Universal Turing Machine, but that's what we're talking about. But this isn't actually a problem when representing possible physical systems.Isn't a Turing Machine itself a physical impossibility in that it assumes infinite tape? I'll look at some of the references at a later time.
I did say - about 30 pages back - that I had compressed two different points into one statement. That was due to explaining them about 30 times previously, but still, I failed to make my case clearly.As long as you aren't claiming that it is a mathematical fact that the Church-Turing conjectures proved that a Turing Machine can do everything a brain can do, or whatever you originally said, I have no real beef with your argument. It is not proven, but a reasonable case can be made that a TM could simulate or any physical system to a close degree of precision (despite use of approximations).
Then you're not only wrong, you're professing to a logically incoherent belief system.Then there is the other issue of whether symbolically describing a physical system perfectly makes the machine equivalent to the system it is simulating or the idea that it can "do anything the physical system can do". This I think is clearly false.