Strumenti Utente

Strumenti Sito


Action disabled: source
db:teoria_della_dimostrazione

Teoria della dimostrazione

Approfondimenti

Info

Quest'argomento non è collegato ad altri approfondimenti correlati. Si consiglia, in ogni caso, di controllare sempre [ l'Indice ] degli Approfondimenti

Questa pagina è solo improntata in attesa di completamento da parte dei Collaboratori. Se sei interessato a collaborare attivamente con Extrapedia, leggi come fare [ Collabora ]

La Teoria della dimostrazione è un ramo importante 1) della Logica matematica che rappresenta le dimostrazioni come oggetti matematici formali, facilitando la loro analisi con tecniche matematiche. Le prove sono tipicamente presentate come strutture di dati definite induttivamente come elenchi semplici, o alberi, che sono costruiti secondo gli assiomi e le regole di inferenza del sistema logico. Come tale, la teoria della prova è di natura sintattica, in contrasto con la Teoria dei modelli, che è di natura semantica.

Alcune delle principali aree della Teoria della dimostrazione includono la teoria della dimostrazione strutturale, l'analisi ordinale, la logica della provabilità, la matematica inversa, il proof mining, la dimostrazione automatica del teorema e la complessità della dimostrazione. Molte ricerche si concentrano anche sulle applicazioni in Informatica, Linguistica e Filosofia.


Qualora alcuni link non funzionassero, si prega di comunicarlo allo Staff - staff@extrapedia.org


1)
H Wang (1981) - “Popular Lectures on Mathematical Logic”
db/teoria_della_dimostrazione.txt · Ultima modifica: 13/04/2019 16:08 (modifica esterna)