Il famoso motto di Gödel

Dice Enzensberger, oggi su Repubblica, che la validità del "famoso motto" di Kurt Gödel, secondo cui "è impossibile dimostrare la mancanza di contraddizioni logiche di un sistema all'interno dello stesso sistema" sarebbe dimostrata, la validità, dal fatto che nessun computer è in grado di generare una "serie di numeri random".
No, caro HM, i computer non c'entrano proprio e, innanzitutto, perché se li sono inventati dopo. Quello, più che un "motto" è un teorema ossia una cosa che si dimostra in maniera formale, che si studia in quasi tutti i corsi di logica matematica all'università, che Gödel aveva messo giù un po' difficile nel '31 ma che poi in molti hanno semplificato. Tutto sta a leggerselo.
La Repubblica, H&M, Wikipedia