[Chicago] python 3.0 hep

[Bob Haugen]

On Thu, Dec 11, 2008 at 9:00 AM, David Durham, Jr.
<david.durham.jr at gmail.com> wrote:
> Not writing a proof is in itself an informal test of the proof-writing
> system.  I have been conducting my research for years and I can say
> with some degree of certainty (let's call that degree "a lot") that
> most people do not need to write proofs in everyday programming life.
> Regression testing is pretty darned good.

Plus, writing a proof is equivalent to writing more program code,
which means the proof needs to be tested, may have bugs, may be
subject to similar misunderstandings of purpose as code, etc.

So you get an infinite regression test.