Cerca in:
Dimostrazione, teoria della
Enciclopedia della Scienza e della Tecnica (2007)
Dimostrazione, teoria della La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione [...] è la posta in gioco in gran parte dei teoremi della teoria della dimostrazione. Il gruppo strutturale si occupa della gestione delle successioni di formule e, dopo il taglio, le ... ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
dimostrazione, teoria della
Enciclopedia della Matematica (2013)
dimostrazione, teoria della branca della logica fondata da D. Hilbert che ha come oggetto di studio le capacità dimostrative dei sistemi formali. Caduto, a causa delle scoperta di [...] di una fondazione razionale definitiva delle teorie matematiche attraverso una prova della loro non contraddittorietà, la teoria della dimostrazione si è sviluppata in numerose ... ...
Leggi Tutto
metamatematica
Enciclopedia on line
metamatematica 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à ... ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
lògica matemàtica
Enciclopedia on line
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. [...] uno stimolo fondamentale per la ricerca, come mostrano gli esempi opposti della teoria della dimostrazione e della teoria dei modelli. Sono questi due dei settori centrali ... ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
semantica
Enciclopedia on line
semantica Ramo della linguistica che si occupa dei fenomeni del linguaggio non dal punto di vista fonetico e morfologico, ma guardando al loro significato. Il [...] è per lo più inquadrata la s. logica. Mentre la teoria della dimostrazione fondata da D. Hilbert studia le dimostrazioni come oggetti formali senza badare al significato e alla ... ...
Leggi Tutto
Hilbert, David
Enciclopedia on line
Hilbert ‹hìlbërt›, David. - Matematico tedesco (Königsberg [...] delle dimostrazioni viste come enti a sé. È questo il nucleo della metamatematica e del programma hilbertiano: la necessità di uno studio "dall'esterno" delle teorie matematiche ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Prawitz, Dag
Enciclopedia on line
Prawitz ‹pràavits›, Dag. - Logico e filosofo svedese (n. [...] ragionamento e noto come deduzione automatica, alla teoria del significato e alla teoria della dimostrazione: a quest'ultima branca della logica ha dato un contributo decisivo in ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Gentzen
Enciclopedia della Matematica (2013)
Gerhard Karl Erich (Greifswald, Meclemburgo-Pomerania Occidentale, 1909 - Praga 1945) logico tedesco. Diede importanti contributi alla teoria della dimostrazione e al problema [...] Hilbert e fu quindi revisore della rivista «Zentralblatt für Mathematik». Riprese le tematiche della teoria della dimostrazione hilbertiana, inquadrandole in una nuova prospettiva ... ...
Leggi Tutto
STORIA DELLA MATEMATICA
Enciclopedia della Matematica (2013)
STORIA DELLA MATEMATICA di Luigi Borzacchini Il tempo della scienza senza tempo La matematica è la più antica e la più immutabile delle discipline. Si può dire che [...] geniali e ricche di conseguenze del formalismo hilbertiano è la sua Beweistheorie («teoria della dimostrazione», detta anche metamatematica). Essa derivava dal fatto stesso che la ... ...
Leggi Tutto
La logica antica
Storia della civiltà europea a cura di Umberto Eco (2014)
Il contributo è tratto da Storia [...] di Aristotele (K 1, 1059b18-20) si dica che l’apodittica, cioè la teoria della dimostrazione e della conoscenza dimostrativa, sia appunto lo studio di questo genere di cose: la ...
Leggi Tutto