Comments on: Computation and Mathematical Proof

By: Machine-verified formal mathematical proofs « Frank Hecker

Machine-verified formal mathematical proofs « Frank Hecker — Thu, 11 Dec 2008 05:05:19 +0000

[...] to Mozilla folks working on related areas like automated testing and software verification): Via Eric Drexler via Emergent Chaos comes this interesting review paper on formal proofs in mathematics and software [...]

By: Liudvikas Bukys » Blog Archive » Program verification is not a silver bullet

Tue, 09 Dec 2008 17:00:05 +0000

[...] Shostack points out that Alan Drexler is excited about the interesting AMS survey article “Formal Proof” (Hales) because of the [...]

By: Never Is, But Always To Be | Kill Ten Rats

Never Is, But Always To Be | Kill Ten Rats — Sat, 06 Dec 2008 05:03:48 +0000

[...] the lamb is only getting fleeced. Relatedly, Eric Drexler recently started blogging, addressing how we cannot even imagine it being better (while others are working on making reliable systems): In a world which increasingly relies on [...]

By: It’ll Help, But Won’t Make Software Perfect « Tai-Chi Policy

It’ll Help, But Won’t Make Software Perfect « Tai-Chi Policy — Fri, 05 Dec 2008 07:05:41 +0000

[...] Computers and the Internet, Programming, Science and Technology. trackback Metamodern has an interesting article on formal proofs, and the verifiable software that will result. I should mention that a verifying compiler is one of the holy grails of computer science…and [...]