pith. machine review for the scientific record. sign in
theorem proved term proof

weaponization_structurally_impossible

show as:
view Lean formalization →

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

generate prose now

formal statement (Lean)

  71theorem weaponization_structurally_impossible (x : ℝ) (hx : 0 < x) (hne : x ≠ 1) :
  72    coherenceLevel x hx < 1 := by

proof body

Term-mode proof.

  73  have h := power_ethics_same_axis x hx hne
  74  rwa [max_coherence_at_balance] at h
  75
  76end
  77
  78end IndisputableMonolith.Superhuman.SafetyInterlock

depends on (3)

Lean names referenced from this declaration's body.