Re: [isabelle] Untyped formalized systems are wrong (blog post)
My idea was completely wrong. The source of my trouble was that I had overlapping sets. The solution is to use bijective copies of the sets to make them non-overlapping and this works in ZF (no need for a typed system for this).
08.07.2011, 21:01, "Victor Porton" <porton at narod.ru>:
> Please read and discuss my blog post "Untyped formalized systems are wrong" at
> where I advocate using typed systems like HOL.
> I really hope to start a discussion thread in blogs and/or mailing lists.
> Victor Porton - http://portonvictor.org
Victor Porton - http://portonvictor.org
This archive was generated by a fusion of
Pipermail (Mailman edition) and