American logician Alonzo Church proves the Tarski-Church-Turing theorem: There is no foolproof method for discriminating true statements of arithmetic from false statements. Post navigation Previous Article Previous Article 1936 Next Article Next Article 1936
