La Crisi Delle Fondamenta Del Pensiero Matematico

Stefano Sarao
V A p.n.i.
Click to edit Master subtitle style
Le Tappe della Crisi delle Fondamenta del Pensiero Matematico

Filosofia, Fisica
Materie Coinvolte: Matematica,

4/22/12
Stefano Sarao
V A p.n.i.
Le Tappe della Crisi delle Fondamenta del Pensiero Matematico

Le Equazioni di Maxwell e la Relativit Ristretta Einsteiniana
LAntinomia di Russel e il Teorema dellIndeterminatezza di Gdel

4/22/12
Stefano Sarao
V A p.n.i.
Perche?
La Crisi delle Fondamenta del Pensiero Matematico

4/22/12
Stefano Sarao
V A p.n.i.
Il Platonismo delle Idee Matematiche

4/22/12
Stefano Sarao
V A p.n.i.
Verso la Matematica Pura: Le Geometrie Non Euclidee

4/22/12
Stefano Sarao
V A p.n.i.
Il Quadrilatero di Saccheri
Sia ABCD un quadrilatero avente gli angoli A e B retti ed i lati AD e BC congruenti. Si possono fare tre ipotesi sugli angoli C e D: Ipotesi dell'angolo retto: gli angoli sono Click retti. entrambi to edit Master subtitle style
Ipotesi dell'angolo ottuso: gli angoli interni sono entrambi ottusi.
Ipotesi dell'angolo acuto: gli angoli interni sono entrambi acuti. La Crisi delle Fondamenta del Pensiero
Matematico
4/22/12
Stefano Sarao
V A p.n.i.
Geometria Ellittica e Sferica

Il V Postulato di Euclide nelle Geometria Ellittica e Sferica diventa: Due rette qualsiasi di un piano hanno sempre almeno Click to edit Master subtitle style un punto in comune.

4/22/12
Stefano Sarao
V A p.n.i.
Geometria Iperbolica
Il V Postulato di Euclide nella Geometrie Iperbolica diventa: Data una retta r e un punto P disgiunto da r, esistono almeno dueClick distinte passanti subtitle style rette to edit Master per P e parallele a r.

4/22/12
Stefano Sarao
V A p.n.i.
Geometria Iperbolica
Il V Postulato di Euclide nella Geometrie Iperbolica diventa: Data una retta r e un punto P disgiunto da r, esistono almeno dueClick distinte passanti subtitle style rette to edit Master per P e parallele a r.

4/22/12
Stefano Sarao
V A p.n.i.
Geometria Iperbolica nellArte: Escher


4/22/12
Stefano Sarao
V A p.n.i.
Le Fondamenta del Pensiero Matatematico

4/22/12
Stefano Sarao
V A p.n.i.
Et del Rigore
Et del rigore quel perdiodo storico che parte dalla pubblicazione nel 1797 di Thorie des functions analytiques di Carnot e si pu dire non essere mai terminato. In Click to edit Master subtitle style questo periodo si definita, grazie allopera di Lagrange, Carnot, Cauchy, Fourier, Dirichlet, Abel, Jacobi, Green, Gauss, Weierstrass ed altri, lanalisi nella sua formulazione moderna. In questo possiamo vedere larch del Riduzionismo. 4/22/12
Stefano Sarao
V A p.n.i.
Riduzionismo
Il termine riduzionismo deriva dal procedimento di ridurre (cio ricondurre) ogni parte della matematica ad altre parti via via pi semplici, arrivando in fine al fondamento ultimo di tutta la matematica. edit Master subtitle style Click to Per quanto il movimento sia moderno abbiamo gi precursori. chiaro che lintera matematica fondata sul concetto di numero naturale, La Crisi delle Fondamenta del Pensiero quindi bisognava definire il numero. 4/22/12
Matematico
Stefano Sarao
V A p.n.i.
Cantor e Peano
Cantor defin i numeri con la cardinalit degli insiemi. Peano defin i numeri attraverso i concetti primitivi: zero (0), numero (n) e successore (n), e cinque assiomi: 1. 0 appartiene a N; 2. Se n appartieneMaster subtitle n appartiene a N; Click to edit a N, allora anche style 3. 0 non successore di alcun numero; 4. Se due numeri hanno lo stesso successore, allora i due numeri sono uguali; 5. Se 0 appartiene ad un insieme M e, appartenendo n a M allora anche n appartiene a M, allora M=N (principio di induzione). 4/22/12
Stefano Sarao
V A p.n.i.
Logicismo

4/22/12
Stefano Sarao
V A p.n.i.
Frege
Gli obiettivi dellintento logicista portato avanti da Gottlob Frege: Risolvere i concetti matematici, anche quelli considerati non ulteriormente definibili e perci primitivi, in termini puramente logici; Click to edit Master subtitle style Dimostrare i teoremi della matematica mediante l'applicazione dei principi e delle regole di inferenza del ragionamento logico. Scrisse: Ideografia, I Fondamenti dellAritmetica e I Principi dellAritmetica

