In mathematics, a join-semilattice (or upper semilattice) is a partially ordered set that has a join (a least upper bound) for any nonemptyfinite subset. Dually, a meet-semilattice (or lower semilattice) is a partially ordered set which has a meet (or greatest lower bound) for any nonempty finite subset. Every join-semilattice is a meet-semilattice in the... Continue Reading →
The paradox of human life is how it yields both chaos and form, both reason and irregularity, both determinism and relativism. Thus is it humanity's ultimate nature to be neither one nor many. How, exactly? Well... let us count the ways 😉
Like any formal system that is both roughly complex and roughly complete, the human monomyth of heroic legend is a vast web of inter-related sub-domains, each of them chock full with the potential for internal contradictions. Necessarily so. And yet, we still find it so very useful. And we always have. Funny, that.
There is no such thing as a unary name. Only name spaces. Only names of relation.
Heyting.Lambda -- Now there is one fancy elastic beanstalk, might even take you all the way up the Golan Heights.
Curry and Church didn't invent the idea of typing. They lifted it from Gutenberg. Nothing new under the sun.
It's a serious problem, but like all preventable error, cancer cannot be defeated in the abstract. Specific cancers, however...
Planets are just little stars with a cold surface. Cosmic bubble furnaces, but with a shell.
A joined decimal system is pure junk, unless all you've got is ten digits and a stylus. A joined sexagesimal system is pure junk, unless all you've got is ten digits and a circle. But there are more than a few things you can do with the right piece of junk, and a little time.... Continue Reading →