Cerca in:
Tarski, Alfred
Enciclopedia on line
Logico, matematico e filosofo di origine polacca (Varsavia 1901 - San Francisco 1983), naturalizzato statunitense. Considerato uno dei massimi esponenti della Scuola logica polacca, fu autore di fondamentali studi sulla semantica dei linguaggi formali, precisando i concetti di verità e di conseguenza logica e delimitandone il valore assoluto. Si occupò anche di teoria degli insiemi, topologia, algebra, ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
lògica matemàtica
Enciclopedia on line
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] in particolare a quei linguaggi formali che la ricerca logica aveva elaborato per scopi fondazionali. Nel 1931 Alfred Tarski darà la prima definizione adeguata dei concetti semantici fondamentali di verità, modello, insieme definibile, conseguenza e ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
STORIA DELLA MATEMATICA
Enciclopedia della Matematica (2013)
STORIA DELLA MATEMATICA
Luigi Borzacchini
STORIA DELLA MATEMATICA
Il tempo della scienza senza tempo
La matematica è la più antica e la più immutabile delle discipline. Si può dire che la matematica [...] termini della distinzione netta tra semantica e sintassi che troverà la sua formulazione moderna negli anni Trenta con Alfred Tarski (1901-83): così il significato di una formula veniva tradotto nella sua “interpretazione” in termini insiemistici, e ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Gödel
Storia della Scienza (2004)
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 Alfred Tarski nel 1936, una definizione di verità richiede che, per ogni asserzione P, 'P' è vera se e solo se P ...
Leggi Tutto
La matematica del Novecento
Storia della civiltà europea a cura di Umberto Eco (2014)
Giorgio Strano
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
La matematica del Novecento è stata paragonata nel 1951 da Hermann Weyl al delta del [...] una qualsiasi famiglia di spazi compatti è uno spazio compatto.
Tuttavia AC ha conseguenze che urtano la nostra intuizione. Nel 1924 Alfred Tarski e Stefan Banach dimostrano che tra le conseguenze di AC c’è il fatto che una sfera dello spazio a tre ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsività
Storia della Scienza (2004)
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, Alfred Tarski e Alan M. Turing proposero diverse possibili definizioni. Ciascuna era basata su un particolare aspetto della nozione di ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
La logica nel Novecento
Storia della civiltà europea a cura di Umberto Eco (2014)
Andrea Bernardoni
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
All’inizio del Novecento la logica si sviluppa sotto l’egida della problematica circa [...] di verità in modo intuitivo, facendo a meno della definizione di validità. Negli anni Trenta, il logico polacco Alfred Tarski (1901-1983) a partire dal saggio Der Wahreitsbegriff in den formalisierten Sprachen (Il concetto di verità nei linguaggi ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia
Storia della Scienza (2004)
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 Alfred Tarski, già docente dal 1926, poi seguirono Mordechaj Wajsberg, Adolf Lindenbaum, Mojzesz Presburger, Stanisław Jaśkowski, Bolesław Sobociński, Jerzy ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
La seconda rivoluzione scientifica: matematica e logica. Le logiche modali
Storia della Scienza (2004)
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 Alfred Tarski (1902-1983), in The algebra of topology (1944), posero le basi di un nuovo calcolo algebrico. Il concetto ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
modello
Enciclopedia della Scienza e della Tecnica (2008)
modello
Silvio Bozzi
Concetto che nella logica contemporanea ha un’estensione più ristretta di quella che può avere nelle scienze empiriche, dove indica una rappresentazione matematica di fenomeni fisici, [...] della teoria dei tipi arricchito di eventuali costanti extralogiche. Adottando la definizione classica di verità data da Alfred Tarski nel 1935 per i sottolinguaggi della teoria dei tipi, tutte queste strutture si possono quindi vedere come ...
Leggi Tutto
CATEGORIA:
LOGICA