Passione
Aforismi
Roger Penrose
L'intelligenza non può essere presente senza capire. Nessun computer ha alcuna consapevolezza di quello che fa.
La nozione di verità matematica va al di là dell'intero concetto di formalismo. Nella verità matematica c'è qualcosa di assoluto e di "divino".
La reale verità matematica va oltre le mere costruzioni prodotte dall'uomo.
Se non ci fossero cose non computabili, il concetto di computabilità non avrebbe molto interesse in matematica: i matematici, dopo tutto, amano i rompicapo.
Spesso, quando si fa matematica, ci si sforza di trovare algoritmi, ma questo sforzo stesso non sembra essere un procedimento algoritmico.
Una bella idea ha molte più probabilità di essere giusta di una brutta idea.