|
From: | Victor Porton |
Subject: | [Isarmathlib-devel] Untyped formalized systems are wrong (blog post) |
Date: | Fri, 08 Jul 2011 21:01:50 +0400 |
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
[Prev in Thread] | Current Thread | [Next in Thread] |