Simple Logic and the Turing Machine
Simple logic is just such a complete Turing machine. A Turing machine can execute any program. It is logically consistent and complete, but unable to stop itself. In mathematics, we also have something similar, that is, groups. A group in an algebra, that is, a subset of numbers and operations on those numbers that are …