La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer

Storia della Scienza (2004)

La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer Anne L. Troelstra L'intuizionismo di Brouwer Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] Trenta, di una nozione precisa di algoritmo ‒ la nozione di funzione ricorsiva (generale), risultato del lavoro di Alonzo Church, Kurt Gödel, Jacques Herbrand, Alan M. Turing e Stephen C. Kleene ‒ non influì sull'intuizionismo; ciò tuttavia non deve ... Leggi Tutto

CATEGORIA: STORIA DELLA MATEMATICA – STORIA DEL PENSIERO FILOSOFICO

positivismo e neopositivismo

Enciclopedia dei ragazzi (2006)

positivismo e neopositivismo Antonio Bazzini Stefano De Luca La filosofia del progresso scientifico e della società industriale Sorto in Francia nella prima metà dell’Ottocento, il positivismo si diffuse [...] che vanno dal 1929 al 1937. Questo gruppo comprendeva fra gli altri Rudolf Carnap, Otto Neurath, Philip Frank, Kurt Gödel, sui quali avevano influito fortemente le idee esposte da Ludwig Wittgestein nel Trattato logico-filosofico (1922). Di grande ... Leggi Tutto

CATEGORIA: DOTTRINE TEORIE E CONCETTI – STORIA DEL PENSIERO FILOSOFICO

TAGS: EVOLUZIONE DELLA SPECIE – METODO SPERIMENTALE – CIRCOLO DI VIENNA – LOGICA MATEMATICA – JOHN STUART MILL

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

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