Tutte le frasi di Alan Mathison Turing
- La trovi in Matematica
“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...” (continua)(continua a leggere)
- La trovi in Scienza
In evidenza