OVERSIGHT_015910 --- PAGE BREAK --- The Machine r uring probably learned of the Entscheidungsproblem in a lecture given at Cambridge University by Max Newman. Newman described a new proof by Gddel showing mathematics was incomplete. The proof solved the completeness and consistency problems by turning mat