metamatemà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.
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 ...
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 ...
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 ...
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 ...
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...
