Lattices Everywhere
There has to be some beautifully simple root, somewhere, to all this stuff:
- Patrick Cousot & Radhia Cousot - Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints.
- N.S. Yanofsky - A Universal Approach to Self-Referential Paradoxes
- Dana S. Scott - Data Types as Lattices
- Dana S. Scott - Stochastic λ-calculi: An extended abstract
- Robert Aumann - Agreeing to Disagree
- David MacQueen, Gordon Plotkin, Ravi Sethi - An ideal model for recursive polymorphic types
- Ideal (Order Theory)
That's what I'm thinking about.
Here's Norman Wildberger's latest arithmetic with multisets video:
Here's his video on calculus with integral polynumbers made eleven years ago:
Subscribe to Insights Into Mathematics.
Comments
Post a Comment