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

simple past tense and past participle of gawk

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

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