[isabelle] Untyped formalized systems are wrong (blog post)



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





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.