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 [...] insiemi ben fondati e transitivi, che ispireranno la definizione degli ordinali di von Neumann.
L'assioma di rimpiazzamento pareva aFraenkel un assioma tipico per la teoria dei cardinali, più che per la teoria generale di base: necessario ma anche ...
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 [...] ipotesi del continuo è indipendente dalla teoria degli insiemi di Zermelo-Fraenkel, e che lo stesso vale per l'assioma della scelta sistemi di basi di dati. Una base di dati relazionale è simile a un modello per la logica del primo ordine: c'è un ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] sezioni globali di F; (B) Hq(X,F)=0 se q≥1.
Coomologie a valori in un fascio. H. Cartan e J.-P. Serre dimostrano che i gruppi il metodo della prospezione sismica a rifrazione.
Acidi nucleici e proteine. Heinz Fraenkel-Conrat e Robley Cook Williams ...
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, [...] più a lungo A è determinato se uno dei giocatori ha una strategia vincente. In questo ambito si colloca quello che è forse il risultato più celebre di Woodin: l'equiconsistenza dell''assioma di determinatezza' (AD) nella teoria di Zermelo-Fraenkel ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] e di comodo. E le esperienze con i corpi solidi ci hanno portato a "scegliere il gruppo euclideo non come il solo vero, ma come il insieme, si serve del sistema assiomatico di Zermelo e Fraenkel, ma dichiara di non voler entrare "nelle difficoltà ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] svolge il ruolo di card(X) per
Su questa base, si può procedere a definire 0, sc e ℕ proprio come si è fatto per gli insiemi.
e Abraham Fraenkel, Paul Bernays e Kurt Gödel. Oggi si parla dunque dei sistemi assiomatici ZF (Zermelo-Fraenkel) e BG ...
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 [...] all'epoca in questo campo, e specialmente i lavori di Emanuel Lasker, Ernst Steinitz, Abraham Fraenkel, Fischer e altri, per la maggior parte ispirati direttamente a precedenti risultati di Hilbert.
La teoria algebrica dei numeri continuò invece ...
Leggi Tutto
rimpiazzamento
rimpiazzaménto s. m. [der. di rimpiazzare]. – Forma ormai non com. per rimpiazzo, ma specifica nelle locuz. della logica matematica assioma di r., assioma introdotto da A. A. Fraenkel, intorno al 1922, per eliminare alcuni inconvenienti...