Affermazione, proposizione, tesi, opinione che, per il suo contenuto o per la forma in cui è espressa, appare contraria all’opinione comune o alla verosimiglianza e riesce perciò sorprendente o incredibile. [...] loro radice comune nella confusione tra linguaggio e metalinguaggio, confusione superabile mediante la formalizzazione del linguaggio. A. Tarski, nel 1930, dimostrò che non è possibile in generale definire il concetto semantico di verità all’interno ...
Leggi Tutto
INTEGRAZIONE E MISURA
Giorgio Letta
. La moderna teoria dell'i. si occupa del concetto generale di "misura" e del concetto di "integrale" relativo a un'arbitraria misura. Essa costituisce una notevole [...] e integrazione, Roma 1959; E. Hewitt, K. A. Ross, Abstract harmonic analysis, Berlino 1963; H. J. Keisler, A. Tarski, From accessible to inaccessible cardinals, in Fund. Math., 53, 1964 (contiene una ricca bibliografia sul "Problema della misura"); G ...
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, Alfred Tarski, Garrett Birkhoff e Toziro Ogasawara negli anni 1936-1940, era una semantica algebrica, con la semantica topologica come ...
Leggi Tutto
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] della proposizione p.
Accanto a quella degli studiosi nominati ricorderemo ancora l’opera dei logici polacchi (J. Łukasiewicz, S. Łesniewski, A. Tarski e altri) e la scuola nominalista di W.V.O. Quine e N. Goodman. In seguito, le varie tendenze hanno ...
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 [...] e Stanisław Leśniewski (1886-1939) danno vita a una scuola di logica, resa celebre a livello internazionale da Alfred Tarski (1902-1983). La straordinaria fioritura della 'scuola polacca' di logica e matematica dura tuttavia lo spazio di un ventennio ...
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 Alfred Tarski negli anni Trenta, diventerà noto come metodo di Padoa. Un altro interessante risultato metateorico si registra nella ...
Leggi Tutto
Econometria
Luigi Pasinetti
Guido Gambetta
di Luigi Pasinetti, Guido Gambetta
Econometria
sommario: 1. Definizione. 2. I precedenti storici. 3. La nascita dell'econometria. 4. I maggiori centri econometrici. [...] form of interdependent systems, in Logic methodology and philosophy of science (a cura di E. Nagel, P. Suppes, A. Tarski), Stanford 1962, pp. 232-239.
Intriligator, M.D., Econometric models, techniques, and applications, Amsterdam 1978.
Johnston, J ...
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 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