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.
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

No comments: