Obiettivi di -PeterPan-
Aggiornamento di stato singolo
Vedi tutti gli aggiornamenti di -PeterPan-
-
"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"
Alan Turing
Rieccoci alla citazione del giorno <3 oggi ho scelto uno che mi particolarmente caro
-
Questo chiude il nostro breve viaggio nella mente dei matematici/informatici
quando potrai approfondisci e scopri nuove cose
-
- E' stata aggiunta una reazione da -PeterPan-
-
1
-




























































































































































































































































































































































































































