http://www.advogato.org/person/norm/ Advogato blog for norm en-us mod_virgule Fri, 10 Feb 2012 16:37:34 GMT Sat, 10 Apr 2004 04:03:11 GMT http://www.advogato.org/person/norm/diary.html?start=1 http://www.advogato.org/person/norm/diary.html?start=1 I wrote a <A HREF="http://mathforge.net/index.jsp?page=seeReplies&messageNum=438">reply</a> to a MathForge article on computers and mathematical proofs, which in turn is about the New York Times article <a href="http://www.nytimes.com/2004/04/06/science/06MATH.html" >In Math, Computers Don't Lie. Or Do They?</a>. An interesting tidbit (that would otherwise remain obscurely buried in noise) is that <a href="http://advogato.org/person/solovay">solovay</a> proved 0=1 with the HOL-light proof verifier. Mon, 15 Mar 2004 10:51:24 GMT http://www.advogato.org/person/norm/diary.html?start=0 http://www.advogato.org/person/norm/diary.html?start=0 I can reply to articles now (thanks Raph:), so I replied to the article <A href="http://advogato.org/article/758.html">My Linux Wishlist</a> and removed the duplicate comment that used to be here.