Alonzo Church

Chronicled events

1. May 28, 1936​·​Turing’s Universal Machine
   #5874

   Some problems can’t be solved by any effective calculation: I’ve found one in elementary number theory. So no mechanical procedure can decide, for every statement of logic, whether it can be proved.