that the human mind is beyond the description of any formal system due to Godel's Incompleteness Theorem. — Question
The human brain is not an object, albeit a very complex one? — Question
since mathematics is a language we employ to represent ways we think about the world; mathematics certainly isn't the furniture of the world, especially not exhaustively. — Terrapin Station
So the question is whether a third person description can account for first person. — Marchesk
Whether this is true or not is highly contested by physicists to this day (Penrose, et al). — Question
What does the principle mean by simulating a physical process? Does it mean replicate? Can a quantum computer replicate consciousness, the Big Bang, evolution, etc.? Or can it just perform some sort of representative algorithm?
I'm pretty sure that the very definition of a simulation is that it isn't the real thing. Simulated consciousness isn't consciousness, just as a simulated explosion isn't an explosion. — Michael
Maybe he'd argue that everything is just a computing machine, but where is that argument? — Terrapin Station
For although a quantum computer has an infinite-dimensional state space, only a finite dimensional unitary transformation need be effected at every step to simulate its evolution.
He is explicitly opposed to that idea. — tom
You only need a quantum computer to simulate processes involving quantum coherence, so a laptop or something similar is all that is needed to exactly simulate consciousness. — tom
Imagine that there is some physical process P (for example, some quantum mechanical process) which would require a certain amount of communication or computational resources to be simulated classically. Call the classical simulation using these resources S. The simulation fallacy is to assume that because it requires these classical resources to simulate P using S, there are processes going on when P occurs which are physically equivalent to (are instantiations of) the processes that are involved in the simulation S itself (although these processes may be being instantiated using different properties in P). In particular, when P is going on, the thought is that there must be, at some level, physical processes involved in P which correspond concretely to the evolution of the classical resources in the simulation S. The fallacy is to read off features of the simulation as real features of the thing simulated.
A familiar example of the simulation fallacy is provided by Deutsch’s argument that Shor’s factoring algorithm supports an Everettian view of quantum mechanics (Deutsch, 1997, p. 217). The argument is that if factoring very large numbers would require greater computational resources than are contained in the visible universe, then how could such a process be possible unless one admits the existence of a very large number of (superposed) computations in Everettian parallel universes? A computation that would require a very large amount of resources if it were to be performed classically is explained as a process which consists of a very large number of classical computations. But of course, considered as an argument, this is fallacious. The fact that a very large amount of classical computation might be required to produce the same result as a quantum computation does not entail that the quantum computation consists of a large number of parallel classical computations. — Timpson
The argument is that if factoring very large numbers would require greater computational resources than are contained in the visible universe, — Timpson
I'm trying to understand this simulation business. I am using the critical eye of Christopher Timpson in 'Quantum Information Theory and the foundation of Quantum Mechanics'. He argues that your/Deutsch's argument is a 'simulation fallacy': that simulation is not a like for like business. Here are a couple of directly relevant paragraphs. Do you have a Deutsch rebuttal to this line of argument? It's part of a wider case, as I grasp it, that Deutsch is conflating the mathematical and the physical in 'the Turing principle' through a misunderstanding (in Timpson's view) of the original thesis. — mcdoodle
At about 2:00 Deutsch says that the existence of computation explains the unreasonable efficacy of mathematics in the natural sciences. I really don't get that. No computer or computational process could exist were it not for mathematics in the first place. Isn't it putting the cart before the horse? How come 'computation' is assigned to this kind of quasi-deistic role in Deutsch's worldview? 'There is a law of nature that the universe is computable, or that a universal computer exists'. — Wayfarer
Despite the mis-representations of Timpson, the argument is not that parallel processing takes place therefore there are parallel universes, but precisely the opposite! — tom
The point is that the mathematics that we can perform - including proofs - is determined by the laws of physics. This also goes for the computations that any physical system can perform. This is why some functions are computable, but most are not.
Life is essentially a computational process, which you claim can not exist prior to mathematics. While it seems that the timeless truths and objects of mathematics must have always existed, I'm not convinced that they cannot be regarded as novel at the time of their discovery, or rather, invention. — tom
We always need to start with a putative computational model, a listing of states and their evolutions one is considering; and given such a model, it will precisely be logic (and mathematics) which will determine what could be computed by such a system and thus provides a limit. Physics provides no constraint at this stage. Physics only gets into the game afterwards, when we ask whether or not those states and evolutions can be physically realized. The mathematical (definitional) and the physical are very different kinds of constraints; but both are important. — Timpson
Deutsch’s emphasis on the possible physical existence of the universal computing machine, encapsulated in his Turing Principle, misrepresents its significance; missing the definitional role of determining the mathematical meaning of the evolution of physical states. — Timpson
The point is that the mathematics that we can perform - including proofs - is determined by the laws of physics. — tom
Get involved in philosophical discussions about knowledge, truth, language, consciousness, science, politics, religion, logic and mathematics, art, history, and lots more. No ads, no clutter, and very little agreement — just fascinating conversations.