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
Nodi e fisica
Louis H. Kauffman
Sommario: 1. Introduzione. 2. Come fissare un nodo: le mosse di Reidemeister. 3. Invarianti di nodi e links: un primo passo. 4. Il polinomio di Jones. 5. Il polinomio [...] nella forma:
Questa equazione, presa insieme al valore - A2 - A-2 dell'anello chiuso, può essere vista come un algoritmo ricorrente per il calcolo dell'ampiezza, e in questa forma ritroviamo il modello del bracket come somma sugli stati per il ...
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
Biomatematica
Vincenzo Capasso
Nel Saggiatore (1623), Galileo Galilei sosteneva che «l’Universo […] è scritto in lingua matematica, e i caratteri sono triangoli, cerchi e altre figure geometriche […]; [...] ogni 12 mesi, mentre la legge di Moore ne prevede 18.
Come il numero di sequenze aumenta, così accade al numero di algoritmi che servono alla loro analisi, il che richiede non solo ulteriore potenza di calcolo, ma anche nuovi metodi matematici e ...
Leggi Tutto
Geometria
Edoardo Vesentini
Nel tracciare i lineamenti essenziali di una storia della matematica, Federigo Enriques osservava nel 1938: "A chi raffronti gli sviluppi che i diversi rami delle matematiche [...] , secondo quanto sostenuto da Andrei A. Markov nel 1958. Egli ha dimostrato infatti che non può esistere alcun algoritmo generale che permetta di decidere se due preassegnate varietà compatte, orientabili, triangolabili, di dimensione quattro siano o ...
Leggi Tutto
DE GIORGI, Ennio
Enrico Moriconi
Nacque l’8 febbraio del 1928 a Lecce figlio di Nicola e di Stefania Scopinich.
La madre proveniva da una famiglia di navigatori di Lussino, mentre il padre era insegnante [...] degli insiemi e pensava che fosse preferibile assumere anche altri concetti, come quelli di ‘relazione’, ‘operazione’, ‘algoritmo’, ‘categoria’ ecc., concetti primitivi non riducibili a quelli di ‘collezione’ e di ‘insieme’. Riguardo a questi ...
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
Giochi, teoria dei
PPierpaolo Battigalli
di Pierpaolo Battigalli
SOMMARIO: 1. Introduzione: a) campo predicativo della teoria dei giochi; b) cenni storici; c) nota sui riferimenti bibliografici. ▭ 2. [...] .
In molti giochi dinamici con un numero finito di stadi esiste un unico equilibrio perfetto, che si può calcolare con un algoritmo di riduzione iterativa del gioco in esame (procedura di induzione a ritroso). Dato il gioco G, si considerano tutte le ...
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....