Incontrata tra i banchi di scuola e abbandonata il prima possibile o apprezzata e perseguita, la matematica esercita su chi le si accosta un fascino (o una ripugnanza) particolare. Forse per il suo simbolismo, [...] per il suo linguaggio formale lontanissimo da quello che comunemente usiamo, o forse per il suo dilungarsi in speculazioni , a partire dai quali viene costruito tutto il nostro sistema numerico. Studiare i numeri primi vuol dire indagare le basi ...
Leggi Tutto
ordine
órdine s. m. [lat. ōrdo ōrdĭnis]. – 1. a. Disposizione regolare di più cose collocate, le une rispetto alle altre, secondo un criterio organico e ragionato, rispondente a fini di praticità, di opportunità, di armonia, e sim.: mettere,...
realizzazione
realiżżazióne s. f. [der. di realizzare]. – 1. L’azione, l’operazione di realizzare; il fatto e il modo con cui qualcosa si realizza o viene realizzato: è vissuto tanto da vedere la r. dei suoi sogni; r. di un piano, e un progetto,...
aritmetica, sistema formale per l'
aritmetica, sistema formale per l’ descrizione dell’aritmetica come teoria formale a partire da un sistema di assiomi. Per l’aritmetica si utilizzano innanzitutto i simboli del linguaggio dei predicati. Si...
sistema formale
sistema formale apparato simbolico mediante il quale è possibile rappresentare formalmente i procedimenti logico-deduttivi delle dimostrazioni matematiche. Esempi di sistemi formali sono i calcoli logici quali il calcolo degli...