No video

Teorema di Gödel. Parte 01: Introduzione (Fabrizio Coppola)

  Рет қаралды 10,893

Fabrizio Coppola

Fabrizio Coppola

Күн бұрын

Ricostruzione (2008) di un'apprezzata conferenza pubblica (2002) non registrata. Fabrizio Coppola (qui particolarmente abbronzato) e Maurizio M. tentano di spiegare il teorema di Gödel.
Totale: 11 parti, 84 minuti (per una visione più veloce si possono saltare le parti 4 ed 11).
Per maggiori informazioni:
Il segreto dell'universo: www.segreto.net
Istituto Scientia: www.saggi.it
Riepilogo.
Parte 01: Introduzione.
• Teorema di Gödel. Part...
Parte 02: Insiemi, autoriferimento, paradossi.
• Teorema di Gödel. Part...
Parte 03: Principia Mathematica.
• Teorema di Gödel. Part...
Parte 04: Conseguenze pratiche, informatica.
• Teorema di Gödel. Part...
Parte 05: Assiomi, completezza, coerenza.
• Teorema di Gödel. Part...
Parte 06: Teoremi dell'aritmetica.
• Teorema di Gödel. Part...
Parte 07: Numerazione dei teoremi (Gödelizzazione).
• Teorema di Gödel. Part...
Parte 08: Primo teorema.
• Teorema di Gödel. Part...
Parte 09: Nuovi assiomi.
• Teorema di Gödel. Part...
Parte 10: Secondo teorema, coerenza.
• Teorema di Gödel. Part...
Parte 11:Conseguenze filosofiche, computer, mente.
• Teorema di Gödel. Part...

