http://blog.hecker.org/2008/12/11/machine-verified-formal-mathematical-proofs/ Mozilla, open source, and other random topics Sat, 20 Feb 2010 20:07:37 +0000 http://wordpress.com/ hourly 1 http://blog.hecker.org/2008/12/11/machine-verified-formal-mathematical-proofs/#comment-513 Flug Tue, 20 Jan 2009 12:32:47 +0000 http://blog.hecker.org/?p=542#comment-513 I was surprised by the bunch of programs that exist to prove theorems. I am looking forward to play around a with them, since I am really exicted and curious about the outcomes. Thanks for sharing! I was surprised by the bunch of programs that exist to prove theorems. I am looking forward to play around a with them, since I am really exicted and curious about the outcomes. Thanks for sharing!

]]> http://blog.hecker.org/2008/12/11/machine-verified-formal-mathematical-proofs/#comment-459 hyperdanja » Blog Archive » links for 2008-12-11 Fri, 12 Dec 2008 00:04:59 +0000 http://blog.hecker.org/?p=542#comment-459 [...] Machine-verified formal mathematical proofs « Frank Hecker "All the basic theorems of mathematics up through the Fundamental Theorem of Calculus are proved from scratch on the user’s laptop in about two minutes every time the system loads, so that the casual user does not need to be concerned with the low-level details." (tags: proof maths) [...] [...] Machine-verified formal mathematical proofs « Frank Hecker "All the basic theorems of mathematics up through the Fundamental Theorem of Calculus are proved from scratch on the user’s laptop in about two minutes every time the system loads, so that the casual user does not need to be concerned with the low-level details." (tags: proof maths) [...]

]]> http://blog.hecker.org/2008/12/11/machine-verified-formal-mathematical-proofs/#comment-458 John Nash Thu, 11 Dec 2008 06:01:54 +0000 http://blog.hecker.org/?p=542#comment-458 Hey Fermat's last Theorem is up for grabs Hey Fermat’s last Theorem is up for grabs

]]>