Tutto quello che avete sempre voluto sapere su Achille e la Tartaruga e non avete mai osato chiedere

Bari | 30.11.2015

Tutto quello che avete sempre voluto sapere su Achille e la Tartaruga e non avete mai osato chiedere

Michele Porfido

SSC | 30.11.2015

Tutto quello che avete sempre voluto sapere su Achille e la Tartaruga...

Zenone di Elea

● Allievo di Parmenide

SSC | 30.11.2015


Zenone di Elea

● Allievo di Parmenide

● Probabilmente il più grande rompiscatole nella storia dell’antica Grecia

SSC | 30.11.2015


I paradossi di Zenone● Sull’infinita divisibilità di spazio e tempo:

● Sulla divisibilità di spazio e tempo in elementi “atomici”:

SSC | 30.11.2015



○ Achille a la Tartaruga○ Dicotomia

● Sulla divisibilità di spazio e tempo in elementi “atomici”:

SSC | 30.11.2015




● Sulla divisibilità di spazio e tempo in elementi “atomici”:○ Paradosso della Freccia○ Paradosso dello Stadio

SSC | 30.11.2015




● Sulla divisibilità di spazio e tempo in elementi “atomici”:○ Paradosso della Freccia○ Paradosso dello Stadio

Quale era lo scopo di Zenone?

SSC | 30.11.2015


DicotomiaIl corridore non può mai completare il suo percorso perché deve attraversare in tempo finito un numero infinito di suddivisioni.

SSC | 30.11.2015


Achille(?) e la Tartaruga

Achille non può raggiungere la tartaruga, perché deve passare per tante posizioni tante quante ne attraversa la Tartaruga.

SSC | 30.11.2015


Paradosso della freccia

In ciascun instante la freccia occupa uno spazio identico a se stessa.

Qualsiasi intervallo di tempo è composto da istanti.

Quindi nel corso di qualsiasi intervallo di tempo la freccia non è in movimento.

HTTP://XKCD.COM/1153/

SSC | 30.11.2015


Paradosso dello stadio

Dopo un istante di tempo “atomico” C1 avrà superato due B.

Quindi possiamo definire una nuova unità di tempo più piccola, quella necessaria a C per attraversare un B.

SSC | 30.11.2015


I problemi con l’infinito ● ápeiron (privo di confine, informe)

SSC | 30.11.2015



● Zenone porta l’infinito (infinitamente piccolo) nel mondo reale

SSC | 30.11.2015




● reductio ad absurdum

SSC | 30.11.2015





● problemi del linguaggio (essere/esistere)

SSC | 30.11.2015





● problemi del linguaggio (essere/esistere)

● “Geometriafilia” dei greci

SSC | 30.11.2015


Soluzioni?

SSC | 30.11.2015


Aristotele


● Distinzioni metafisiche tra tipi di infinito: Attuale e Potenziale: “in tempo finito si può entrare in contatto con cose infinite rispetto alla divisibilità”

SSC | 30.11.2015


Aristotele



● Ma lo usa ancora come reductio ad absurdum contro Platone.

SSC | 30.11.2015


Aristotele



● Ma lo usa ancora come reductio ad absurdum contro Platone.

● Diventa l’argomentazione standard per secoli, di fatto giustificando l’uso di alcuni ragionamenti.

SSC | 30.11.2015


Eudosso e Archimede Definizione di rapporto:

SSC | 30.11.2015


Eudosso e Archimede Definizione di rapporto:

p : q = r : s

se

ap < bq ⇒ ar < bsap = bq ⇒ ar = bsap > bq ⇒ ar > bs

per a, b interi

SSC | 30.11.2015


Eudosso e Archimede Metodo di esaustione:

“Se da una qualsiasi grandezza si sottrae una parte non inferiore alla sua metà e se dal resto si sottrae ancora non meno della sua metà e se questo processo di sottrazione viene continuato alla fine rimarrà una grandezza inferiore a qualsiasi grandezza dello stesso genere precedentemente assegnata.”

SSC | 30.11.2015


Salto temporale...

