• Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X

metamatematica

Enciclopedia on line
  • Condividi

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 e le relative proprietà strutturali. Per l’indirizzo ideato da Hilbert (➔ formalismo), il fine ultimo della m. è di chiarire i fondamenti della matematica, in modo da metterla al riparo dai paradossi; il suo metodo specifico consiste, innanzitutto, nel trasformare una teoria matematica in un sistema assiomatico mediante la piena formalizzazione del suo significato intuitivo e nel dimostrare, poi, le proprietà del sistema formale costruito (in particolare, la sua non contraddittorietà). Il trattamento metamatematico può essere infatti applicato solo a teorie completamente formalizzate (cioè, a sistemi assiomatici contenenti un conveniente calcolo logico, simboli speciali per gli individui, i predicati e le funzioni, oltre agli assiomi non logici propri delle teorie), scelte in modo da riprodurre fedelmente le teorie matematiche oggetto di studio. Perciò si dovrà, tra l’altro, esigere che la teoria formalizzata sia semanticamente completa, cioè che ogni teorema dimostrabile nella teoria matematica originaria trovi il corrispettivo in una proposizione deducibile nella teoria formale. Nella scelta del calcolo logico da includere nella teoria si farà in modo che questo sia non solo sufficientemente potente per esprimere tutte le deduzioni della teoria oggetto di studio, ma contemporaneamente il più debole possibile per evitare complicazioni non indispensabili. Un elemento qualificante della m. hilbertiana è che ogni dimostrazione o costruzione deve essere effettivamente eseguibile in un numero finito di passi, così che non possano sorgere dubbi sulla correttezza delle deduzioni metamatematiche.

Un’importante novità nel metodo metamatematico viene introdotto da K. Gödel, il quale, oltre alla teoria matematica oggetto di studio, formalizza anche la m. stessa. Si può, dunque, dire che con Gödel si chiude la ‘fase ingenua’ della m. e ha inizio il ‘periodo critico’ di una m. formalizzata e cosciente delle proprie interne limitazioni. Lo strumento escogitato da Gödel nel 1931 allo scopo di 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, può essere interamente formalizzata. Se la teoria oggetto di studio è l’aritmetica formalizzata, essendo ormai anche le espressioni metamatematiche divenute aritmetiche, tutta la m. del sistema formale è contenuta in questo stesso sistema, se esso è sufficientemente potente. Così Gödel dimostrò: a) che un tale sistema è sintatticamente incompleto (cioè, esiste una espressione A del sistema per cui né A, né ¬A è deducibile in esso); b) che se un tale sistema è consistente, la sua consistenza non può essere provata all’interno di esso. Dopo che Gödel ebbe dimostrato l’impossibilità di dare una garanzia assoluta della matematica mediante una dimostrazione finitistica della sua non contraddittorietà, furono fornite di questa alcune prove ma con argomentazioni non finitistiche.

Nel 1936 G. Gentzen riuscì a dimostrare la consistenza dell’aritmetica usando un principio d’induzione transfinita. Analoghi risultati sono stati ottenuti da K. Schütte, da P. Lorentzen e altri. Naturalmente questo genere di dimostrazioni non ha l’importanza epistemologica di una dimostrazione di consistenza del tipo progettato da Hilbert. Proprio per questo, anziché alla consistenza assoluta, l’interesse degli studiosi si è rivolto a dimostrazioni di consistenza relativa e d’indipendenza. I due risultati storicamente più importanti sono quelli ottenuti da Gödel e da P. Cohen. Nel 1940 Gödel dimostrò la non contraddittorietà, relativamente agli altri assiomi della teoria degli insiemi, dell’assioma zermeliano della scelta e dell’ipotesi cantoriana del continuo; questa, nel caso più semplice, afferma che non esistono insiemi di potenze comprese tra quella del numerabile e quella del continuo. Nel 1963 Cohen dimostrò anche l’indipendenza dell’ipotesi del continuo dagli altri assiomi.

La m., che era nata come studio di sistemi formali matematici e delle relative questioni di non contraddittorietà e completezza, si è estesa a campi nuovi divenendo una m. in senso ampio. Un esempio importante di tali ampliamenti è dato dalla teoria dei modelli.

Vedi anche
David Hilbert Hilbert ‹hìlbërt›, David. - Matematico tedesco (Königsberg 1862 - Gottinga 1943). È la figura più notevole della matematica della prima metà del Novecento e forse dell'intero secolo. A Königsberg frequentò l'università con A. Hurwitz, già professore, e con H. Minkowski, suo condiscepolo. Dal 1895 al ... lògica matemàtica 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 essere considerate formalmente come oggetti grafici combinabili tra loro (sintassi) o in relazione ... postulato linguistica Forme o parole postulate Quelle forme o parole antiche, di solito contrassegnate con asterisco, che non sono documentate in alcun testo, ma di cui viene ragionevolmente supposta l’esistenza come etimi di parole moderne (per es., il lat. *rocca che, pur non ricorrendo in alcun testo latino, ... intuizionismo Termine filosofico con cui si designano quelle concezioni che non solo riconoscono una funzione all'intuizione, ma rivendicano a essa un ruolo privilegiato. Di intuizionismo si è parlato a proposito della scuola scozzese del senso comune di T. Reid (1710-1766) e W. Hamilton (1788-1856) che, nel tentativo ...
Categorie
  • LOGICA MATEMATICA in Matematica
Tag
  • TEORIA DELLA DIMOSTRAZIONE
  • TEORIA DEGLI INSIEMI
  • SISTEMA ASSIOMATICO
  • TEORIA DEI MODELLI
  • LOGICA MATEMATICA
Altri risultati per metamatematica
  • metamatematica
    Enciclopedia della Matematica (2013)
    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 ...
  • metamatematica
    Dizionario delle Scienze Fisiche (2012)
    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.
  • metamatematica
    Dizionario di filosofia (2009)
    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 ...
  • METAMATEMATICA
    Enciclopedia Italiana - IV Appendice (1979)
    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 ...
Vocabolario
metamatemàtica
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...
metamatemàtico
metamatematico metamatemàtico agg. [der. di metamatematica] (pl. m. -ci). – Relativo alla metamatematica.
  • Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
  • Ricerca
    • Enciclopedia
    • Vocabolario
    • Sinonimi
    • Biografico
    • Indice Alfabetico

Istituto della Enciclopedia Italiana fondata da Giovanni Treccani S.p.A. © Tutti i diritti riservati

Partita Iva 00892411000

  • facebook
  • twitter
  • youtube
  • instagram
  • Contatti
  • Redazione
  • Termini e Condizioni generali
  • Condizioni di utilizzo dei Servizi
  • Informazioni sui Cookie
  • Trattamento dei dati personali