riporto
ripòrto [Atto ed effetto del riportare "portare indietro, riferire", comp. di ri- e portare] [ALG] L'operazione, nell'algoritmo dell'addizione, per cui quando la somma delle cifre di un certo [...] ordine supera 9, le cifre oltre quelle delle unità sono spostate come ulteriore addendo sulla prima riga della colonna delle cifre di ordine immediatamente superiore; una regola analoga vale per la moltiplicazione ...
Leggi Tutto
La scienza in Cina: l'epoca Song-Yuan. La matematica
Karine Chemla
Annick Horiuchi
Andrea Eberhard-Bréard
La matematica
La rinascita della matematica e la tarda tradizione settentrionale
di Karine [...] che i numeri e le equazioni lineari avevano avuto almeno fin dalla formazione del Canone Han. Si può supporre che il nuovo algoritmo abbia avuto l'effetto di rimodellare l'oggetto matematico che ne era alla base: le equazioni di secondo e terzo grado ...
Leggi Tutto
ricorsività La proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., o della ricorsione, o computabilità, la disciplina che si occupa di fornire una caratterizzazione matematica del concetto [...] da L. Löwenheim nel 1915 e D. Hilbert nel 1918), cioè il problema se, per una data teoria formale T, esista un algoritmo per determinare se una formula A sia o non sia un teorema di T. Per studiare tale problema occorreva trovare un corrispettivo ...
Leggi Tutto
Cooley James William
Cooley 〈kùuli〉 James William [STF] (n. New York 1926) Matematico nel Centro di ricerche della Società IBM (1962). ◆ [ANM] Algoritmo di C.-Tukey: v. analisi armonica: I 131 c. ...
Leggi Tutto
euclideo
euclidèo [agg. Der. di Euclide] [ALG] [FAF] Qualifica di ente matematico o di sistema ipotetico-deduttivo che soddisfi i postulati di Euclide. ◆ [ALG] Algoritmo e. delle divisioni successive: [...] il massimo comun divisore di due numeri, e anche di due polinomi, attraverso un numero finito di operazioni di divisione: → algoritmo. ◆ [ALG] Connessione e.: v. connessione: I 725 f. ◆ [ALG] Geometria e.: quella basata sui postulati e gli assiomi di ...
Leggi Tutto
calcolabile
calcolàbile [agg. Der. di calcolo] [ALG] Funzione c.: funzione che può essere calcolata, per la quale pertanto esiste un procedimento effettivo (cioè un algoritmo) per determinare il suo [...] valore quando sia assegnato il suo argomento (o i suoi argomenti) ...
Leggi Tutto
indecidibile
indecidìbile [Comp. di in- neg. e decidibile "che non può essere deciso"] [ALG] [FAF] Teoria i.: quella per la quale non esiste nessun algoritmo mediante il quale sia possibile decidere [...] in un numero finito di passi, per ogni proposizione formulabile in essa, se sia vera o falsa; è tale, per es., l'intera aritmetica (v. Gödel, teorema di: III 53 c) ...
Leggi Tutto
complessità Caratteristica di un sistema (perciò detto complesso), concepito come un aggregato organico e strutturato di parti tra loro interagenti, in base alla quale il comportamento globale del sistema [...] polinomiale. Dati ora due problemi R e Q si dice che «R si riduce a Q» (e si indica con R ∝ Q), se esiste un algoritmo polinomiale che associa a ogni istanza di R un’istanza di Q in modo tale che la soluzione dell’istanza di Q fornisce la soluzione ...
Leggi Tutto
teoremi di indecidibilità
Silvio Bozzi
In logica matematica, risultati che affermano che una data teoria formalizzata T non è decidibile, vale a dire non ammette un algoritmo in grado di stabilire in [...] Su un altro versante si pone il teorema dimostrato da Yuri Matijasevic (1968), il quale prova che non esiste un algoritmo in grado di stabilire quando un polinomio a coefficienti interi ha o meno soluzione intera, rispondendo così al decimo problema ...
Leggi Tutto
annealing
annealing 〈ënìlin〉 [s.ingl. "ricottura", usato in it. come s.m.] [FSD] Tecnica per la quale → ricottura. ◆ [PRB] [MCS] A. simulato (ingl. simulated a.): algoritmo per la ricerca dei minimi [...] per funzioni analitiche e numeriche che consente di determinare, con probabilità tendente a 1, il minimo assoluto senza dover effettuare tutti i possibili confronti; si basa sul principio di accettare ...
Leggi Tutto
algoritmo
(ant. algorismo) s. m. [dal lat. mediev. algorithmus o algorismus, dal nome d’origine, al-Khuwārizmī, del matematico arabo Muḥammad ibn Mūsa del 9° sec. (così chiamato perché nativo di Khwarizm, regione dell’Asia Centrale)]. – 1....