✶Explainer00:30
Universality of computation is a claim about physics, not mathematics
Deutsch opens the four strands with Turing's discovery that computation is physically universal: a computer can mimic any physical object and can perform whatever computations any other computer can perform. He argues the point is routinely missed because mathematicians treat computability as a branch of mathematics rather than a theory of physics. Turing built an imaginary machine out of paper in order to conjecture that anything computable is computable by it, which quietly assumes the paper machine can also compute whatever a tree can.
- Turing rediscovered universality, which Babbage and Lovelace had also grasped
- Computation is a physical process governed by laws of physics that could have been different
- Mathematicians resist this because their training treats logic as unable to be otherwise
- A tree is a computer but not a general purpose one; Turing machines are the ultimate
- Questions like whether the brain is a computer are physics questions, not assumptions
“the universality of computation that computation is physically Universal”
“it's a Theory of physics and that is denied almost Whale by mathematicians”
#computation#turing#physics#universality
✶Explainer20:00
Why simulated evolution always plateaus and real evolution never does
Despite enormous computing power, nobody knows how to make an artificial ecosystem. Simulated organisms improve, improve, improve, and then stop, while real evolution keeps branching with no end in sight. Deutsch traces his realisation to a 1980s lecture on robots learning to walk: the robots got better, then walked in ways the researchers had not foreseen, and the team read that as creativity. He concluded that in a year or two they would be doing nothing new unless the graduate student thought of it.
- Artificial ecosystems plateau; biological evolution is open-ended and accelerating
- The robots were programmed with the goal of walking, so the goal came from outside
- Evolutionary algorithms have no problems of their own
- An externally imposed problem makes the system an instrument, not a creator
- Robots have improved a lot since, and still do not do this thing even slightly
“the functionality of the simulated organisms improves and improves and improves and then stops improving”
“they won't be doing anything new at all unless the graduate student thinks of it they don't have their own problems”
#evolution#ai#simulation#creativity
✶Explainer28:00
Quantum theory's problem started inside physics and stayed there
Unlike the other three strands, Deutsch says the trouble with quantum theory began inside physics itself and was then transferred to the public. A small originating community happened to be susceptible to a form of positivism worse than the ordinary kind because it shaded into mysticism, and what got built on that foundation to protect a single-universe worldview absorbed positivism, instrumentalism and a bad empiricism. He adds intimidation as a live factor: physicists working elsewhere avoid taking a position because of what it would cost them with colleagues and journalists.
- The misconception originated with physicists, not with the public
- Bohr said many things Deutsch calls bad philosophy, but not that consciousness changes reality
- Instrumentalism and positivism now have their stronghold in theoretical physics, not philosophy
- Education, peer pressure and mistreatment of students' questions entrenched it
- Deutsch suspects the public may now understand many-worlds better than the resisting majority of physicists
“the basic thing that's gone wrong with quantum theory unlike the other three strands that we've discussed began inside physics itself”
“instrumentalism and positivism have their stronghold now in physics in theoretical physics”
#quantum#many-worlds#positivism#physics-culture
✶Explainer44:30
Creating general relativity was the quintessential act of free will
Deutsch argues that general relativity was not implicit in Einstein's brain, nor on planet Earth a century earlier, nor in the Big Bang. It had never been implicit anywhere until Einstein created it, which is why he calls it the quintessential act of free will: created by him, not by someone else and not by the blind forces of nature. Its unpredictability is not randomness but the opposite, because it was the solution to a specific problem situation nobody else had.
- New explanatory knowledge is something genuinely created, not uncovered
- The court of law distinction between being pushed and pushing is real, and turns on this
- Trying to simulate a random number generator is the opposite of free will, not an illustration of it
- Unpredictability here comes from being the solution to a unique problem situation
- The created knowledge is causal: it replicates and produces GPS satellites and rockets
“it's not the case that the theory of general relativity had already been implicit in Einstein's brain”
“the reason it's not predictable it's not that it's random it's the opposite”
#free-will#creativity#einstein#knowledge
✶Explainer49:30
Knowledge is information that a physical transformation requires
Deutsch says he has settled on several conceptions of knowledge that all point at the same thing, and the one he currently finds most helpful comes from constructor theory: knowledge is a form of information that is necessary for a physical transformation. If a transformation will only happen when a certain type of information is present, that information is knowledge. The definition covers genes, ideas and stored knowledge in books and computers, and it makes the creators of knowledge a very short list.
- The test is whether a transformation happens only when that information is present
- The definition covers genes, ideas and stored knowledge alike
- Only two things known to us can create knowledge: evolution and human thought
- Several species on Earth could once do this and all but one went extinct
- Knowledge as information with causal properties is not a view everyone shares
“if a physical transformation will only happen when a certain type of information is there then I call that information knowledge”
“it's very tantalizing that there were once several species on earth that could do this and they all went extinct all but us”
#knowledge#constructor-theory#information#genes
✶Explainer54:30
There ain't no one here but us people
Deutsch reframes the principle of optimism as the basic principle of constructor theory. Of the physical transformations that can be brought about, the overwhelming majority can only be brought about by people who create knowledge because they want that thing to happen. Without people, the set would be almost nothing, a few dozen kinds of stars and little else. Anything that happens either happens spontaneously, like a star or a black hole, or was almost certainly brought about by knowledge.
- Optimism was a corollary of the epistemology for Deutsch, not the starting point
- Readers often tell him the principle of optimism is what made the book click
- Knowledge is created either by evolution or, in the long run, by people
- The inanimate universe is huge in scale but very low in knowledge diversity
- Humans now create knowledge at a rate and diversity greater than anything before
“the overwhelming majority and again that that's an understatement can only be brought about by people”
“anything that can be explained we can explain anything that can be created we can create”
#optimism#constructor-theory#knowledge#progress
✶Explainer1:06:30
Marletto's thermodynamics states the second law at the microscopic level
Asked whether constructor theory explains anything conventional physics cannot, Deutsch points to Chiara Marletto's constructor-theoretic thermodynamics, which explains what it means for the second law to hold microscopically, where you cannot tell from a single atom whether a process is reversible. Her route goes back to Caratheodory's century-old axiomatic thermodynamics, which distinguished adiabatic from non-adiabatic processes by fiat and defined work, heat and the second law from there.
- Looking at one atom cannot tell you whether a process is reversible or irreversible
- Caratheodory defined the adiabatic distinction by fiat, without physical objects
- From that distinction you can define work, heat, and the first and second laws
- Marletto's version expresses the first law in terms of information, which statistical thermodynamics does not
- The third law is still unresolved because impossibility of a transformation is not yet clear
“has a version of thermodynamics which is constructed theoretic and which explains what it means for say the Second Law to hold at a microscopic…”
“one of the nice things about Kiara's theory is that it expresses the first law in terms of information”
#thermodynamics#constructor-theory#marletto#information