Cerca in:
METAMATEMATICA
Enciclopedia Italiana - IV Appendice (1979)
METAMATEMATICA
Alberto Pasquinelli
Aldo Marruccelli
. Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] 'indipendenza di un termine da altri in una determinata teoria deduttiva. Il vero fondatore del metodo semantico è, però, A. Tarski, che nel 1931, con la sua teoria della definizione, si propose di studiare se, dato un insieme I di entità matematiche ...
Leggi Tutto
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 [...] metodo dell’eliminazione dei quantificatori è introdotto nel 1918 da Thoralf Skolem e poi applicato, prima dell’intervento di Tarski, da Cooper H. Langford (1927) a diverse teorie degli ordini e da Mojzesz Presburger (1930) al gruppo additivo degli ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
modello
Enciclopedia on line
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] quella dei campi) e la teoria generale delle teorie elementari.
A partire dal 1950, specialmente a Berkeley per opera di Tarski e della sua scuola, la teoria dei m. ha ricevuto la definitiva sistemazione su cui si fondano le ricerche relative alla ...
Leggi Tutto
CATEGORIA:
ARCHITETTURA E URBANISTICA
–
SCULTURA
–
FILOSOFIA DEL LINGUAGGIO
–
LINGUISTICA GENERALE
–
ECOLOGIA
–
ALGEBRA
–
GEOMETRIA
–
LOGICA MATEMATICA
–
STATISTICA E CALCOLO DELLE PROBABILITA
–
DIRITTO PRIVATO
–
STORIA E FILOSOFIA DEL DIRITTO
–
METODI TEORIE E PROVVEDIMENTI
–
EPISTEMOLOGIA
–
FILOSOFIA DEL DIRITTO
–
FILIERE STRUMENTI E TECNICHE DELLA PRODUZIONE INDUSTRIALE
teorema di compattezza
Enciclopedia della Scienza e della Tecnica (2008)
teorema di compattezza
Silvio Bozzi
Nella logica matematica, è tale un qualsiasi teorema che stabilisce che – fissato un linguaggio formale L – una teoria T ha come conseguenza logica la formula A, [...] concetto di finito a quello di elemento di un insieme ammissibile. Come provato da Jerome Keisler e Alfred Tarski, la validità della compattezza per linguaggi infinitari è legata all’esistenza di ultrafiltri con particolari proprietà di completezza ...
Leggi Tutto
CATEGORIA:
LOGICA
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Storia della Scienza (2004)
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 [...] ai livelli inaccessibili.
Una generalizzazione originale dell'idea di Zermelo degli stadi che sono modelli è dovuta a Tarski, con il cosiddetto assioma dell'universo, che tornerà utile a proposito della fondazione della teoria delle categorie.
Dopo ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
Kripke, Saul Aaron
Enciclopedia on line
Logico e filosofo statunitense (n. Bayshore, New York, 1940 - m. 2022); docente della Rockefeller University (New York) dal 1968 al 1976, dal 1977 ha insegnato alla Princeton University. Ha elaborato una [...] . K. ha anche proposto un'originale teoria della verità che riesce a eliminare alcuni inconvenienti della teoria di A. Tarski relativi a paradossi. Tra i suoi scritti: Naming and necessity (1980; trad. it. 1982), Wittgenstein on rules and private ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
deduzione
Enciclopedia on line
Filosofia
Rapporto per il quale una conclusione deriva da una o più premesse. Nella storia della filosofia si distinguono tre principali interpretazioni di tale rapporto. Secondo la prima, esso è fondato [...] dimostrazione sistematica di tutte le proposizioni della filosofia.
Matematica
Teorema di d. Noto anche come teorema di Herbrand-Tarski (1930 ca.), consente di stabilire un’equivalenza fra l’affermazione della derivabilità di una certa espressione E ...
Leggi Tutto
CATEGORIA:
LOGICA
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
PADOA, Alessandro
Dizionario Biografico degli Italiani (2014)
PADOA, Alessandro
Clara Silvia Roero
PADOA, Alessandro. – Nacque a Venezia il 14 ottobre 1868 da Pellegrino, commerciante, e da Pasqua Levi.
Dopo aver compiuto gli studi superiori nella sezione fisico-matematica [...] , Milano, 1997, pp. 84-85; L’Archivio Giovanni Vailati, a cura di L. Ronchetti, Milano 1998, pp. 72-73; A. Tarski - S. Givant, Tarski’s system of geometry, in The Bullettin of Symbolic Logic, V (1999), 2, pp. 175-214; P. Cantù, Osservazioni sulla ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
MOSTOWSKI, Andrzej
Enciclopedia Italiana - IV Appendice (1979)
MOSTOWSKI, Andrzej
Logico matematico polacco, nato a Leopoli il 1° novembre 1913. Dal 1947 professore di matematica all'università di Varsavia; dal 1956 membro dell'Accademia polacca delle scienze. Nel [...] of relations (1947), Some impredicative definitions in the axiomatic set theory (1951), Undecidables theories (1953, con A. Tarski e M.R. Robinson), Models of axiomatic theories admitting automorphisms (1955, con A. Ehrenfeucht), On recursive model ...
Leggi Tutto