The examine of mechanical or "official" reasoning commenced with philosophers and mathematicians in antiquity. The review of logic led on to Alan Turing's theory of computation, which instructed that a device, by shuffling symbols as simple as "0" and "one", could simulate any conceivable form of mathematical reasoning. Criticism of COMPAS hig