def definition def or abbrev

`quantumSpeedups`

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

formal statement (Lean)

 202def quantumSpeedups : List String := [

proof body

Definition body.

 203  "Shor's algorithm: Factor N in O((log N)³)",
 204  "Grover's algorithm: Search in O(√N)",
 205  "Quantum simulation: Efficient for quantum systems"
 206]
 207
 208/-- **THEOREM**: Quantum parallelism from 8-tick superposition.
 209
 210    The 8-tick structure allows:
 211    - Multiple phases simultaneously
 212    - Interference between paths
 213    - Measurement collapses to one outcome -/

depends on (12)

Lean names referenced from this declaration's body.

tick in IndisputableMonolith.Constants decl_use
tick in IndisputableMonolith.Constants.RSNativeUnits decl_use
Measurement in IndisputableMonolith.Data.Import decl_use
one in IndisputableMonolith.Foundation.IntegersFromLogic decl_use
from in IndisputableMonolith.Foundation.PrimitiveDistinction decl_use
one in IndisputableMonolith.Foundation.RationalsFromLogic decl_use
for in IndisputableMonolith.Foundation.UniversalForcingSelfReference decl_use
Measurement in IndisputableMonolith.Measurement.RSNative.Core decl_use
superposition in IndisputableMonolith.Physics.SchroedingerEquationFromRS decl_use
one in IndisputableMonolith.QFT.SpinStatistics decl_use
Measurement in IndisputableMonolith.Quantum.NonlocalityNoSignaling decl_use
one in IndisputableMonolith.RecogSpec.Core decl_use