Computazione, teoriadella
Fabrizio Luccio
La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] lo sviluppo dei calcolatori a programma memorizzato. È questa l'origine dei due assi portanti dellateoriadella computazione, cioè la computabilità e la complessità di calcolo.
Il secondo problema di Hilbert sulla dimostrazione di compatibilità ...
Leggi Tutto
Numeri
Umberto Zannier
Quanti? Quanto? Quando? A che distanza? Domande a cui rispondiamo, di solito, con numeri. Di essi facciamo continuo uso, e l’importanza concettuale, oltre che pratica, della nozione [...] che gli elementi dell’insieme ed esprime qualcosa che va oltre il tipo di infinito.
Computabilità ed effettività
Il più o meno come la moltiplicazione. Con i sofisticati metodi dellateoria dei numeri si riesce attualmente a fattorizzare un numero al ...
Leggi Tutto
computabile
computàbile agg. [dal lat. computabĭlis]. – Che si può computare; di cui si può o si deve tener conto: periodo di servizio militare c. ai fini della pensione. In logica matematica e in informatica teorica, detto di una funzione...