Comments | roseandsigil: (без темы)

roseandsigil

Feb 10, 2010 08:16

We need to spend less time on inventing theorem provers, and instead work on provem theorers!

Comments 5

aleffert February 10 2010, 16:18:44 UTC

Surely if we invent good enough theorem provers they can work on provem theorers for us. Also, my brain would not let me type provem theorers.

roseandsigil February 10 2010, 16:24:00 UTC

Well, the name "provem theory" came from my inability to say "theorem prover", so I guess we're even. AGAIN.

scintilla72 February 10 2010, 16:35:50 UTC

I wouldn't mind seeing theory improvers either.

simrob February 10 2010, 18:34:23 UTC

what about inverting theonem provers?

groen February 10 2010, 23:32:42 UTC

I swear those were in Anathem.