metamatematica

Enciclopedia on line

Scienza che ha per oggetto l’analisi formale delle strutture matematiche, e che si può identificare con la logica matematica. Con significato più ristretto la m., o teoria della dimostrazione (Beweistheorie), [...] formalizzare la m. è il procedimento di aritmetizzazione, detto pure di gödelizzazione, grazie al quale le affermazioni metamatematiche, per es. che una certa espressione è dimostrabile, divengono proposizioni aritmetiche, e la m., come la matematica ... Leggi Tutto

CATEGORIA: LOGICA MATEMATICA

TAGS: TEORIA DELLA DIMOSTRAZIONE – TEORIA DEGLI INSIEMI – SISTEMA ASSIOMATICO – TEORIA DEI MODELLI – LOGICA MATEMATICA

metateorema

Enciclopedia della Matematica (2013)

metateorema metateorema → metamatematica. ... Leggi Tutto

TAGS: METAMATEMATICA

metalinguaggio

Dizionario delle Scienze Fisiche (1996)

metalinguaggio metalinguàggio [Comp. di meta- e linguaggio] [FAF] [INF] (a) Termine introdotto inizialmente nella logica matematica (sul modello di metamatematica) e poi esteso per indicare in generale [...] un sistema di simboli costituente un linguaggio atto alla descrizione di determinati procedimenti. (b) In termini molto generici, linguaggio convenzionale ... Leggi Tutto

CATEGORIA: STORIA DELLA FISICA – TEMI GENERALI – EPISTEMOLOGIA – METAFISICA

Fondamenti della matematicae teoria algoritmica dell'informazione

Enciclopedia della Scienza e della Tecnica (2007)

Fondamenti della matematica e teoria algoritmica dell'informazione Gregory J. Chaitin Ciò che possiamo dimostrare intorno ai fondamenti della matematica usando i suoi stessi metodi costituisce la metamatematica, [...] XX sec., cioè quelle di algoritmo, informazione e casualità. Il primo passo per l'introduzione di questi concetti nella metamatematica fu compiuto appena cinque anni più tardi da Turing, che utilizzò gli algoritmi per formulare un nuovo teorema di ... Leggi Tutto

CATEGORIA: LOGICA MATEMATICA

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 [...] di uno spazio topologico e sviluppando ulteriormente la tendenza, già presente nel suo lavoro, a trattare algebricamente problemi metamatematici) e di algebre cilindriche. Da notare infine la sua ripresa del calcolo delle relazioni binarie di E ... Leggi Tutto

CATEGORIA: BIOGRAFIE

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

LOGICA MATEMATICA

Enciclopedia Italiana - IV Appendice (1979)

LOGICA MATEMATICA Aldo Marruccelli Alberto Pasquinelli (XXI, p. 398; App. II, 11, p. 226; III, 1, p. 999). Princìpi di logica matematica. È opportuno premettere all'articolo che dà notizia dei progressi [...] organico assetto istituzionale. Questa pluralità di adempimenti coinvolge anche lo sviluppo di altre discipline, quali per es., la metamatematica (v. in questa App.), la teoria dei modelli (v. modelli, teoria dei, in questa App.), ecc., che finiscono ... Leggi Tutto

TAGS: TEORIA DELLA DIMOSTRAZIONE – TEORIA DELLE CATEGORIE – TEORIA DEGLI INSIEMI – SISTEMA ASSIOMATICO – TEORIA DEI MODELLI

fondamenti della matematica

Enciclopedia della Matematica (2017)

fondamenti della matematica fondamenti della matematica locuzione con la quale si indica, in senso lato, lo studio delle basi epistemologiche della logica e della matematica; in senso stretto, l’espressione [...] metodologica, trae la sua origine storica dalle indagini critico-razionali sui concetti basilari della matematica e della metamatematica (quali i concetti di numero, calcolo, insieme, dimostrazione) così come si erano venute configurando nei decenni ... Leggi Tutto

TAGS: PRINCIPIO DEL TERZO ESCLUSO – GEOMETRIE NON EUCLIDEE – TEORIA DEGLI INSIEMI – TEORIA DEI MODELLI – FUNZIONI RICORSIVE

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 [...] che questo concetto stia fuori dai confini propri della matematica [...] appartenga a un altro ramo della scienza: la metamatematica. In questo articolo cercherò di convincere il lettore che l'opinione testé menzionata non è affatto corretta. Senza ... Leggi Tutto

CATEGORIA: STORIA DELLA MATEMATICA

PEANO, Giuseppe

Enciclopedia Italiana (1935)

PEANO, Giuseppe Beppo Levi Matematico, nato a Cuneo il 27 agosto 1858, morto a Torino il 20 aprile 1932, professore di calcolo infinitesimale nell'università di Torino e, per alcuni anni (1887-1901), [...] altri sistemi che lo precedettero e seguirono: meno lo interessò la ricerca logica in sé (algebra della logica e metamatematica: v. logica matematica). Per diffondere le ricerche e le applicazioni dell'ideografia logica e più generalmente la critica ... Leggi Tutto

La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer

Storia della Scienza (2004)

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 [...] , dove 0 è l'elemento minimo del reticolo (un'algebra booleana è un caso speciale di un'algebra di Heyting). Metamatematica della logica e dell'aritmetica intuizioniste dopo il 1940 Agli inizi degli anni Quaranta Kleene concepì un'interpretazione che ... Leggi Tutto

CATEGORIA: STORIA DELLA MATEMATICA – STORIA DEL PENSIERO FILOSOFICO