In his keynote speech at the Mentor User-To-User conference yesterday, Sameer Halepete, Nvidia’s vice president of LSI engineering, made a very interesting point. At all levels of computing, from ...

We say that an n-argument predicate $P\subset \Omega ^{n}$ is finite, if P is a finite set. Note that the set of individuals Ω is infinite! Finite predicates are ...