Utente anonimo
→Applicazioni
Nessun oggetto della modifica |
|||
Riga 23:
La macchina di Turing non è altro che un modello formale che ci permette di sapere quali problemi un calcolatore può risolvere(decidibilità) e quali può risolvere, ma in un tempo straordinariamente lungo (intrattabili).
Grazie alla macchina di Turing, siamo in grado dimostrare in maniera formale che un calcolatore non potrà mai risolvere problemi fondamentali come "la probabilità che un nerd trovi una ragazza" o la "probabilità che l'idiota che ha scritto sta boiata
== Personaggi famosi ==
|