Norman Wildberger and Daniel Tubbenhauer on Formal and Structural Coincidents
See V.I. Arnold on Teaching Mathematics and Dynamics on Graphs 24 | The remarkable ADE Ideal Ladder . For more on strange finite objects, see Andrej Bauer's "Five Stages of Accepting Constructive Mathematics" . An Ideal is a special subset of a partially ordered set (poset). Although this term historically was derived from the notion of a ring ideal of abstract algebra, it has subsequently been generalized to a different notion. See An Ideal Model for Recursive Polymorphic Types by MacQueen, Plotkin and Sethi for more on ideals. See also Leo Dorst and Daniel Fontijne - An Algebraic Foundation for Object-Oriented Euclidean Geometry . Subscribe to Norman Wildberger . See Jones Polynomial . Subscribe to Visual Math . Me talking crap: See Daniel Tubbenhauer on Algebraic Geometry and Edward Frenkel on The Langlands Program ... and Andrej Bauer's "Five Stages of Accepting Constructive Mathematics" . Andrej Bauer - A Proof Assistant Prototype Based on ...