Randomness, Determinism, and Free Will
Quantum mechanics says the world is random at its core. A radioactive atom decays at no predictable time; a measured qubit gives 0 or 1 with only probabilities to guide you. But what kind of random? There is a world of difference between "random because we don't know the cause" (a coin flip — the coin already landed) and "random because there is no cause." Quantum mechanics claims the second. This lesson is about whether that claim survives scrutiny — and why the answer matters for cryptography, computing, and free will itself.
Einstein never bought it. His 1935 EPR argument with Podolsky and Rosen said quantum mechanics must be incomplete: particles must carry pre-set "instructions" — hidden variables — that determine outcomes in advance, and the randomness is just our ignorance. For thirty years this was philosophy. Then in 1964 John Bell did something extraordinary: he turned it into arithmetic. If particles carry local pre-set instructions, then certain measured correlations — the CHSH combination — can never exceed 2. Quantum mechanics predicts 2.83. Somebody had to be wrong, and the question could be settled in a lab.
The labs spoke. Clauser and Freedman first (early 1970s), Aspect decisively (1981–82, choosing measurement settings after the photons left), the last loopholes closed in 2015 — and the 2022 Nobel Prize (Aspect, Clauser, Zeilinger) "for experiments with entangled photons, establishing the violation of Bell inequalities and pioneering quantum information science." Nature's measured value: ~2.8, matching quantum mechanics, smashing the limit of 2.
Now state the verdict precisely, because pop science mangles it: Bell did not prove "the universe is nonlocal" or "Einstein was wrong about everything." He killed local realism — a package deal of three assumptions: realism (outcomes pre-determined), locality (distant settings can't influence results), and statistical independence (settings are chosen freely, uncorrelated with the particles' past). The experiments force you to abandon at least one — and each exit is a live philosophical position. Give up locality: that's Bohm's pilot wave. Give up realism: that's Copenhagen and QBism. Give up statistical independence: that's superdeterminism. Accept all outcomes: that's many-worlds. The corpse is local realism; the suspects all walked free.
Where does free will enter? Through a remarkable theorem. Conway and Kochen's Free Will Theorem (2006, strengthened 2009) says: if experimenters have free will — defined minimally as making choices "not a function of the past" — then elementary particles have the same freedom: their responses aren't fixed by the past either. Note the crucial subtlety: mere randomness doesn't qualify, because a random outcome could have been pre-written in a cosmic table. The theorem rules out deterministic and pre-scripted-random theories alike. But be honest about the price: it assumes human free will as an axiom. It proves nothing about whether you have it — and critics (Goldstein and co.) dispute the argument. Also note the circularity the field lives with: Bell tests themselves assume the experimenters' setting choices are free.
That assumption is exactly what superdeterminism attacks — and it was Bell himself who named the escape. In a 1985 BBC interview he said: "Suppose the world is super-deterministic... the universe, including particle A, already 'knows' what that measurement, and its outcome, will be." Modern defenders Gerard 't Hooft and Sabine Hossenfelder argue that since experimenters and particles share a common past stretching to the Big Bang, the "free" setting choices may be subtly correlated with the particles — a cosmic selection bias. The price: absolute determinism, no free choice at all. The objections are fierce: the loophole "cannot be closed by scientific methods" because science itself assumes experimenters can freely choose settings; others call it a fine-tuned conspiracy that makes science pointless. Hossenfelder's pitch is blunt: "Superdeterminism returns us to determinism."
Why should a computing student care? Because randomness is a resource — and quantum physics can certify it. A Bell-inequality violation proves the outcomes were unpredictable even to whoever built the device: no pre-written table, however clever, can reproduce the statistics. Pironio and colleagues (2010) showed this yields randomness "without any assumption on the internal working of the devices" — "impossible classically." The state of the art: in 2026 the Renner group at ETH Zurich ran 1.5 billion Bell tests on entangled qubits and extracted provably perfect randomness with no assumed bound on the adversary's power. Compare your laptop's random numbers: a deterministic algorithm (unpredictable only if you don't know the seed) versus Bell-certified bits (unpredictable even if the hardware vendor is your enemy). Cryptography runs on the difference.
Common myth: "Quantum randomness proves we have free will." It doesn't — the Free Will Theorem assumes experimenter freedom to conclude anything, and superdeterminism denies the premise entirely. Randomness is not freedom; a pre-written random table is still a script.
Go deeper — the math & the rigor
The CHSH inequality is the one derivation this lesson must carry, because everything else hangs on it. Alice chooses setting \\(a\\) or \\(a'\\), Bob chooses \\(b\\) or \\(b'\\); each outcome is \\(\pm 1\\). Define the correlation \\(E(a,b)\\) as the average product of their outcomes, and
\[S = E(a,b) - E(a,b') + E(a',b) + E(a',b').\]
Under local realism, each particle pair carries instructions fixing outcomes \\(A_1, A_2, B_1, B_2 \in \\{+1,-1\\}\\). For any single pair, \\(S(\\lambda) = A_1(B_1+B_2) + A_2(B_1-B_2)\\): either \\(B_1 = B_2\\), making the second term vanish and the first \\(\pm 2\\), or \\(B_1 = -B_2\\), making the first vanish and the second \\(\pm 2\\). Every pair contributes \\(\pm 2\\), so the average obeys
\[|S| \le 2.\]
Quantum mechanics, for the entangled state \\(|\Phi^+\rangle = \tfrac{|00\rangle+|11\rangle}{\sqrt{2}}\\) with well-chosen measurement angles, predicts \\(S = 2\sqrt{2} \approx 2.828\\) — Tsirelson's bound, the maximum quantum mechanics allows. The experiments land at ~2.8. Note what the violation doesn't break: the no-signaling principle — Alice's local statistics never depend on Bob's distant setting, so entanglement can never send messages faster than light. Bell violations are correlations without communication.
The Conway–Kochen argument runs on three axioms: SPIN (a spin-1 particle measured along three orthogonal axes always yields 1, 0, 1 in some order), TWIN (entangled pairs give matching responses), and FIN (no influence faster than light). Add the experimenter's free choice of measurement axes, and the conclusion follows: the particle's response "is not a function of the past" — it is as free as yours. The theorem's bite is against any theory in which outcomes are fixed by earlier facts, deterministic or stochastic. Its vulnerability is the premise: superdeterminism simply denies that the experimenter's choice is independent of the particles' past, and then the whole proof collapses — which is why the free-will debate and the superdeterminism debate are the same debate.
Now the practical payoff — device-independent randomness. Classical randomness comes in two weak flavors: pseudorandom generators (deterministic algorithms; secure only if the seed stays secret) and trusted-device quantum generators (a photon hits a beam splitter; secure only if you trust the hardware). Bell certification adds the third, strongest flavor: the statistics themselves prove unpredictability. Pironio et al.'s insight: a CHSH violation of \\(S > 2\\) bounds how predictable the outcomes could have been to anyone — including the manufacturer. The ETH Zurich result (Nature, May 2026) pushed this to the limit: entangled qubits in a 30-meter cryogenic tube, 1.5 billion Bell tests, randomness certified against an adversary of unbounded power. This is what "truly random" cashes out to — not a metaphysical slogan but an operational guarantee — and it is why Bell's theorem, born as philosophy, now sits inside quantum cryptography (device-independent QKD) and randomness beacons.
Where does this leave determinism? Honestly: cornered but alive. The mainstream reads Bell as the end of local hidden variables. Bohm keeps determinism by paying in nonlocality. Superdeterminism keeps determinism and locality by paying in free choice — the most expensive currency in science, since every experiment assumes the experimenter could have done otherwise. Many-worlds keeps everything by multiplying reality. Each option is coherent; none is forced. The lesson for the computing student: when your quantum program's measurement returns a bit, why that bit rather than the other is — depending on your philosophy — fundamental chance, ignorance of hidden positions, your own branching, or a script written at the Big Bang. The probabilities you compute are identical either way.
Further reading: John Bell, Speakable and Unspeakable in Quantum Mechanics (1987) — the theorem, "Against 'measurement'," and Bell's own late reflections including superdeterminism; Scott Aaronson, Quantum Computing Since Democritus (2013) — free will, predictability, and complexity; Anil Ananthaswamy, Through Two Doors at Once (2018) — the double-slit experiment as the through-line of the whole debate.
Key takeaways
- The Born rule postulates randomness without explaining it; Einstein's EPR (1935) hoped hidden variables would restore determinism — Bell (1964) turned the hope into a testable inequality.
- CHSH: local realism requires |S| ≤ 2; quantum mechanics predicts 2√2 ≈ 2.828 (Tsirelson's bound); experiments (Clauser, Aspect 1981–82, loophole-free 2015, 2022 Nobel) agree with quantum mechanics.
- The precise verdict: local realism is dead — realism, locality, and statistical independence can't all survive. Live exits: nonlocality (Bohm), anti-realism (Copenhagen/QBism), superdeterminism, many-worlds.
- Conway–Kochen Free Will Theorem (2006/2009): if experimenters' choices aren't fixed by the past, neither are particles' responses — but it assumes human free will, and randomness alone doesn't qualify (a pre-written random table is still determined).
- Superdeterminism (Bell's own 1985 escape; 't Hooft, Hossenfelder) restores determinism by sacrificing free choice — critics call it untestable and conspiratorial. Bell violations certify device-independent randomness (Pironio 2010; ETH Zurich/Renner 2026, 1.5 billion tests) — the operational meaning of 'truly random,' and the basis of quantum cryptography.
Check your understanding
Q1.What exactly did Bell's theorem kill?
Bell ruled out the package deal, not any single piece — which is why Bohm (nonlocal), Copenhagen (anti-realist), superdeterminism, and many-worlds all remain live.
Q2.What is the key subtlety of the Conway–Kochen Free Will Theorem?
Free will in, free will out: the theorem transfers freedom from experimenter to particle but cannot establish the premise — and superdeterminism denies it outright.
Q3.What makes Bell-certified (device-independent) randomness stronger than your laptop's random numbers?
Pironio et al. showed nonlocal correlations certify genuine randomness 'without any assumption on the internal working of the devices' — impossible classically, and the basis of device-independent cryptography.
References
The books, papers, and articles this lesson drew on — with a note on what each one was used for.
- John S. Bell, “On the Einstein Podolsky Rosen paradox,” Physics 1, 195–200 (1964); reprinted in Speakable and Unspeakable in Quantum Mechanics (Cambridge University Press, 1987).
Used for: The theorem itself — plus Bell's own late reflections, including superdeterminism as the escape he named. - Nobel Prize in Physics 2022 — awarded to Alain Aspect, John F. Clauser and Anton Zeilinger “for experiments with entangled photons, establishing the violation of Bell inequalities and pioneering quantum information science.” · source ↗
Used for: The official account of the Bell-test experiments, from Clauser and Freedman through Aspect (1981–82) to the loophole-free tests of 2015. - Stanford Encyclopedia of Philosophy, “Bell’s Theorem.” · source ↗
Used for: The precise statement of what died: local realism — the conjunction of realism, locality, and statistical independence. - John H. Conway and Simon Kochen, “The free will theorem,” Foundations of Physics 36, 1441–1473 (2006); “The strong free will theorem,” Notices of the AMS 56, 226–232 (2009).
Used for: The SPIN–TWIN–FIN argument: if experimenters' choices are not fixed by the past, neither are particles' responses. - Stefano Pironio et al., “Random numbers certified by Bell’s theorem,” Nature 464, 1021–1024 (2010).
Used for: Device-independent randomness — a Bell violation certifies unpredictability “without any assumption on the internal working of the devices.” - ETH Zurich (Renner group), May 2026 — 1.5 billion Bell tests on entangled qubits in a 30-metre cryogenic setup; provably perfect randomness certified against an adversary of unbounded power (reported in Nature).
Used for: The state of the art in certified randomness cited in this lesson — the operational meaning of “truly random.” - Anil Ananthaswamy, Through Two Doors at Once: The Elegant Experiment That Captures the Enigma of Our Quantum Reality (Dutton, 2018).
Used for: The double-slit experiment as the through-line of the entire randomness debate. - Scott Aaronson, Quantum Computing Since Democritus (Cambridge University Press, 2013).
Used for: Free will, predictability, and computational complexity — the philosopher-physicist's take on what randomness can and cannot buy.
Tip: press ← / → to turn pages.