[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Isarmathlib-devel] Untyped formalized systems are wrong (blog post)
From: |
Victor Porton |
Subject: |
Re: [Isarmathlib-devel] Untyped formalized systems are wrong (blog post) |
Date: |
Sun, 10 Jul 2011 15:05:50 +0400 |
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" <address@hidden>:
> Please read and discuss my blog post "Untyped formalized systems are wrong" at
>
> http://portonmath.wordpress.com/2011/07/08/untyped-or-typed/
>
> 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