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 [...] Karmarkar, invece, oltre a essere efficiente in teoria, cioè polinomiale, lo è anche in pratica. L'idea nuova di Karmarkar maggiore o uguale al minimo numero di punti critici di una funzione di Morse su M. Una caso particolare di questa congettura ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] se dato un caso x del problema A è possibile creare (in tempo polinomiale) un caso f(x) del problema B tale che x ha soluzione versione quantistica del bit. Lo stato di un qubit è espresso dalla funzione ∣ψ>=α∣0>+β∣1> in cui le ampiezze ...
Leggi Tutto
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] Nel caso di insiemi, basterà considerare n=1 e per funzioni prendere il grafo come relazione n+1-aria. Diremo poi che catene di campi finiti - Ax prova così che ogni mappa polinomiale da una varietà affine (definita su un campo algebricamente chiuso) ...
Leggi Tutto
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 [...] numeri che non possono essere radici di un'equazione polinomiale a coefficienti interi). Soltanto trent'anni dopo Cantor dei quali era la famosa congettura di Riemann secondo cui gli zeri non banali della funzione zeta
[1] ζ(s) = 1+1/2s+1/3s+1/4s+…, ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'analisi numerica
Paolo Zellini
L'analisi numerica
L'analisi numerica moderna comincia a delinearsi verso la metà del XX sec., con le prime [...] di risoluzione numerica. Successivamente sono state usate, invece di funzioni lineari a tratti, funzioni regolari, polinomiali a tratti, in particolare funzioni spline. Sia le funzioni spline sia i metodi di tipo variazionale devono la loro ...
Leggi Tutto