That same year, the British mathematician Alan Turing published a famously critical step toward machine intelligence. He had proven that any solvable mathematical problem could, in principle, be solved by machine. He had pointed the way toward computers that could reprogram their own instructions as they worked, all-purpose machines of a flexibility far beyond any that had yet been conceived. Now, Shannon had shown that any sensical statement of logic could, in principle, be evaluated by machine.
