La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] usa nella sua definizione i sottoinsiemi chiusi invece di quelli aperti) e di coomologia a valori in un fascio, che da dare luogo a una nuova forma di virus. I due otterranno, insieme a Salvador E. Luria, il premio Nobel 1969 per la medicina o la ...
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 [...] relazione tra P ed NP è uno dei più importanti problemi aperti dell'informatica e, più in generale, della matematica. Esso è una funzione unaria, x è una variabile e 0 una costante, avremo che l'insieme dei termini è: {0,x,f(0),f(x),f(f(0)),f(f(x ...
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ù [...] di variabili; linguaggi con quantificatori generalizzati del tipo 'esiste una infinità k di elementi x per cui…', oppure 'è un aperto l'insieme degli x tali che…', ecc., che hanno proprietà particolari e sui quali si è accumulato un ricco corpus di ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Gabriele Lolli
La teoria degli insiemi
La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] booleani, e con i suoi raffinamenti, inizia la grande stagione della teoria degli insiemi; tutte le questioni aperte vengono risolte, nel senso dell'indipendenza, insieme ad altre che emergono dal nuovo lavoro. Si vede in modo reale, costruendo ...
Leggi Tutto
Previsione
Italo Scardovi
di Italo Scardovi
Previsione
La previsione nella scienza
Da sempre l'uomo s'interroga sul futuro. Da sempre cerca nei dati del mondo i segni di ciò che l'aspetta. Tra intuizioni [...] La matematica di quel sistema era la sintassi dell'ordine e, insieme, della previsione; e se non si riusciva a predire con umana la previsione razionale si traduce in un ventaglio aperto sui futuri possibili, sebbene la ragion pratica di ogni ...
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 [...] Ernst Eduard Kummer (1810-1893) che, a sua volta, aveva aperto la strada alla teoria dei campi di numeri algebrici, argomento dello si può forse evincere da un articolo che egli scrisse insieme ad Adolf Hurwitz, nel quale è delineato un procedimento ...
Leggi Tutto
spazio separabile
Luca Tomassini
Un insieme A è detto di cardinalità numerabile se esso può essere posto in corrispondenza biunivoca con l’insieme dei numeri naturali positivi ℕ. Esempi di insiemi numerabili [...] cardinalità numerabile) convergente a x nella topologia assegnata. La chiusura dell’insieme ℕ visto come sottoinsieme di ℝ (dotato della topologia naturale generata dagli intervalli aperti) coincide con ℕ stesso: ℕ non è dunque ovunque denso in ℝ. Al ...
Leggi Tutto
Uryson Pavel Samuilovic
Uryson (o Urysohn) 〈urïsòn〉 Pavel Samuilovič [STF] (Odessa 1898 - Batz, Loira, 1924) Libero docente di matematica nell'univ. di Mosca (1921). ◆ [ALG] Lemma di U.: afferma che [...] X, dati due insiemi disgiunti A e B, si può sempre trovare una funzione f tale che f(x)=0 se x∈A, f(x)=1 se x∈B, 0≤f(x)≤1 se x∉A⋃B. ◆ [ANM] Teorema di U.: ogni spazio topologico normale, provvisto di una base numerabile di aperti, è omeomorfo a ...
Leggi Tutto
aperto
apèrto agg. [part. pass. di aprire; lat. apĕrtus, part. pass. di aperire]. – 1. a. Non chiuso: uscio a., finestra a.; il negozio rimane a. fino all’una; sulla scrivania c’era un libro a.; restare, rimanere a bocca a., per stupore; stare...
sorgente aperta
loc. s.le f. e agg.le In informatica,codice sorgente di un programma liberamente visualizzabile e modificabile dall’utente; a esso relativo. ◆ Nel 1984 l’informatico Richard Stallman del Mit lanciò la Free Software Foundation...