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, KurtGödel, Jacques Herbrand, Alan M. Turing e Stephen C. Kleene ‒ non influì sull'intuizionismo; ciò tuttavia non deve ...
Leggi Tutto
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, KurtGödel, sui quali avevano influito fortemente le idee esposte da Ludwig Wittgestein nel Trattato logico-filosofico (1922). Di grande ...
Leggi Tutto
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 KurtGödel.
I suoi interessi scientifici hanno continuato a variare e allargarsi, coprendo argomenti molto diversi: dalla teoria della ...
Leggi Tutto
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, KurtGödel dimostra che il calcolo intuizionista non ha matrice caratteristica finita (non ha cioè una matrice finita che renda ...
Leggi Tutto
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 KurtGödel (1992), La crisalide e la farfalla (2000, sulla discriminazione delle donne nel mondo accademico scientifico ...
Leggi Tutto
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
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
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
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
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
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à...