metamatematicametamatemàtica [Comp. di meta- e matematica] [ALG] [ANM] [FAF] La scienza che ha per oggetto l'analisi formale delle strutture matematiche e che può essere identificata con la logica matematica. ...
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 intorno al 1919, avente per oggetto intere teorie matematiche ... ...
Leggi Tutto
metamatematica o teoria della dimostrazione, termine con cui si indica il programma proposto da D. Hilbert attorno agli anni Venti del secolo scorso al fine di garantire che le usuali procedure dimostrative matematiche siano sufficienti a derivare l’intero corpo della matematica classica, ma non permettano ... ...
Leggi Tutto
Parte della logica matematica che ha per oggetto l’analisi formale delle dimostrazioni e delle strutture matematiche. Le sue principali branche sono quindi la teoria della dimostrazione e la teoria dei modelli.
Logica matematica
La m., o teoria della dimostrazione (Beweistheorie), è il settore della ... ...
Leggi Tutto
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 vi attese col proposito di superare le difficoltà emerse dalla crisi dei fondamenti della matematica classica nei primi ... ...
Leggi Tutto
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
Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] dello status degli enti matematici, dall’intuizionismo al formalismo fino agli importanti risultati di K. Gödel (➔ metamatematica; logica). Nell’ampia serie di proposte sulla natura della conoscenza matematica vanno inoltre segnalati gli approcci di ...
Leggi Tutto
metamatematica
metamatemà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...