n. (Logic) the result that no decision procedure exists for arithmetic. (Named after the US logician Alonzo Church (1903-), who held chairs in both mathematics and philosophy at UCLA.) See also Gödel's proof.