Peccato però che questa non sia una dimostrazione, perché per completare la tabellina non basterebbero diecimila anni. Tanto è vero che Penrose cita questo esempio relativamente al cosiddetto problema dell'arreto di Turing. Non ci sono procedimenti algoritmici tali da dimostrare in un numero finito di passaggi questa verità elementare dell'aritmetica a partire dagli assiomi dell'aritmetica stessa, pertanto non esiste una dimostrazione veramente dimostrativa di questa verità.
[Modificato da Trianello 11/07/2008 13:13]
-------------------------------------------
Deus non deserit si non deseratur
Augustinus Hipponensis (De nat. et gr. 26, 29)