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 [...] molte questioni di economia, conseguendo il premio Nobel 1994 per questa disciplina.
La decidibilità della geometria elementare. A. Tarski dimostra la decidibilità della teoria del campo reale, e quindi anche della geometria elementare, la quale ...
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 [...] teoria solleva un intenso dibattito in quanto si pone in antitesi con la spiegazione neodarwiniana del cambiamento evolutivo.
1968
Decidibilità della teoria dei campi finiti. L'americano James Ax dimostra che esiste un algoritmo per decidere se una ...
Leggi Tutto
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 [...] poliedro e di complesso cellulare. Nello stesso anno riesce a costruire CW-complessi con preassegnati gruppi di omotopia.
Decidibilità della teoria delle algebre di Boole. Il logico polacco Alfred Tarski dimostra che la teoria delle algebre di Boole ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] che presenta gli assiomi per il calcolo dei predicati, rispetto al quale viene posta la questione della completezza e della decidibilità. L’epoca d’oro della logica era alle porte. Le rose stavano fiorendo, ma non in Italia, dove il giovane ...
Leggi Tutto
decidibilita
decidibilità s. f. [der. di decidibile]. – La qualità o la condizione di essere decidibile, sia in senso generico, sia nel sign. specifico della logica matematica.