La seconda rivoluzione scientifica: matematica e logica. I problemi di Hilbert e la matematica del nuovo secolo
David E. Rowe
I problemi di Hilbert e la matematica del nuovo secolo
Problemi matematici [...] , secondo la quale l'esistenza di un numero reale x doveva essere assicurata da una procedura finita, di fatto un algoritmo, in grado di generare x. Secondo Kronecker, tutta la matematica doveva essere costruita mediante tali procedure a partire dai ...
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: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] due numeri interi di n cifre in tempo O(n logn log logn), anziché in tempo O(n2) come avviene per l'algoritmo classico.
La teoria delle basi di Gröbner. L'austriaco Bruno Buchberger introduce la nozione di 'base di Gröbner' (che chiama così in ...
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
La Rivoluzione scientifica: i domini della conoscenza. Dalla Geometrie al calcolo: il problema delle tangenti...
Enrico Giusti
Dalla Géométrie al calcolo: il problema delle tangenti e le origini del [...] si potranno ricavare operando secondo opportune regole sulla funzione P(x,y). Come in Leibniz, il ruolo centrale è giocato dall'algoritmo che consente di trovare la flussione di un prodotto dalla quale si deducono quelle per le potenze, le radici, e ...
Leggi Tutto
L'Ottocento: matematica. Calcolo delle probabilita e statistica
Ivo Schneider
Calcolo delle probabilità e statistica
Il ruolo di Laplace nella stocastica del XIX secolo
Numerosi autori hanno contribuito [...] che comprovassero la sua utilità e quindi la sua legittima applicabilità.
Gauss ‒ il più importante pioniere degli algoritmi ottimali di soluzione, elaborati in funzione applicativa, per il sistema di equazioni trovato con il metodo dei minimi ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1981-1990
1981-1990
1981
Il sistema operativo MS-DOS. Tale sistema, realizzato dalla Microsoft e destinato a dominare nel suo settore, è utilizzato per la prima [...] factor) le cellule si differenziano in neuroni maturi in gran parte simili ai neuroni normali.
Messo a punto l'algoritmo BLAST. Questo strumento (basic local alignment search tool computer program), sviluppato da Samuel Karlin e Stephen F. Altschul a ...
Leggi Tutto
Numeri, teoria dei
LLarry Joel Goldstein
di Larry Joel Goldstein
SOMMARIO: 1. Introduzione: a) argomenti fondamentali; b) la teoria dei numeri nel XVII e XVIII secolo; c) Gauss. □ 2. Teoria algebrica [...] a un altro dei problemi di Hilbert.
Al decimo posto nella lista di Hilbert c'è il problema di fornire un algoritmo per determinare, con un numero finito di calcoli, se una certa equazione diofantea ha soluzione. Nel 1970 Matijaševič, basandosi sul ...
Leggi Tutto
Il Rinascimento. Le arti matematiche
Eberhard Knobloch
Ivo Schneider
Le arti matematiche
Il concetto di scienze matematiche
di Eberhard Knobloch
Il Rinascimento riprese dal Medioevo il concetto delle [...] e di altre monete. A conclusione è posto un problema di calcolo relativo alle società commerciali.
Vi è poi il cosiddetto Algoritmo tridentino, di sole 12 pagine e sempre in lingua tedesca, stampato a Trento nel 1475 da Albert Kunne (XV sec.), in ...
Leggi Tutto
algoritmista
s. m. [der. di algoritmo] (pl. -i). – Nome con cui sono indicati i seguaci, nell’Europa occidentale dei secoli 12°-13°, delle nuove regole di calcolo contenute nel trattato di al-Khuwārizmī: si distinguevano per l’abbandono dell’abaco...