Luke Palmer <[email protected]> wrote: > I don't think set theory is trivial in the least. I think it is > complicated, convoluted, often anti-intuitive and nonconstructive. > Waaaaaaagh!
I mean trivial in the mathematical sense, as in how far away from the axioms you are. The other kind of "triviality" of set theory just proves the point I made about CT vs. lambda calculus. -- (c) this sig last receiving data processing entity. Inspect headers for copyright history. All rights reserved. Copying, hiring, renting, performance and/or quoting of this signature prohibited. _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
