Computazione, teoria della
Fabrizio Luccio
La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] Russell e Alfred N. Whitehead, aveva trovato una risposta negativa nel 1931 con il famoso teorema di incompletezza di KurtGödel, che provava l'esistenza di formule indimostrabili nel calcolo dei predicati del primo ordine. Questo teorema è basato ...
Leggi Tutto
DE GIORGI, Ennio
Enrico Moriconi
Nacque l’8 febbraio del 1928 a Lecce figlio di Nicola e di Stefania Scopinich.
La madre proveniva da una famiglia di navigatori di Lussino, mentre il padre era insegnante [...] tutti gli altri.
Accanto ai testi sapienziali, fondamentale è stata la riflessione sui teoremi di incompletezza ottenuti da KurtGödel nel 1931. Questi dimostrano, in primo luogo, che nessun sistema finito di assiomi riuscirà mai a caratterizzare ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] man mano affievolendosi nel tempo; da una parte in vista di risultati negativi come il teorema di indecidibilità di KurtGödel, che sembravano vanificare il programma nelle sue forme più estreme, dall'altra per i sempre più frequenti contatti con ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Algebra
Claudio Procesi
Algebra
Per comprendere la storia dell'algebra del XX sec. è necessario fare un breve quadro dello sviluppo della disciplina [...] sviluppare metodi effettivi.
Logica, combinatoria e K-teoria
Vogliamo soltanto accennare al fatto che le idee di KurtGödel (1906-1978) sull'indecidibilità hanno trovato una controparte algebrica con una risposta negativa al cosiddetto problema ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Godel
Carlo Cellucci
I teoremi di incompletezza di Gödel
Nei giorni 5-7 settembre 1930 ebbe luogo a Königsberg [...] che il programma hilbertiano potesse essere realizzato, un giovane virtualmente sconosciuto al di fuori di Vienna, KurtGödel (1906-1978), osservò quanto segue:
Secondo la concezione formalista, alle asserzioni dotate di significato della matematica ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] 1918).
Nei primi anni Trenta ci si cominciò a chiedere quale fosse allora la classe delle funzioni calcolabili. Alonzo Church, KurtGödel, Emil L. Post, Alfred Tarski e Alan M. Turing proposero diverse possibili definizioni. Ciascuna era basata su un ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia
Ettore Casari
La scuola di Leopoli-Varsavia
Gli inizi
La singolare vicenda intellettuale divenuta nota come 'Scuola [...] . Nella memoria pubblicata sui ‟Monatshefte für Mathematik und Physik" proprio di seguito a quella di KurtGödel, Tarski così efficacemente presenta la tematica generale caratteristica della scuola di Varsavia:
Le discipline deduttive costituiscono ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Giuseppe Peano
Clara Silvia Roero
Negli ultimi decenni dell’Ottocento e nei primi del Novecento le ricerche matematiche, logiche e linguistiche di Giuseppe Peano ebbero una straordinaria eco internazionale. [...] tutto positivo e gli sviluppi successivi della logica presero un’altra strada per merito di Russell, Hilbert e KurtGödel, questi ultimi riconobbero il loro debito nei confronti di Peano.
Le influenze sulla cultura matematica italiana del pensiero ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] obiettivo basilare dell'informatica teorica. Esso costituisce di fatto una prosecuzione e un arricchimento dell'opera dei logici (quali KurtGödel, Stephen Kleene, Alan Turing e Alonzo Church), che negli anni Trenta hanno affrontato e risolto i primi ...
Leggi Tutto
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] o risplendenti o, ancora, la non dimostrabilità in AP di enunciati che, diversamente da quelli utilizzati da KurtGödel nel suo teorema d'indecidibilità, non siano semplici traduzioni aritmetiche di proprietà metamatematiche. Prototipo di questi ...
Leggi Tutto
godeliano
‹ġö-› agg. – Relativo al matematico Kurt Gödel (1906-1978) e alla sua opera: teoremi g., o prove di Gödel, le dimostrazioni, da lui formulate, dell’incompletezza di qualsiasi assiomatizzazione della teoria dei numeri, dell’impossibilità...