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 [...] teorema aggiunge che l’aritmetica non può dimostrare con i propri mezzi la sua coerenza.  L’intuizione di Gödel Kurt Gödel Appendice agli atti del Secondo convegno di epistemologia delle scienze esatte di Königsberg  Un sistema formale si dice ... Leggi Tutto

REGGE, Tullio Eugenio

Dizionario Biografico degli Italiani (2016)

REGGE, Tullio Eugenio Adele La Rana – Nacque a Torino l’11 luglio del 1931, secondo figlio di Michele e Lidia Petrini. Già da bambino manifestò una spiccata predisposizione per la matematica e le [...] e parte in USA. Qui entrò in contatto e strinse amicizia con scienziati come Robert Oppenheimer, Freeman Dyson e Kurt Gödel. I suoi interessi scientifici hanno continuato a variare e allargarsi, coprendo argomenti molto diversi: dalla teoria della ... Leggi Tutto

TAGS: INSTITUTE FOR ADVANCED STUDY – PARTITO COMUNISTA ITALIANO – CENTRALINE IDROELETTRICHE – UNIVERSITÀ DI PRINCETON – MECCANICA QUANTISTICA

Il programma di Hilbert

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 In senso lato, il programma di Hilbert consiste nel progetto di codificare tutta la [...] era stata collocata da Hilbert al secondo posto della lista dei problemi aperti. Tuttavia, nel 1931, il giovane logico austriaco Kurt Gödel risponde in senso negativo a entrambe le congetture: se la teoria formale dell’aritmetica è coerente, allora è ... Leggi Tutto

logica intuizionista

Enciclopedia della Scienza e della Tecnica (2008)

logica intuizionista Silvio Bozzi La più studiata rivale della logica classica sin da quando fu assiomatizzata da Arend Heyting nel 1930. Già Anchei M. Kolmogorov nel 1925 e Vasili I. Glivenko nel 1929 [...] classicamente. I connettivi ∧,∨,→ risultano non definibili l’uno con gli altri come pure i quantificatori ∀,∃. Nel 1932, Kurt Gödel dimostra che il calcolo intuizionista non ha matrice caratteristica finita (non ha cioè una matrice finita che renda ... Leggi Tutto

CATEGORIA: LOGICA

TAGS: TEORIA DELLA DIMOSTRAZIONE – LOGICA PROPOSIZIONALE – LOGICA MATEMATICA – ASSIOMATIZZAZIONE – DAVID HILBERT

Lolli

Enciclopedia della Matematica (2013)

Lolli Lolli Gabriele (Camagna, Alessandria, 1942) matematico e logico italiano. Studioso di teoria della dimostrazione, è stato professore di logica matematica all’università di Torino e dal 2008 insegna [...] degli insiemi. Insiemi costruibili e modelli booleani (1974), Introduzione alla logica formale (1991), Incompletezza. Saggio su Kurt Gödel (1992), La crisalide e la farfalla (2000, sulla discriminazione delle donne nel mondo accademico scientifico ... Leggi Tutto

TAGS: SCUOLA NORMALE SUPERIORE DI PISA – FILOSOFIA DELLA MATEMATICA – TEORIA DELLA DIMOSTRAZIONE – LOGICA MATEMATICA – FENOMENOLOGIA

metamatematica

Dizionario di filosofia (2009)

metamatematica Parte della logica matematica che ha per oggetto l’analisi formale delle dimostrazioni e delle strutture matematiche. Le sue principali branche sono quindi la teoria della dimostrazione [...] nel 1931 allo scopo di formalizzare la m. è il procedimento di aritmetizzazione, detto pure di gödelizzazione (➔ Gödel, Kurt), grazie al quale le affermazioni metamatematiche, per es., che una certa espressione è dimostrabile, divengono proposizioni ... Leggi Tutto

SVIZZERA

Enciclopedia Italiana - V Appendice (1995)

SVIZZERA Claudio Cerreti Livio Tornetta Hartmut Ullrich Giovanni Busino Giulia Baratta Walter Schönenberger Piero Spagnesi Nicola Balata Stefania Parigi (XXXIII, p. 73; App. I, p. 1041; II, [...] , sono tipicamente romandi e svizzeri. La poesia di V. Godel (n. 1931) raccolta in Faits et gestes (1983) negli anni Settanta F.M. Murer (Höhenfeuer, 1985), M. Rodde, B. Kürt (Mann ohne Gedächtnis, 1984), C. Kopfenstein (Der Ruf des Sibylla, 1984) e ... Leggi Tutto

CATEGORIA: STORIA DEL CINEMA – MUSICA PER CONTINENTI E PAESI – STORIA ECONOMICA

TAGS: SECONDA GUERRA MONDIALE – CONVENTO DEI CAPPUCCINI – BILANCIA COMMERCIALE – BIENNALE DI VENEZIA – ORCHESTRA DA CAMERA

paradosso

Dizionario di filosofia (2009)

paradosso Dal gr. παράδοξος, comp. di παρα- nel sign. di «contro» e δόξα «opinione»; lat. paradoxum. Affermazione, proposizione, tesi, opinione che, per il suo contenuto o per la forma in cui è espressa, [...] di Richard si possono fare considerazioni analoghe. L’antinomia di Kurt Grelling si risolve osservando che «eterologico» si riferisce ai insiemi del tipo di von Neumann, Robinson, Bernays, Gödel. Queste teorie sono basate sull’idea esposta da von ... Leggi Tutto

Olimpiadi - Repertorio: OLIMPIADI ESTIVE

Enciclopedia dello Sport (2004)

Olimpiadi - Repertorio: OLIMPIADI ESTIVE OLIMPIADI ESTIVE ATENE 1896 ATLETICA 100 m maschile 1. Thomas Burke USA 2. Fritz Hofmann GER 3. Frank Lane USA 3. Alojz Sokol HUN 400 m maschile 1. Thomas [...] marcia 50 km maschile 1. John Ljunggren SWE 2. Gaston Godel SUI 3. Terence 'Tebbs' Lloyd-Johnson GBR salto in Fredriksson SWE 3. Michael Scheuer FRG K2 1000 m maschile 1. Kurt Wires e Yrjö Hietanen FIN 2. Lars Glassér e Ingemar Hedberg SWE ... Leggi Tutto

Grelling

Enciclopedia della Matematica (2013)

Grelling Grelling Kurt (Berlino 1886 - Auschwitz 1942) matematico, logico e filosofo tedesco. Fu tra i promotori del gruppo di filosofi neopositivisti noto come Circolo di Berlino. Il suo nome è legato [...] smise di tenere attivo il Circolo di Berlino organizzando seminari e tenendo conferenze. Iniziò quindi a collaborare con K. Gödel e nel 1936 pubblicò l’articolo Gibt es eine Gödelsche Antinomie? (Esiste una antinomia gödeliana?) nel quale, difendendo ... Leggi Tutto

TAGS: TEOREMA DI INCOMPLETEZZA DI GÖDEL – CIRCOLO DI BERLINO – REGIME DI VICHY – NEOPOSITIVISTI – STATI UNITI