isomorphist

LessWrong Post Title: The Competent Reader: Why Leibniz's Universal Notation Waited 360 Years for AI stated(Leibniz, problem) ⟕ {year: 1666} problem(Leibniz) ≜ construct(notation : { expresses: ∀concept ∈ human knowledge. expressible(concept, in(notation)), unambiguously: ∀concept ∈ human knowledge. unambiguous(expression(concept)), compositionally: ∀complex idea. complex idea = composition(simpler ideas), language neutral: ¬depends on(notation,...