def definition def or abbrev

`max_ops_per_sec`

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

formal statement (Lean)

 153noncomputable def max_ops_per_sec (E : ℝ) : ℝ := bremermann_limit * E

Definition body.

 154
 155/-- **THEOREM IC-002.12**: Maximum computation rate scales with energy. -/

From the project-wide theorem graph. These declarations reference this one in their body.

finite_energy_implies_finite_computation in IndisputableMonolith.Information.ComputationLimitsStructure decl_use
max_ops_scales_with_energy in IndisputableMonolith.Information.ComputationLimitsStructure decl_use

Lean names referenced from this declaration's body.

E in IndisputableMonolith.Foundation.SpectralEmergence decl_use
bremermann_limit in IndisputableMonolith.Information.ComputationLimitsStructure decl_use