Alonzo Church

The ideas here are retold from the historical record, drawn from the sources each event cites. Alonzo Church never posted on Veritula. To report a mistake, email veritula@dennishackethal.com.

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.