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 for symbolic logic. Si è occupato prevalentemente di logica matematica, di teoria degli insiemi e di teoria della relatività. Tra i suoi scritti si ricordano: Über formal unentscheidbare Sätze der "Principia mathematica" und verwandter Systeme (1931); The consistency of the axiom of choice and of the generalized continuum hypothesis (1940); Russell's mathematical logic (1944).

Vedi anche
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. Queste ultime possono essere considerate formalmente come oggetti grafici combinabili tra loro (sintassi) o in relazione al loro significato ... matematica Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la matematica pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla matematica applicata compete l’elaborazione di strumenti e modelli adatti agli scopi di altre ... dimostrazione filosofia Processo logico-discorsivo (dal gr. apodissi) in virtù del quale si arriva a garantire la validità di un enunciato. ● La nozione di dimostrazione venne introdotta da Aristotele che la definì come quella forma speciale di sillogismo che deduce una conclusione da principi primi e veri, distinta ... aritmetica matematica Parte della matematica che riguarda lo studio dei numeri, in particolare dei numeri interi. Il termine fu usato per la prima volta dai pitagorici, per indicare la scienza astratta dei numeri, contrapposto a λογιστική (logistica), che era invece la parte pratica del calcolo numerico: ma nell’uso ...
Categorie
Tag
Altri risultati per Gödel, Kurt
  • Godel
    Enciclopedia della Matematica (2013)
    Gödel Kurt (Brno, Moravia, 1906 - Princeton, New Jersey, 1978) logico statunitense di origine austriaca. Studiò a Vienna, inizialmente con l’intento di laurearsi in fisica; ma, in seguito alla frequentazione del circolo di Vienna dei neopositivisti, di cui tuttavia non condivise mai le idee filosofiche, ...
  • Gödel, Kurt
    Dizionario di filosofia (2009)
    Godel, Kurt Gödel, Kurt Matematico e filosofo austriaco, naturalizzato statunitense (Brno 1906 - Princeton 1978). Libero docente di matematica nell’univ. di Vienna (1933-38), fu uno degli studiosi che si riunivano attorno a Schlick nel Wiener Kreis (➔ Vienna, Circolo di). Dopo il 1938 emigrò negli ...
  • Godel Kurt
    Dizionario delle Scienze Fisiche (1996)
    Gödel 〈gö´dël〉 Kurt [STF] (Brno 1906, nat. SUA - Princeton, New Jersey, 1978) Docente di matematica nell'univ. di Vienna (1933), nel 1938 passò negli SUA e dal 1946 fu membro permanente dello Institute for advanced study di Princeton, New Jersey. ◆ [FAF] Numero di G.: → gödelizzazione. ◆ [FAF] Teorema ...
  • GÖDEL, Kurt
    Enciclopedia Italiana - III Appendice (1961)
    GÖDEL, Kurt Logico matematíco, nato a Bruna, Moravia, il 28 aprile 1906. Libero docente di matematica a Vienna (1933-38), prese in quel tempo attiva parte al seminario filosofico Verein Ernst Mach, poi denominato Wiener Kreis (Circolo di Vienna, v. App. II, 11, p. 1114). Emigrato negli S. U. A. nel ...
Vocabolario
godeliano
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à...