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
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
Italia
Enciclopedia on line
Italia Stato dell’Europa meridionale, corrispondente a una delle regioni naturali europee meglio individuate, data [...] naturalismo di É. Zola. Nella teoria dell’impersonalità il Verga maturo trova un via non ancora battuta verso il moderno e per dimostrare come, giunti in fondo al moderno, non si ... ...
Leggi Tutto
logica
Enciclopedia on line
logica filosofia Disciplina che studia le condizioni di validità delle argomentazioni deduttive. [...] , il programma di Hilbert segnò l’avvio di una branca importante della l. matematica, la teoria della dimostrazione, costituita da Hilbert stesso per la necessità (congenita al suo ... ...
Leggi Tutto
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
Kreisel, Georg
Enciclopedia on line
Kreisel 〈kràiʃël〉, Georg. - Logico e filosofo austriaco (Graz 1923 - Salisburgo 2015), [...] dei problemi relativi ai fondamenti della matematica, nonché di logica intuizionista, di teoria della dimostrazione e di teoria della ricursione. Tra i suoi scritti: Eléments ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
MODELLI, Teoria dei
Enciclopedia Italiana - IV Appendice (1979)
MODELLI, Teoria dei (App. III, 11, p. 139). - In questi ultimi 15 anni (1960-75) la t. dei m. si è sviluppata secondo due ordini di idee del tutto opposti. Da una [...] teorema con il metodo, da lui detto delle tavole semantiche, intermedio tra quello della teoria della dimostrazione e quello della teoria dei modelli. Nel 1956 A. Robinson ne ... ...
Leggi Tutto