The research of mechanical or "official" reasoning began with philosophers and mathematicians in antiquity. The examine of logic led straight to Alan Turing's principle of computation, which proposed that a device, by shuffling symbols so simple as "0" and "1", could simulate any conceivable form of mathematical reasoning. Additionally, there