*
*

Kurt Gödel (1906–1978).

Una macchina può dimostrare? è il titolo di un articolo apparso trent’anni fa nel numero 8 di Tangente. Attraverso esempi elementari, mostrava che, se un ragionamento consentiva di ricondurre una questione all’analisi di un numero finito (e limitato) di casi verificabili al computer, allora la questione poteva essere dimostrata al computer. All’epoca molti matematici respingevano ancora questo principio, sostenendo (a rigore, a ragione) che sarebbe stato necessario dimostrare che anche il sistema operativo impiegato fosse privo di errori.