4/22/12
Stefano Sarao
V A p.n.i.
LAntinomia di Russell
Sia I l'insieme di tutti gli insiemi che non contengono se stessi. Sia A un insieme che non contiene se stesso come elemento, allora A I. Supponendo che I non contenga se stesso come elemento, se ne deduce che I appartiene ad I (per la Click to edit Master subtitle style definizione di I), cio I I I I; supponendo che I contenga se stesso, allora se ne deduce che I un elemento di un insieme che ha per elementi tutti gli insiemi che non contengono se stessi; quindi risulta un elemento a se stesso, cio non pu appartenere ad I, cio I I I I.

4/22/12
Stefano Sarao
V A p.n.i.
Predicativismo
Hermann Weyl e Henri Poincar sono i principali esponenti del predicativismo. Per l'analisi il circolo vizioso [della definizione non predicativa] che si Click in essa attraverso l'incerta insinuato to edit Master subtitle style natura degli usuali concetti di insieme e di funzione, costituisce una forma di errore non trascurabile e non facilmente evitato. Hermann Weyl

4/22/12
Stefano Sarao
V A p.n.i.
Principia Mathematica
Questa opera monumentale scritta a quattro mani da Bertrand Russell e Alfred North Whitehead. Russel formul La Teoria dei Tipi Logici ovvero lalternativa logica alla teoria degli Click to edit Master subtitle style insiemi e costituisce limpianto del primo libro dei Principia Mathematica. La Teoria dei Tipi instaura una gerarchia dei tipi logici che non deve essere infranta.

4/22/12
Stefano Sarao
V A p.n.i.
Formalismo
Il programma di Hilbert Hilbert era convinto che fosse possibile ricondurre tutta la matematica ad un modello Click to riconducendo le teorie assiomatico, edit Master subtitle style pi complesse alle pi semplici, fino a basare tutto sullaritmetica. Il programma doveva: Formalizzare completamente le teorie matematiche. La Crisi delle Fondamenta del Dimostrare la non-contraddittoriet. 4/22/12
Pensiero Matematico
Stefano Sarao
V A p.n.i.
I Teoremi di Gdel
In ogni teoria matematica T sufficientemente espressiva da contenere l'aritmetica, esiste una formula tale che, se T coerente, allora n n la sua negazione sono dimostrabili in T. Click to edit Master subtitle style Sia T una teoria matematica sufficientemente espressiva da contenere l'aritmetica: se T coerente, non possibile provare la coerenza di T all'interno di T.

4/22/12
Stefano Sarao
V A p.n.i.
Dimostrazione dellesistenza di Dio: Gdel

4/22/12
Stefano Sarao
V A p.n.i.
La domanda riguardo ai fondamenti profondi e al significato ultimo della matematica resta aperta; noi non sappiamo lungo quale direzione trover la sua soluzione finale e neppure se ci si debba aspettare una risposta finale oggettiva. Far matematica potrebbe ben essere un'attivit creativa dell'uomo, come il linguaggio o la Click to edit Master subtitle style musica, di grande originalit, le cui prese di posizione storiche disattendono la completa ed oggettiva razionalizzazione. Hermann Weyl

4/22/12
Stefano Sarao
V A p.n.i.
Thomas Kuhn
Il capolavoro di Thomas Kuhn:La Struttura delle Rivoluzioni Scientifiche Le fasi della Scienza: Fase 0: Periodo Pre-Paradigmatico. Click to edit Master subtitle style Fase 1: Accettazione del Paradigma. Fase 2: Scienza Normale. Fase 3: Nascita delle Anomalie. Fase 4: Crisi del Paradigma. Fase 5: Rivoluzione Scientifica.

4/22/12
Stefano Sarao
V A p.n.i.
Le Equazioni di Maxwell
And God said:
And there was light.

4/22/12
Stefano Sarao
V A p.n.i.
La Relativit Ristretta
Postulati della relativit ristretta: Principio di relativit particolare: Le leggi della fisica sono invarianti rispetto al sistema di riferimento inerziale nel quale sono applicate. Click to edit Master subtitle style
1. 1.

4/22/12
Principio di invarianza della c velocit della luce: La velocit della luce nel vuoto indipendente dalla sorgente che l'ha emessa e dallo stato di moto rettilineo uniforme di chi la osserva.

La Crisi Delle Fondamenta Del Pensiero Matematico

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

La Crisi Delle Fondamenta Del Pensiero Matematico

Caricato da

Copyright:

Formati disponibili

Stefano Sarao

Click to edit Master subtitle style

Le Tappe della Crisi delle Fondamenta del Pensiero Matematico

Materie Coinvolte: Matematica,

Click to edit Master subtitle style

Le Tappe della Crisi delle Fondamenta del Pensiero Matematico

LAntinomia di Russel e il Teorema dellIndeterminatezza di Gdel