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
Logico (Leopoli 1913 - Vancouver 1975), dal 1947 prof. all'univ. di Varsavia, dal 1956 membro dell'Accademia delle scienze polacca. È tra i più fecondi logici polacchi del secondo dopoguerra. Ha scoperto [...] originale formulazione del sistema assiomatico degl'insiemi di Zermelo-Fraenkel (1959). Tra le sue opere: Über die arithmetic (1957), Undecidable theories (1958, in collab. con A. Tarski), Axiomatizability of some many-valued predicate calculi (1961 ...
Leggi Tutto
MOSTOWSKI, Andrzej
Logico matematico polacco, nato a Leopoli il 1° novembre 1913. Dal 1947 professore di matematica all'università di Varsavia; dal 1956 membro dell'Accademia polacca delle scienze. Nel [...] un'originale formulazione del sistema assiomatico degl'insiemi di Zermelo-Fraenkel e nel 1951 ha elaborato la teoria impredicativa delle 1955, con A. Ehrenfeucht), On recursive model of formalized arithmetic (1957), On a generalization of quantifiers ...
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...