Пікірлер: 8
@francescolucentestabile725
@francescolucentestabile725 4 жыл бұрын
Dr. Coppola, sono un suo grandissimo fan. Ogni volta che qualcuno mi chiede a proposito del Teorema di Incompletezza, lo indirizzo a questa serie di video che sono davvero spettacolari. Ci tengo a dire che la sua preferenza per la visione platonica dei numeri non e’ per nessun motivo in contrasto con altre definizioni matematiche, e non e’ di certo sciocca. Anzi, e’ sciocco credere che ci sia una sola definizione di numero. Per prima cosa la relazione di classi di equivalenza e’ la definizione solamente di alcuni dei sistemi numerici. I numeri reali per esempio (quelli piu’ avanzati infatti al momento in cui nacque la teoria degli insiemi), sono definiti come classi di equivalenza di sequenze di Cauchy. Anche la definizione dei numeri razionali e dei numeri iperreali ha a che fare con delle relazioni di equivalenza. Ma tali definizioni, derivano solo dalla necessita’ di avere dei sistemi piu’ avanzati rispetto ai precedenti, in modo da poter utilizzare nuovi operatori o avere differenti proprieta’. In altre parole, la definizione matematica rigorosa dei numeri e’ come un marchio, un’etichetta che dispone un tale numero in un certo insieme e che attribuisce a tale numero delle specifiche proprieta’. Per fare un esempio, il numero 5, definito rigorosamente come numero reale puo’ essere moltiplicato con altri numeri reali, diviso, sottratto, addizionato, puo’ essere messo sotto radice etc. Il numero naturale 5 invece puo’ solamente essere addizionato, visto che la definizione di numero naturale e’ ben diversa da quella del numero reale e non e’ una basata affatto sulla relazione di equivalenza. Inoltre, non esiste nemmeno un’universalita’ di scelta di un sistema su un altro. Nel senso che I numeri reali sono piu’ “avanzati” dei numeri naturali, ma non di certo li sostituiscono in ogni applicazione. Infatti in matematica (e di certo, come lei sapra’, anche in fisica) c’e’ uguale necessita’ di trattare con quantita’ discrete o con altre che sono continue. Tutto cio’ comunque non ha niente a che fare con il concetto di “cinqueita’ ”. Non esiste nessuna regola in matematica che vieti di interpretare qualsiasi oggetto matematico come la rappresentazione dell’ideale di quell’oggetto stesso che sta nell’iperuranio. Pi Greco e’ un numero reale, quindi definito come l’insieme di tutte le sequenze di Cauchy il cui limite e’ pi Greco. ma cio’ non dice comunque nulla a proposito della natura filosofica di pi greco (o della pigrecita’). In fine, nella mia carriera ho incontrato colleghi che sostengono che la matematica sia divina, che esista a prescindere da noi, altri invece a cui piace pensare che sia invece un’invenzione umana. Io sono con lei! La matematica e’ divina. La matemaica e’. Per fortuna che noi abbiamo il dono di poterla studiare e scoprire.
@FabrizioCoppolaProf
@FabrizioCoppolaProf 12 жыл бұрын
Posso chiederti chi sei? Forse sei Maurizio o qualcuno che lo conosce bene, o forse hai assistito alla conferenza originale del 2002? Grazie anticipatamente... E scusa per la curiosità, che d'altronde è a fondamento della scienza, e adesso va particolarmente di moda (cfr. la sonda Curiosity su Marte... :-)
@nvincenti
@nvincenti 14 жыл бұрын
che sforzo immane! Che bei ricordi!!
@david203
@david203 12 жыл бұрын
Qual è coppola?
@Quinzio
@Quinzio 14 жыл бұрын
Che forti !!! :)
@FabioSipolino76
@FabioSipolino76 10 жыл бұрын
Sarei onorato di fare un' intervista con lei Skype: fabio.sipolino
@iScientia
@iScientia 12 жыл бұрын
Ovviamente Coppola è quello a sinistra: arrogante, saccente, sa tutto lui...
@tostapane5386
@tostapane5386 10 жыл бұрын
... what? 3 is what is common with all the 3-things in the world? what a metaphysical bullshit, i thought the "controversia universalis" was a residual eco of the medioeval lack of competence, you start right saying you won't talk about metaphyisic then why you start from crazy theories. What Pytagoras and Plato says is not less absurd. Here's the only and simple definition of 3, which of course occurs in every demostration: "2 + 1", or "2 U 1" this obviosly may lead you into the consequence: then what is "2" ?... well now you know how to answer if you are smart you will end with this new questions: then what is "+", "U", and "1"... well... i've just written too much
Odifreddi a Foligno: "Kurt Gödel, Il Dio Della Logica"
1:25:25
Piergiorgio Odifreddi
Рет қаралды 267 М.
Nurse's Mission: Bringing Joy to Young Lives #shorts
00:17
Fabiosa Stories
Рет қаралды 3,3 МЛН
PEDRO PEDRO INSIDEOUT
00:10
MOOMOO STUDIO [무무 스튜디오]
Рет қаралды 17 МЛН
Whoa
01:00
Justin Flom
Рет қаралды 34 МЛН
F55 - Probabilità non classiche & non quantistiche
45:13
Massimiliano Sassoli de Bianchi
Рет қаралды 18 М.
The Mandelbrot Set
15:30
D!NG
Рет қаралды 2 МЛН
Lo storico scontro Odifreddi-Fisichella sulla pedofilia ecclesiastica
28:48
Piergiorgio Odifreddi
Рет қаралды 413 М.
Can You Pass Harvard University Entrance Exam?
10:46
Higher Mathematics
Рет қаралды 2 МЛН
Odifreddi a Repubblica@Scuola: i numeri
49:46
Piergiorgio Odifreddi
Рет қаралды 258 М.
La dimostrazione di Einstein del teorema di Pitagora
9:05
Valerio Pattaro - Fisica Matematica Logica
Рет қаралды 116 М.
GÖDEL: TEOREMA DI INCOMPLETEZZA
13:01
CineFilosofia del p.T.
Рет қаралды 17 М.
Piergiorgio Odifreddi - Lezione - Che cos'è la Logica
1:13:12
Mind Scent
Рет қаралды 100 М.