Translating a conjecture into clause normal form before handing it over to the theorem prover is like shooting oneself in the foot before starting on a long hike.
-- Gerard Huet
2005-10-15
Quote time again
Long time since I posted a quote here. This time it is from an invited lecture given at the conference FLoC in 1996. The reason I found this quote is because I read it in an article. Just a warning before you read it; You need to be a computer scientist to understand it.
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment