Gödel, Kurt
Enciclopedia on line
Matematico e filosofo (Brno 1906 - Princeton 1978). Libero docente di matematica all'univ. di Vienna (1933-38), fu uno degli studiosi che si riunivano attorno a M. Schlick nel Verein Ernst Mach, poi (1929) denominato Wiener Kreis. Dopo il 1938 emigrò negli USA, di cui prese la cittadinanza nel 1948. È stato membro permanente (dal 1946) dell'Institute for advanced study (Princeton) e dell'Association ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
godelizzazione
Dizionario delle Scienze Fisiche (1996)
godelizzazione
gödelizzazióne 〈g✄ödël-〉 [Dal cognome di K. Gödel] [ALG] [FAF] Tecnica in uso nella logica matematica, consistente nell'associare un numero intero (numero di Gödel) a ogni espressione [...] rispettiv. al primo, al secondo, al terzo, ... segno di A; ebbene, all'espressione A si può far corrispondere il numero di Gödel di A: g(A)=2n1 3n2 5n3 7n4 .... Viceversa, ogni numero intero che, scomposto in fattori primi, dia luogo unicamente a ...
Leggi Tutto
Godel, teorema di
Enciclopedia della Matematica (2013)
Godel, teorema di
Gödel, teorema di teorema che riguarda l’incompletezza di un’ampia classe di teorie formali, tra cui la teoria formale dell’aritmetica (→ aritmetica, sistema formale per la). Costituisce [...] aggiunta la formula ƒ (quindi, S′ = S + ƒ); tuttavia, anche in questo nuovo sistema, sempre per il primo teorema di Gödel, è possibile trovare una formula ƒ″ che sia vera ma non dimostrabile. Dato che questo procedimento può essere iterato, si ha ...
Leggi Tutto
Godel, secondo teorema di
Enciclopedia della Matematica (2013)
Godel, secondo teorema di
Gödel, secondo teorema di → Gödel, teorema di. ...
Leggi Tutto
Godel, primo teorema di
Enciclopedia della Matematica (2013)
Godel, primo teorema di
Gödel, primo teorema di → Gödel, teorema di. ...
Leggi Tutto
Neumann-Bernays-Godel, teoria di
Enciclopedia della Matematica (2013)
Neumann-Bernays-Godel, teoria di
Neumann-Bernays-Gödel, teoria di o teoria NBG, sistema di assiomi per la teoria degli insiemi che si affianca a un’altra sistemazione assiomatica, la teoria di → Zermelo-Fraenkel [...] finito lo schema di assiomi ZF, fu quindi perfezionata da P. Bernays e ulteriormente completata e semplificata da K. Gödel nel 1940. Il suo tratto distintivo è la distinzione tra due tipi di raggruppamenti concettuali: gli insiemi, che possono ...
Leggi Tutto
incompletezza
Enciclopedia della Matematica (2013)
incompletezza
Incompletezza → Gödel, teorema di. ...
Leggi Tutto
godelizzazione
Enciclopedia della Matematica (2013)
godelizzazione
gödelizzazione → Gödel, numero di. ...
Leggi Tutto
NBG
Enciclopedia della Matematica (2013)
NBG
NBG → Neumann-Bernays-Gödel, teoria di. ...
Leggi Tutto
Il teorema di Gödel ovvero i teoremi limitativi dell’aritmetica
Storia della civiltà europea a cura di Umberto Eco (2014)
Maria Conforti
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
I teoremi d’incompletezza di Gödel del 1931 sono i risultati più profondi e spettacolari [...] propri mezzi la sua coerenza.
L’intuizione di Gödel
Kurt Gödel
Appendice agli atti del Secondo convegno di epistemologia delle per la propria immunità. E tuttavia se i risultati di Gödel ci conducono a una drastica e profonda revisione del ruolo ...
Leggi Tutto