Registry · Proposition VII.P19 tau-effective not_applicable

VII.P19 — Ethical Defect Minimization

Defect-minimization as ethical arrow; the thermodynamic analogy: ethical defect is distance from optimal coherent state.

Book VII Part 7 Ch. 83

Dependency Graph

Depends on (1)

VII.D69

Lean Formalization

Module:

Symbol: