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 [...] il problema di stabilire quanti possano essere i modelli di data cardinalità di una data teoria completa numerabile. L'idea principale è di compiere una vasta generalizzazione del concetto di dimensione che si incontra nella teoria degli spazi ...
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ù [...] che introduce aprono la strada a uno studio sistematico delnumero dei possibili modelli (a meno di isomorfismo) delle struttura è satura se è k-satura dove k è la sua cardinalità e si può provare che le strutture sature sono non solo universali ...
Leggi Tutto
Categoricità
Silvio Bozzi
Concetto introdotto nel 1905 dal matematico Oscar Veblen e oggi al centro di gran parte dell’attuale teoria dei modelli. In termini generali, una teoria T formulata in un qualsiasi [...] ai linguaggi elementari o a linguaggi più deboli del secondo ordine. Il teorema di Skolem stabilisce infatti tutti i cardinali, o è categorica solo in tutti i cardinali più che numerabili, o è categorica nella sola cardinalitànumerabile.
Mentre ...
Leggi Tutto
numeri algebrici
Luca Tomassini
Numeri complessi (in particolare reali) che siano radici di un polinomio f(x)=anxn+...+a1x+a0 con coefficienti razionali non tutti nulli. Se α è un numero algebrico, [...] è detto polinomio minimo o irriducibile delnumero algebrico α. Se il polinomio irriducibile di un numero algebrico α è di grado n, formano un insieme con cardinalitànumerabile, un risultato che implica l’esistenza di numeri trascendenti (cioè che ...
Leggi Tutto
numerabile
numeràbile agg. e s. m. [dal lat. numerabĭlis]. – Che può essere numerato, cioè distinto con numeri, oppure calcolato esattamente: ci darà la quantità esatta delle ore e minuti ..., se la frequenza fusse da noi n. (Galilei). In...
numero
nùmero s. m. [dal lat. numĕrus; cfr. novero]. – 1. Ciascuno degli enti astratti che rappresentano insiemi di unità, ordinati in una successione infinita (serie naturale dei n.) nella quale ogni elemento conta un’unità in più rispetto...