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

TAGS: TEORIA DEGLI INSIEMI – LOGICA MATEMATICA – LINGUAGGI FORMALI – METAMATEMATICA – SAN FRANCISCO

Banach-Tarski, paradosso di

Enciclopedia della Matematica (2013)

Banach-Tarski, paradosso di Banach-Tarski, paradosso di paradosso stabilito dai due matematici nel 1924; è una delle conseguenze singolari che deriva dall’includere l’assioma della → scelta nella teoria [...] Xk e n rototraslazioni rk tali che X = ∪k Xk, Y = ∪k rk(Xk). In forma ancora più forte, il paradosso di Banach-Tarski afferma che due sottoinsiemi di Rn dotati di punti interni sono equiscomponibili. Il ricorso all’assioma della scelta fa sì che i ... Leggi Tutto

TAGS: PARADOSSO DI BANACH-TARSKI – RELAZIONE DI EQUIVALENZA – ASSIOMA DELLA → SCELTA – MISURA DI LEBESGUE – EQUISCOMPONIBILITÀ

Lindenbaum-Tarski, teorema di

Enciclopedia della Matematica (2013)

Lindenbaum-Tarski, teorema di Lindenbaum-Tarski, teorema di in logica, stabilisce che un insieme non contraddittorio di formule chiuse del linguaggio dei predicati è sempre contenuto in un insieme di [...] formule coerente massimale, tale cioè che aggiungendo un’altra formula ben formata esso diventa incoerente (→ coerenza) ... Leggi Tutto

TAGS: LOGICA

Herbrand, teorema di

Enciclopedia della Matematica (2017)

Herbrand, teorema di Herbrand, teorema di o teorema di Herbrand-Tarski, in logica, altra denominazione del teorema di deduzione, dimostrato da J. Herbrand nella sua opera del 1930, ma già delineato da [...] A. Tarski nell’anno precedente. Il teorema stabilisce un collegamento tra una teoria logica contenente anche assiomi non logici, ma specifici, e la teoria logica generale, indipendente da essi (→ deduzione, teorema di). Con la denominazione teorema ... Leggi Tutto

TAGS: LOGICA DEL PRIMO ORDINE – LOGICA PROPOSIZIONALE – DEDUZIONE

Herbrand Jacques

Dizionario delle Scienze Fisiche (1996)

Herbrand Jacques Herbrand 〈hèrbrant〉 Jacques [STF] (Parigi 1908 - La Bérarde, Isère, 1931) Logico matematico. ◆ [ALG] Teorema di H. e Tarski: lo stesso che teorema di deduzione (←). ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA

verità

Enciclopedia on line

verità Conformità o coerenza a principi dati o a una realtà obiettiva. Filosofia Definizione e criterio di verità Nella storia della filosofia il concetto di v. è stato concepito in almeno due diverse [...] enunciati ha indotto W.V.O. Quine a trarre la conclusione abbastanza radicale che, quali che fossero le intenzioni di Tarski, una definizione come quella tarskiana mette in evidenza come nel concetto di v. (e nella corrispondenza) non vi sia alcun ... Leggi Tutto

CATEGORIA: DOTTRINE TEORIE E CONCETTI – STRUMENTI E TECNOLOGIA APPLICATA

TAGS: PRESSIONE SANGUIGNA – NEOPOSITIVISTA – NEOPLATONISMO – INTELLETTIVA – GNOSEOLOGICO

Lindenbaum, Adolf

Enciclopedia on line

Logico e matematico polacco (n. Varsavia 1904 - m. in un campo di concentramento nazista dopo il 1941). Si è occupato soprattutto, in collaborazione con A. Tarski, della struttura algebrica dei sistemi [...] 'indipendenza dell'assioma della scelta. Tra i suoi lavori: Über die Beschränktheit des Ausdrucksmittel deduktiver Theorien (1935, in collab. con Tarski), Über die Unabhängigkeit des Auswahlaxioms und einiger seiner Folgerungen (1938, con Mostowski). ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: CAMPO DI CONCENTRAMENTO – VARSAVIA – NAZISTA – POLACCO

Montague

Enciclopedia della Matematica (2013)

Montague Montague Richard Merritt (Stockton, California, 1930 - Los Angeles 1971) logico e filosofo statunitense. Studiò all’università di Berkeley dove fu allievo di A. Tarski. Insegnò all’università [...] della California a Los Angeles. Studioso versatile e originale, Montague ha lavorato in diversi settori della logica matematica e particolarmente importanti sono le sue ricerche nel campo della logica ... Leggi Tutto

TAGS: STOCKTON, CALIFORNIA – LOGICA MATEMATICA – LOGICA MODALE – LOS ANGELES – CALIFORNIA

Leśniewski, Stanisław

Enciclopedia on line

Logico e filosofo polacco (Serpuchov, Mosca, 1886 - Varsavia 1939), dal 1919 prof. di filosofia della matematica all'univ. di Varsavia. Allievo di K. Twardowski, fu (con A. Tarski e J. Łukasiewicz) tra [...] i maggiori esponenti della Scuola logica polacca. Cercò di ovviare alle difficoltà della fondazione insiemistica della matematica proponendo una originale soluzione per il paradosso di Russell, fondata ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: FILOSOFIA DELLA MATEMATICA – CALCOLO PROPOSIZIONALE – PARADOSSO DI RUSSELL – SISTEMA ASSIOMATICO – INSIEMISTICA

MODELLI, Teoria dei

Enciclopedia Italiana - IV Appendice (1979)

MODELLI, Teoria dei (App. III, 11, p. 139) Giulio Supino Alberto Pasquinelli Aldo Marruccelli In questi ultimi 15 anni (1960-75) la t. dei m. si è sviluppata secondo due ordini di idee del tutto opposti. [...] ogni estensione di U(α). Ciò vale, come è ovvio, anche per ogni enunciato K logicamente equivalente ad H. Nel 1954 A. Tarski ha dimostrato che questa affermazione è invertibile, cioè: "se un enunciato K, vero in un universo U(α), è vero in qualunque ... Leggi Tutto

TAGS: TEORIA DELLA DIMOSTRAZIONE – SIMILITUDINE GEOMETRICA – TEOREMA DI COMPATTEZZA – NUMERI INTERI RELATIVI – TEORIA DEI MODELLI