metamatematicametamatemàtica s. f. [comp. di meta- e matematica]. – Teoria che ha per fine lo studio dei fondamenti della matematica; più precisamente, lo studio della natura e dei limiti delle scienze [...] matematiche, il cui metodo specifico consiste nel trasformare una teoria matematica in un sistema assiomatico mediante la piena formalizzazione del suo significato intuitivo e nel dimostrare, poi, le proprietà ...
Leggi Tutto
meta-
mèta- [dal gr. μετά «con, dopo», in composizione μετα- (con i sign. di cui al n. 1 a)]. – 1. Prefisso di molte parole composte derivate dal greco o formate modernamente (anche nella terminologia [...] oggetto della scienza al cui nome meta- è premesso, ma giacenti comunque al di là dei loro confini (v. metalinguaggio, metamatematica, metapsichica, metastoria, ecc.). 2. In chimica è usato con sign. diversi, e cioè per indicare: a. Un composto che ...
Leggi Tutto
metalinguaggio
metalinguàggio s. m. [comp. di meta- e linguaggio]. – 1. Termine, introdotto dapprima in logica matematica (per analogia con quello di metamatematica) per indicare in generale un linguaggio, [...] o sistema di segni, naturale o artificiale, adottato per la descrizione della struttura formale di dati linguaggi (che, in quanto oggetto di investigazione, vengono definiti linguaggi-oggetto). In partic., ...
Leggi Tutto
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), è la scienza, creata da D. Hilbert...