[Haskell-cafe] type metaphysics
dpiponi at gmail.com
Mon Feb 2 12:01:11 EST 2009
On Mon, Feb 2, 2009 at 8:09 AM, Gregg Reynolds <dev at mobileink.com> wrote:
> Yes, that's my hypothesis: type constructors take us outside of set
> theory (ZF set theory, at least). I just can't prove it.
It's "too big" for Set Theory if you insist on representing functions
in type theory as functions in set theory - ie. set(A -> B) =
set(B)^set(A). But if you don't insist on such a constraint there's no
problem with sets.
More information about the Haskell-Cafe