Informatica
Giorgio Ausiello
Carlo Batini
Vittorio Frosini
(App. IV, ii, p. 189; V, ii, p. 704)
Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] come funzionali continui su tali insiemi, è possibile garantire l'applicabilità del teorema del punto fisso di Knaster-Tarski e individuare le funzioni calcolate da programmi ricorsivi come i punti fissi associati a tali programmi.
L'approccio ...
Leggi Tutto
Il termine complessità è oggi frequentemente usato, in campo scientifico, in contesti diversi. In quello dell'informatica, dell'analisi numerica e dell'ottimizzazione, corrisponde alla caratteristica quantitativa [...] trovare in se stesso la dimostrazione assoluta della propria validità. È quanto è stato mostrato anche da A. Tarski nella sua logica semantica: nessun sistema dispone di mezzi sufficienti per autodimostrare se stesso. È possibile, talvolta, trovare ...
Leggi Tutto
La produzione filosofica dopo il 1945 ha senza dubbio risentito fortemente della seconda guerra mondiale, del trauma che essa aveva rappresentato nella vita delle nazioni soprattutto europee. La sua conclusione [...] essere andato nel 1936 in Nuova Zelanda, dal 1946 in poi è stato professore a Londra. Né può dimenticarsi che A. Tarski (nato a Varsavia nel 1902), tra i più illustri rappresentanti della scuola polacca di logica con J. Lukasiewicz e K. Ajdukiewicz ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1971-1980
1971-1980
1971
I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] algebraic decomposition (CAD). Questa procedura fornisce un notevole miglioramento dell'originale metodo di eliminazione dei quantificatori di Tarski (1951).
Scoperto un altro satellite di Giove. Soltanto un anno dopo avere scoperto il satellite Leda ...
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 Alfred Tarski dimostra che la teoria delle algebre di Boole è decidibile; cioè, esiste un algoritmo che, data una formula ...
Leggi Tutto
Pragmatismo
Antonio Santucci
di Antonio Santucci
Pragmatismo
sommario: 1. Introduzione. La problematica ‛peirciana'. 2. Il pragmatismo di James. 3. Dewey e la teoria dell'indagine. 4. La filosofia europea [...] le nostre designazioni e gli oggetti designati. Essa va cercata nella riformulazione della nozione aristotelica di verità proposta da Tarski, per cui un'asserzione è vera se designa uno stato di cose (state of affairs) esistente e la corrispondenza ...
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 [...] come funzionali continui su tali insiemi, è possibile garantire l'applicabilità del teorema del punto fisso di Knaster-Tarski e individuare la funzione calcolata da un programma ricorsivo come il punto fisso del funzionale associato a tale programma ...
Leggi Tutto