Registry · Proposition VII.P12 tau-effective not_applicable

VII.P12 — Creation as Defect Minimization

Art-making as progressive defect minimization; the creator as iterative defect-minimizer; elegance as achievement.

Book VII Part 4 Ch. 51

Dependency Graph

Depends on (1)

VII.D47

Lean Formalization

Module:

Symbol: