(printing) The inverted image of an original proof. / (logic) A proof that contradicts a given statement.

(computing theory) A hypothesis about the nature of computable functions, stating that a function on the natural numbers can be calculated by an effective method if and only if it is computable by ...

A village and civil parish in Epping Forest district, Essex, England (OS grid ref TQ4795). / A habitational surname from Old English.

simple past tense and past participle of gawk