Scuola Militare Nunziatella COMPLETEZZA e COERENZA della Matematica 4 giugno 2013- Luigi Taddeo.

Presentazione sul tema: "Scuola Militare Nunziatella COMPLETEZZA e COERENZA della Matematica 4 giugno 2013- Luigi Taddeo."— Transcript della presentazione:

1 Scuola Militare Nunziatella COMPLETEZZA e COERENZA della Matematica 4 giugno 2013- Luigi Taddeo

2 Quanti figli ebbero Renzo e Lucia? P.ODIFREDDI-Lezioni di Logica Matematica

3 Parigi, 8 Agosto 1900- Conferenza internazionale dei Matematici (ICM) David HILBERT (1862- 1943) 23 PROBLEMI : da 1 a 6 i FONDAMENTI della Matematica da 7 a 14 l’Algebra e la Geometria da 15 a 23 la Topologia e l’Analisi

4 I Primi due 1) L’ipotesi del Continuo 2) Completezza e Coerenza dell’Aritmetica (della Matematica)

5 INSIEMI INFINITI Cardinalità di un insieme

6 L’insieme dei numeri naturali è equipotente all’insieme delle frazioni

7 L’INFINITO (della Matematica) Tu, che contieni te stesso Tu, che sottratto rimani te stesso Tu, che sommato rimani te stesso Tu, sei infinito

8

9 Georg Cantor 1845-1918

10 IPOTESI DEL CONTINUO Esistono insiemi che hanno cardinalità compresa tra quella di N (numeri naturali) e quella di R (numeri reali)?

11 Ritorniamo al problema da cui siamo partiti Quanti figli ebbero Renzo e Lucia? Non lo sappiamo nel senso che Manzoni non ce lo dice esplicitamente né lo si deduce dal romanzo

12 Testo Letterario -Teoria Matematica TESTO CRITICA ASPETTI IMPLICITI ASSIOMI ANALISI (DIMOSTRAZIONI) TEOREMI

13 Nessun testo letterario descrive una realtà sufficientemente complessa in modo completo Manzoni “Ne vennero poi col tempo non so quant’altri, dell’uno e dell’altro sesso….”

14 Ipotesi del continuo Primo problema di Hilbert Gli assiomi della Teoria degli insiemi non sono sufficienti né ad assicurare l’esistenza di insiemi aventi la cardinalità compresa tra quella di N e quella di R, né ad escluderne l’esistenza. Dunque: Esistono insiemi che hanno cardinalità compresa tra N ed R? Risposta: Non è possibile rispondere

15 Teorema di INCOMPLETEZZA (1931) Kurt Gödel-1906-1978 In ogni teoria matematica è possibile costruire proposizioni sintatticamente corrette che non possono essere né dimostrate né confutate all'interno della teoria stessa

16 INCOMPLETEZZA Nessun testo letterario è completo Nessuna teoria matematica è completa

17 COERENZA (consistenza) La coerenza è l’impossibilità di dimostrare una proposizione e il suo contrario, detto in altro modo: Se riesco a dimostrare che A è vera non potrò mai dimostrare che A è falsa e viceversa

18 UN’ULTERIORE CONSEGUENZA del Teorema di Gödel La consistenza della teoria stessa NON è dimostrabile

19 CONCLUSIONI Dio esiste perché la Matematica è coerente, il Diavolo esiste perché non lo possiamo dimostrare