L'Eta dei Lumi: matematica. Geometria analitica, delle curve e delle superfici. Il problema delle parallele
Peter Schreiber
Geometria analitica, delle curve e delle superfici. Il problema delle parallele
A [...] particolare del metodo generale di descrivere oggetti attraverso 'strutture di dati' e di applicare a queste ultime algoritmi originariamente pensati per tali oggetti. Di ciò fa parte naturalmente l'intero apparato concettuale degli insiemi ordinati ...
Leggi Tutto
La civilta islamica: osservazioni, calcolo e modelli in astronomia. Geografia matematica e cartografia
Edward S. Kennedy
Geografia matematica e cartografia
Lo storico delle scienze esatte dell'Islam [...] di longitudine Δλ fra Baghdad e Ghazna (nel moderno Afghanistan), capitale del suo maestro, applicò numerose volte il suo algoritmo ai posti di cambio passando per Rayy, Jurjaniya e Balkh. Poiché dubitava, a ragione, del risultato ottenuto in questo ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. Teoria e pratica nel Medioevo
Guy Beaujouan
Teoria e pratica nel Medioevo
L'Alto Medioevo
Il giudizio negativo, talvolta velato di [...] e Boezio, dopo gli adattamenti del XII sec. dell'opera di al-Ḫwārazmī prese il nome di 'algorismo' (poi algoritmo); quanto alla tecnica di scrittura, mentre i manuali, molto diffusi, di Alessandro di Villedieu e di Giovanni di Sacrobosco insegnavano ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'economia matematica 1870-1950
Angelo Guerraggio
L'economia matematica 1870-1950
Di matematica sociale comincia a parlare Condorcet nella Francia [...] dimostrerà l'esistenza delle variabili duali associate a ciascun vincolo ‒ chiamate moltiplicatori risolventi ‒ individuando un algoritmo risolutivo che verrà dimostrato equivalente a quello di George Bernard Dantzig.
La diffusione delle idee di ...
Leggi Tutto
Scienza greco-romana. Diofanto di Alessandria
Roshdi Rashed
Diofanto di Alessandria
Nel corso degli ultimi decenni la nostra conoscenza dell’opera di Diofanto di Alessandria è cambiata in maniera considerevole, [...] tutt’altra cosa, invece, è ricorrere a queste nozioni e a questo linguaggio per individuare i metodi e gli algoritmi senza però attribuirvi i significati geometrici che hanno attualmente. Quest’ultima posizione ci sembra la più corretta, a condizione ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Geometria pratica
Hélène Bellosta
Geometria pratica
Nella classificazione delle scienze di al-Fārābī figura la categoria dei 'procedimenti [...] . Dopo di che, così come aveva fatto per le superfici dei poligoni regolari, al-Kāšī dà, sotto forma di tavola, l'algoritmo di calcolo ‒ a partire dal diametro ‒ dei volumi dei vari poliedri regolari e semiregolari inscritti in una sfera.
Al-Fārisī e ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. La tradizione araba del Libro X degli Elementi
Marouane Ben Miled
La tradizione araba del Libro X degli Elementi
La storia delle letture [...] stato condotto a manipolare quantità negative, al-Samaw᾽al stabilì le regole di calcolo sulle quantità negative per potere ottenere una descrizione completa dei suoi algoritmi:
a) se x⟨0 e y>0, allora xy⟨0; se x⟨0 e y⟨0, allora xy>0; se x>0 ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Aritmetica
Pascal Crozet
Aritmetica
Se ciò che in questa sede intendiamo per aritmetica si ricollega in generale al calcolo con quantità [...] rientrano quindi più in generale nella teoria dei numeri, compaiono così nei trattati di ḥisāb in relazione alle operazioni: l'algoritmo euclideo per la ricerca del massimo comun divisore viene pertanto ripreso da al-Karaǧī e da molti altri. In molte ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1971-1980
1971-1980
1971
I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] p e q si può decifrare il testo, quindi la sicurezza di RSA si basa sulla difficoltà di fattorizzare un numero con gli algoritmi attualmente noti.
Irrazionalità di ζ(3). Il francese Roger Apéry dimostra che il valore della funzione ζ di Rie-mann nel ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1991-2000
1991-2000
1991
Il sistema operativo Linux. Uno studente finlandese, Linus Torvalds, sviluppa il sistema operativo Linux. Il sistema può essere distribuito, [...] anche un'interpretazione biologica di tali caratteristiche di ordine spontaneo.
1994
Calcolo quantistico. L'informatico americano Peter Shor trova un algoritmo efficiente (cioè polinomiale) di fattorizzazione per computer quantistici (non sono noti ...
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....