Frase di Alan Mathison Turing


“Per alcuni sistemi logici, è stato dimostrato che non esiste alcuna macchina in grado di distinguere le formule dimostrabili del sistema da quelle non dimostrabili. Così se una macchina è costruita con questo obiettivo deve, in certi casi, fallire. D'altra parte se un matematico fosse messo di fronte a un tale problema, egli si guarderebbe intorno e cercherebbe nuovi metodi di prova, per giungere alla fine a una decisione circa alla formula data.”
Dettagli frase
Citazioni e aforismi
Matematica, Crescita personale, Cambiamento
10/04/2010 alle 04:54 Valutazione mediaeccellente

3Curiosità 1489
450
Valutazione mediaeccellente

3
Matematica, Crescita personale, Cambiamento
10/04/2010 alle 04:54 Valutazione mediaeccellente



450
Valutazione mediaeccellente



Commenti sulla frase
Frasi affini- La trovi in Matematica
“(Dopo aver dimostrato la formula di Eulero: e [pi] i = -1 durante una lezione:) Signori, questo è sicuramente vero, è assolutamente paradossale; non possiamo capirlo, e non sappiamo cosa significhi. Ma lo abbiamo provato, e quindi sappiamo che è la verità.”
- La trovi in Scienza
- La trovi in Matematica
- La trovi in Altre frasi d'Amore
“Non esistono formule, né metodi: solo amando noi impariamo ad amare.”
- La trovi in Scienza
“La materia... una formula conveniente per descrivere cosa succede dove non ce n'è.”
In evidenza