La logica 13. Russell e la crisi dei fondamenti

  Рет қаралды 17,601

Piergiorgio Odifreddi

Piergiorgio Odifreddi

Күн бұрын

Пікірлер: 14
@alfredoimbellone5303
@alfredoimbellone5303 2 жыл бұрын
[00:15] Russell: biografia [00:50] parentesi sulla storia del premio nobel: leggenda su quello per la matematica [02:29] Russell vinse il premio Nobel per la letteratura: l’attività di scrittore e filosofo [04:09] i contributi di Russell alla logica [04:22] il paradosso di Russell e il logicismo di Frege [05:47] Russell: “I principia mathematica” [06:40] il problema del fondare interamente la matematica sull’analisi e sui numeri reali: la teoria degli insiemi di Georg Cantor e la definizione dei numeri reali di Richard Dedekind [07:39] la teoria dei numeri reali di Dedekind [08:23] Cantor il paradiso del concetto di infinito e insieme di infinito [10:11] “principia mathematica” [13:05] parentesi su Godel come il matematico del secolo [15:20] dimostrazione di Godel della completezza degli assiomi della logica predicativa di Frege [16.04] il fallimento del sogno di fondazione della matematica su un sistema assiomatico: la rinuncia di Russell alla logica matematica [17:22] la reazione di Russell sulle scoperte di Godel [19:04] la questione dell’originalità del paradosso di Russell [19:50] la lettera di Cantor a Dedekind [20:34] (ri)scoperta del paradosso di Russell [22:34] l’attività da filosofo e attivista di Russell [24:12] l’incontro di Russell con Peano: il tentativo della riduzione della matematica alla logica e il linguaggio della logica matematica [26:07] cosa rimane del programma logicista di Russell?
@gianelio828
@gianelio828 3 жыл бұрын
Grazie professore.
@francescodamele5226
@francescodamele5226 3 жыл бұрын
29 minuti di parole stupende
@srr1463
@srr1463 3 жыл бұрын
adesso, anni 2020, i fondamenti della matematica si sono spostati nel contesto della Teoria delle Categorie. Una storia fantastica cominciata negli anni quaranta come ‘semplice linguaggio' nel campo della topologia algebrica (Eilenberg e Mac Lane); poi diventata una teoria matematica propria (per esempio il concetto di topos) soprattutto grazie ai lavori di Alexander Grothendieck (e chi e’? forse il più grande matematico del XX secolo? I frutti del suoi lavori stanno finalmente maturando); per poi affrontare appunto le tematiche dei fondamenti della matematica (Lawvere). I campi di applicazione della teoria delle categorie spaziano dall’informatica (AI) alla gravita’ quantistica per cui… Se io avessi 20 anni, mi inscriverei a matematica solo per questo ;)
@francescodamele5226
@francescodamele5226 3 жыл бұрын
Formidabile Piergiorgio Odifreddi
@francescodamele5226
@francescodamele5226 2 жыл бұрын
29 minuti di parole belle come il sole
@francescodamele5226
@francescodamele5226 3 жыл бұрын
29 minuti di parole più belle del mondo
@francescodamele5226
@francescodamele5226 3 жыл бұрын
29 minuti di parole meravigliose
@viola0livido
@viola0livido 3 жыл бұрын
Vabbe sei un troll
@Manuela.chArlotteCc
@Manuela.chArlotteCc 3 жыл бұрын
a Russell, x me, il merito di aver divulgato (splendidamente) il pensiero anarchico. Gödel e Einstein erano tanto amici...
@francescodamele5226
@francescodamele5226 3 жыл бұрын
29 minuti di parole eccezionali
@francescodamele5226
@francescodamele5226 3 жыл бұрын
Eccezionale Piergiorgio Odifreddi
@francescodamele5226
@francescodamele5226 2 жыл бұрын
Russell il logico più importante del 900 insieme a Peano e Wittgenstein
@CamataEmanuele
@CamataEmanuele 3 жыл бұрын
2021.09.05 D
La matematica 9. Oltre la terza dimensione
1:18:22
Piergiorgio Odifreddi
Рет қаралды 79 М.
La logica 12. L'approccio insiemistico di Cantor
27:30
Piergiorgio Odifreddi
Рет қаралды 21 М.
24 Часа в БОУЛИНГЕ !
27:03
A4
Рет қаралды 7 МЛН
Every team from the Bracket Buster! Who ya got? 😏
0:53
FailArmy Shorts
Рет қаралды 13 МЛН
Odifreddi a Filosofarti: i dialoghi (scientifici e religiosi) di Galileo
1:33:25
Piergiorgio Odifreddi
Рет қаралды 78 М.
La logica 14. Il paradosso di Russell
26:45
Piergiorgio Odifreddi
Рет қаралды 63 М.
La comunicazione matematica, da Archimede a internet - Piergiorgio Odifreddi
1:57:03
Festival delle Corrispondenze
Рет қаралды 15 М.
La logica 8. Tommaso d'Aquino
24:07
Piergiorgio Odifreddi
Рет қаралды 31 М.
Logica 21. Turing inventa il computer
29:41
Piergiorgio Odifreddi
Рет қаралды 16 М.
La logica 16. Gödel, il nuovo Aristotele
32:30
Piergiorgio Odifreddi
Рет қаралды 20 М.
Incontro con Piergiorgio Odifreddi
1:04:22
Scuola Superiore di Catania
Рет қаралды 17 М.
La Logica 11. L'approccio assiomatico di Frege
25:36
Piergiorgio Odifreddi
Рет қаралды 17 М.
Piergiorgio Odifreddi - Kurt Gödel, Il Dio Della Logica
1:56:45
Festa Scienza Filosofia
Рет қаралды 241 М.