La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Godel
Carlo Cellucci
I teoremi di incompletezza di Gödel
Nei giorni 5-7 settembre 1930 ebbe luogo a Königsberg [...] .
Per comprendere il significato del teorema dell'indefinibilità della verità si noti che, secondo la ormai classica formulazione data da AlfredTarski nel 1936, una definizione di verità richiede che, per ogni asserzione P, 'P' è vera se e solo se P ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] a chiedere quale fosse allora la classe delle funzioni calcolabili. Alonzo Church, Kurt Gödel, Emil L. Post, AlfredTarski e Alan M. Turing proposero diverse possibili definizioni. Ciascuna era basata su un particolare aspetto della nozione di ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia
Ettore Casari
La scuola di Leopoli-Varsavia
Gli inizi
La singolare vicenda intellettuale divenuta nota come 'Scuola [...] presto molti giovani, i cui nomi sono entrati nella storia della logica. Il primo di essi fu AlfredTarski, già docente dal 1926, poi seguirono Mordechaj Wajsberg, Adolf Lindenbaum, Mojzesz Presburger, Stanisław Jaśkowski, Bolesław Sobociński, Jerzy ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le logiche modali
Fabio Bellissima
Paolo Pagli
Le logiche modali
L'Organon di Aristotele, atto di nascita della logica formale, comprende, oltre [...] di tale semantica.
La semantica algebrica
Al fine di studiare possibili connessioni tra algebra e topologia, John C.C. McKinsey e AlfredTarski (1902-1983), in The algebra of topology (1944), posero le basi di un nuovo calcolo algebrico. Il concetto ...
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 [...] costruire CW-complessi con preassegnati gruppi di omotopia.
Decidibilità della teoria delle algebre di Boole. Il logico polacco AlfredTarski dimostra che la teoria delle algebre di Boole è decidibile; cioè, esiste un algoritmo che, data una formula ...
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 [...] primitivi: se lo fosse, le due interpretazioni coinciderebbero anche rispetto a R. Questo procedimento, riscoperto da AlfredTarski negli anni Trenta, diventerà noto come metodo di Padoa. Un altro interessante risultato metateorico si registra nella ...
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 [...] polacca produrrà anche, con AlfredTarski (1901-1982), la nozione di fortemente inaccessibile. Tarski in particolare sarà colui che di Zermelo degli stadi che sono modelli è dovuta a Tarski, con il cosiddetto assioma dell'universo, che tornerà utile ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I luoghi e le istituzioni
Umberto Bottazzini
I luoghi e le istituzioni
Nei decenni che separano l'ultimo quarto del XIX sec. dalla Seconda guerra [...] -1956) e Stanisław Leśniewski (1886-1939) danno vita a una scuola di logica, resa celebre a livello internazionale da AlfredTarski (1902-1983). La straordinaria fioritura della 'scuola polacca' di logica e matematica dura tuttavia lo spazio di un ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] . La semantica per IPC (calcolo proposizionale intuizionista), che si deve a Stanisław Jaśkowski, Marshall H. Stone, AlfredTarski, Garrett Birkhoff e Toziro Ogasawara negli anni 1936-1940, era una semantica algebrica, con la semantica topologica ...
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 [...] teoria dei reali. Il metodo dimostrativo usato da Tarski, l'eliminazione dei quantificatori, è uno degli strumenti la fisiologia.
Confermato che il DNA è il materiale ereditario. Alfred D. Hershey e Martha Chase, del Biological Laboratory di Cold ...
Leggi Tutto