Il logico americano Alonzo Church dimostra il teorema di Tarski-Church-Turing: Non esiste un metodo infallibile per discriminare enunciati veri dell’aritmetica da enunciati falsi Post navigation Previous Article Previous Article 1936 Next Article Next Article 1936