● Agostino: causa incausata

● Tommaso: parla di insiemi di cose e del perché non possano esistere numeri infiniti (1260)

● Saltano fuori innumerevoli bizzarrie sulla somma di serie infinite.

SSC | 30.11.2015


Stevino, Keplero, Galilei (...1638)● Usando infiniti/infinitesimi: Risultati

di statica e astronomia.

SSC | 30.11.2015




● Galileo per primo parla di ordini di infinitesimi.

SSC | 30.11.2015





● Paradosso di Galileo: utilizzo di corrispondenza 1-1

SSC | 30.11.2015





● Paradosso di Galileo: utilizzo di corrispondenza 1-1

● Attribuisce le stranezze dell’infinito alla inadeguadezza e finitezza del pensiero umano

SSC | 30.11.2015


Newton & Leibnitz ● Elaborano metodi

generali per tenere conto di variazioni istantanee.

SSC | 30.11.2015


Newton & Leibnitz

● Gli infinitesimi diventano un mezzo potente ma controverso. Contemporaneamente nasce una attenzione verso il rigore e un progressivo abbandono dei metodi geometrici a favore di dimostrazioni aritmetiche.

● Elaborano metodi generali per tenere conto di variazioni istantanee.

SSC | 30.11.2015


Newton & Leibnitz

● Gli infinitesimi diventano un mezzo potente ma controverso. Contemporaneamente nasce una attenzione verso il rigore e un progressivo abbandono dei metodi geometrici a favore di dimostrazioni aritmetiche.

● Morale: il calcolo differenziale non può far nulla per risolvere i paradossi della continuità.

● Elaborano metodi generali per tenere conto di variazioni istantanee.

SSC | 30.11.2015


Limiti e continuità

SSC | 30.11.2015


Karl WeierstrassUna funzione f è continua in x₀ se

tale che preso x nel dominio di f risulta:

SSC | 30.11.2015


Karl Weierstrass

● Aristotele!

SSC | 30.11.2015


Karl Weierstrass

● Aristotele!

● Gli infinitesimi non servono più e possono essere sostituiti con un concetto rigoroso di limite.

SSC | 30.11.2015


Karl Weierstrass

● Aristotele!


● La definizione fa uso esclusivamente dei numeri reali e del loro ordinamento. (Rimane il problema della loro definizione)

SSC | 30.11.2015


Karl Weierstrass

● Aristotele!


● La definizione fa uso esclusivamente dei numeri reali e del loro ordinamento. (Rimane il problema della loro definizione)

● Aritmetizzazione dell’analisi (cominciata da Bolzano).

SSC | 30.11.2015


Richard Dedekind● Definisce i numeri reali a partire dai

razionali (meglio di Cantor), sfruttando l’ordinamento (Retta Numerica).

SSC | 30.11.2015




● Schnitt: un numero irrazionale è definito da due insiemi che esauriscono i numeri razionali.

SSC | 30.11.2015




● Schnitt: un numero razionale è definito da due insiemi che esauriscono i numeri razionali.

● Non si fa più nessun problema a considerare insiemi attualmente infiniti.

SSC | 30.11.2015




● Schnitt: un numero razionale è definito da due insiemi che esauriscono i numeri razionali.

● Non si fa più nessun problema a considerare insiemi attualmente infiniti.

● Eudosso!

SSC | 30.11.2015


Georg CantorIl suo lavoro si incastra alla perfezione con quello di Dedekind:

● Fornisce una teoria degli insiemi infiniti.

● Caratteristica fondamentali di infinito: sottoinsiemi propri che hanno la stessa cardinalità

● Gerarchie di infinito● Ipotesi del continuo● Un cubo e un segmento

contengono lo stesso ∞ di punti● Teoria dei numeri transfiniti

SSC | 30.11.2015


… e oltre

HTTP://XKCD.COM/468/

Tutto quello che avete sempre voluto sapere su Achille e la Tartaruga e non avete mai osato chiedere

Science

Transcript of Tutto quello che avete sempre voluto sapere su Achille e la Tartaruga e non avete mai osato chiedere