Page 165 - Concise Encyclopedia of Robotics

Inductive Proximity Sensor
Gödel showed that, for any consistent set of axioms, there are more
true statements than provable theorems. The set of provable statements
is a proper subset of the set of all true statements, which is in turn a
proper subset of the set of all possible statements (see the illustration). It
follows that in any logical system without contradictions, the “whole
truth” cannot be determined.
The incompleteness theorem has implications for engineers involved
with artificial intelligence (AI). Broadly speaking, it is impossible to build a
“universal truth machine,”a computer that can determine mathematically,
beyond any doubt, whether any particular statement is true or false.
Set of all
statements
Set of all truths

Set of all
provable
truths

Incompleteness theorem

INCREMENTAL OPTICAL ENCODER
See OPTICAL ENCODER.
INDUCTIVE PROXIMITY SENSOR
An inductive proximity sensor takes advantage of electromagnetic interac-
tion that occurs between or among metallic objects when they are near
each other.

