Un viatge per l’infinit

44
Un viatge per l’infinit Un viatge per l’infinit Dia de la ciència a les escoles Dia de la ciència a les escoles IES La Garrotxa IES La Garrotxa Olot Olot 14 de novembre de 2007 14 de novembre de 2007 Joan Bagaria Joan Bagaria

description

Un viatge per l’infinit. Joan Bagaria. Dia de la ciència a les escoles IES La Garrotxa Olot 14 de novembre de 2007. Quin és el nombre més gran?. Alguns nombres molt grans:. Els nombres no s’acaben mai. Donat un nombre n , sempre n’hi podem afegir un més i obtenir n+1. - PowerPoint PPT Presentation

Transcript of Un viatge per l’infinit

Page 1: Un viatge per l’infinit

Un viatge per l’infinitUn viatge per l’infinit Un viatge per l’infinitUn viatge per l’infinit

Dia de la ciència a les escolesDia de la ciència a les escolesIES La GarrotxaIES La Garrotxa

OlotOlot14 de novembre de 200714 de novembre de 2007

Joan BagariaJoan Bagaria

Page 2: Un viatge per l’infinit

Quin és el nombre més gran?Quin és el nombre més gran?

Alguns nombres molt grans:Alguns nombres molt grans:

Page 3: Un viatge per l’infinit

1010 = Nombre de bits en un CD1010 = Nombre de bits en un CD

Page 4: Un viatge per l’infinit

2210 = Nombre d'àtoms en una

mina de llapis.

Page 5: Un viatge per l’infinit

2210 = Nombre d'estrelles a l'univers.2210 = Nombre d'estrelles a l'univers.

Page 6: Un viatge per l’infinit

8510 Nombre de partícules a l'univers.8510 Nombre de partícules a l'univers.

Page 7: Un viatge per l’infinit

10010 1 Googol10010 1 Googol

10010 1000000000000000000000000000000000

000000000000000000000000000000000

0000000000000000000000000000000000

10010 1000000000000000000000000000000000

000000000000000000000000000000000

0000000000000000000000000000000000

Page 8: Un viatge per l’infinit

Els nombres no s’acaben mai....Els nombres no s’acaben mai....

Donat un nombre Donat un nombre nn, sempre n’hi , sempre n’hi podem afegir un més i obtenir podem afegir un més i obtenir n+1n+1..

Hi ha, potencialment, Hi ha, potencialment, infinitsinfinits nombres naturals!nombres naturals!

Page 9: Un viatge per l’infinit

Els nombres transfinits de CantorEls nombres transfinits de Cantor

Georg Cantor, 1845-1918Georg Cantor, 1845-1918Georg Cantor, 1845-1918Georg Cantor, 1845-1918

Page 10: Un viatge per l’infinit

Res no impedeix pensar en la totalitatinfinita dels nombres naturals.

O sí ?

I continuar comptant ......

Page 11: Un viatge per l’infinit

?Les

paradoxes de l’infinit

Page 12: Un viatge per l’infinit

Galileo Galilei, 1564-Galileo Galilei, 1564-16421642

Galileo Galilei, 1564-Galileo Galilei, 1564-16421642

La paradoxa de Galileo

Page 13: Un viatge per l’infinit

0,1,2,3,4,5,....., ,.....n0,1,2,3,4,5,....., ,.....n

0,2,4,6,8,10,...., 2 ,.....n0,2,4,6,8,10,...., 2 ,.....n

Page 14: Un viatge per l’infinit

La paradoxa de Tristram Shandy

Page 15: Un viatge per l’infinit

1,...,365,...,730,...,365 ,.....n1,...,365,...,730,...,365 ,.....n

1,2,...., ,............n1,2,...., ,............n

Page 16: Un viatge per l’infinit

L’Hotel infinit de HilbertL’Hotel infinit de Hilbert

David Hilbert 1862-David Hilbert 1862-19431943

David Hilbert 1862-David Hilbert 1862-19431943

L'aclariment definitiu de L'aclariment definitiu de la naturalesa dela naturalesa de l'infinit l'infinit

ha esdevingut necessari, ha esdevingut necessari, no només per als no només per als

interessos especials de interessos especials de les ciències particulars, les ciències particulars,

sinó sobretot per a sinó sobretot per a l'honor del mateix l'honor del mateix enteniment humà.enteniment humà.

Page 17: Un viatge per l’infinit
Page 18: Un viatge per l’infinit

1 2 3 4 5 6 7 8

Page 19: Un viatge per l’infinit

Si l’infinit porta a tantes Si l’infinit porta a tantes paradoxes.....paradoxes.....

No fariem millor d’oblidar-nos-en?No fariem millor d’oblidar-nos-en?

Pregunta de sentit comú:Pregunta de sentit comú:

Page 20: Un viatge per l’infinit

Succesions de Goodstein (1944)Succesions de Goodstein (1944)

Reuben L. Goodstein, Reuben L. Goodstein, 1912-19851912-1985

Reuben L. Goodstein, Reuben L. Goodstein, 1912-19851912-1985

Page 21: Un viatge per l’infinit

22 2 125 2 2 1 33 3 13 3 1 1 7625597485068

1340780792994259709957402499820584612747936582059239

337772356144372176403007354697680187429816690342769

0031858186486050853753882811946569946433649006085119

44 4 14 4 1

El següent terme de la sèrie és un El següent terme de la sèrie és un nombre que té nombre que té 2216 dígits2216 dígits! !

El següent terme de la sèrie és:El següent terme de la sèrie és:

Que és igual a:Que és igual a:

Page 22: Un viatge per l’infinit

El teorema de Goodstein (1944)El teorema de Goodstein (1944)

Tota successió de Goodstein convergeix a....

El teorema de Kirby i Paris (1982)

El teorema de Goodstein només es pot demostrar si existeix un conjunt infinit!

0en un nombre finit de passos.

Page 23: Un viatge per l’infinit

La teoria dels nombres transfinits La teoria dels nombres transfinits de Cantorde Cantor

Georg Cantor, 1845-1918Georg Cantor, 1845-1918Georg Cantor, 1845-1918Georg Cantor, 1845-1918

Page 24: Un viatge per l’infinit

2 2 2

2 2 2

0,1,2,3,4,5,6,7,........,

, +1, +2, +3,........,

2, 2+1, 2+2,......,

3, 3+1, 3+2,.......,

..................,

, +1,........, + ,........,

+ 2,........, 2,........., 2+ ,...

3

....,

,........, ,......., ,........., etc.

2 2 2

2 2 2

0,1,2,3,4,5,6,7,........,

, +1, +2, +3,........,

2, 2+1, 2+2,......,

3, 3+1, 3+2,.......,

..................,

, +1,........, + ,........,

+ 2,........, 2,........., 2+ ,...

3

....,

,........, ,......., ,........., etc.

Page 25: Un viatge per l’infinit

0,1,2,3,4,5,6,7,..........

1 0,1,2,3,4,5,6,............,

Page 26: Un viatge per l’infinit

Georg Cantor, 1874Georg Cantor, 1874

EEl conjunt de l conjunt de

punts de punts de ll'interval [0,1] 'interval [0,1]

no es potno es pot numerar.numerar.

Page 27: Un viatge per l’infinit

L’argument diagonal

0 0 1 1 1 0 0 1 0 1 0 0 0 1....... 1 1 1 0 0 0 0 1 1 0 0 0 1 1....... 2 1 0 0 1 1 0 1 1 1 1 1 1 1....... 3 0 0 0 0 0 0 1 0 0 0 0 0 0....... 4 1 0 1 0 1 0 1 0 1 0 1 0 1....... 5 0 0 0 0 0 0 0 0 0 0 0 0 0....... 6 0 1 1 0 0 1 1 0 0 1 1 0 0....... 7 0 0 1 1 0 0 1 1 0 0 0 0 0....... . ...................................................................

1 0 1 1 0 1 0 0 ..........

No és a la llista!

Page 28: Un viatge per l’infinit

0 1 2 n 1

.

, , ,......, ,....., , ,.....,

,....., ,....., ,.....

0 1 2 n 1

.

, , ,......, ,....., , ,.....,

,....., ,....., ,.....

Els àlephs

Page 29: Un viatge per l’infinit

La teoria matemàtica que estudia La teoria matemàtica que estudia els nombres infinits és la els nombres infinits és la

Teoria de ConjuntsTeoria de Conjunts

Page 30: Un viatge per l’infinit

La paradoxa de Russell

(1902)

Sigui A el conjunt de tots aquells

conjunts que no són elements de

si mateixos. Bertrand

Russell, 1872-1970

Bertrand Russell, 1872-

1970Aleshores,...

Page 31: Un viatge per l’infinit

si A pertany a A, A no pertany a A,

i si A no pertany a A, A pertany a A.

?

Page 32: Un viatge per l’infinit

La paradoxa del barberLa paradoxa del barber

El barber del El barber del poble afaita tots poble afaita tots els homes del els homes del poble que no poble que no s’afaiten a si s’afaiten a si mateixos.mateixos.

Qui afaita el Qui afaita el barber?barber?

Page 33: Un viatge per l’infinit

La paradoxa de Richard (1905)La paradoxa de Richard (1905)

Considerem el conjunt C dels nombres que es

poden definir en catalàamb menys de 16

paraules.

C és finit!

Page 34: Un viatge per l’infinit

El menor nombre natural que El menor nombre natural que

no és definible en català amb no és definible en català amb

menys de setze paraules.menys de setze paraules.

1 2 3 4 5

6 7 8 9 10 11

12 13 14 15

Page 35: Un viatge per l’infinit

La teoria de conjunts de La teoria de conjunts de Zermelo-Fraenkel amb Zermelo-Fraenkel amb

l’axioma d’elecció (l’axioma d’elecció (ZFCZFC))

Axiomes:Axiomes:

Page 36: Un viatge per l’infinit

Extensionalitat:Extensionalitat: Si dos conjunts tenen els mateixos elements són iguals.

Potència:Potència: Donat un conjunt x hi ha un conjunt (x) que té com elements tots els subconjunts de x.

Unió:Unió: Donat un conjunt x, hi ha un conjunt x que té com elements tots els elements dels elements de x.

Infinitud:Infinitud: Hi ha un conjunt infinit.

Axiomes de substitució:Axiomes de substitució: El recorregut d’una funció definible que té com a domini un conjunt, és un conjunt.

Regularitat:Regularitat: Donat un conjunt no buit x, hi ha un element de x que no té cap element en el conjunt x.

Axioma d'elecció:Axioma d'elecció: Tot conjunt es pot ordenar bé.

Page 37: Un viatge per l’infinit

Tota la matemàtica es pot reduir Tota la matemàtica es pot reduir a la teoria de conjunts !a la teoria de conjunts !

Page 38: Un viatge per l’infinit

Donat un enunciat matemàtic, tenim tres possibilitats:

•Que sigui demostrabledemostrable en ZFC.

•Que sigui refutablerefutable en ZFC.

•Que sigui indecidibleindecidible en ZFC.

Page 39: Un viatge per l’infinit

La Hipòtesi del Continu G. Cantor, 1878

Tot conjunt infinit de nombres reals és o bé numerable, o bé bijectable amb .Tot conjunt infinit de nombres reals és o bé numerable, o bé bijectable amb .

Hi ha exactament 1 nombres reals.Hi ha exactament 1 nombres reals.

És a dir......

Page 40: Un viatge per l’infinit

Kurt Gödel, 1906-1978Kurt Gödel, 1906-1978

No es pot demostrar en

ZFC que la hipòtesi del

continusigui falsa.

Page 41: Un viatge per l’infinit

Paul J. Cohen, 1963-2007Paul J. Cohen, 1963-2007

Tampoc no es Tampoc no es pot demostrarpot demostraren ZFC que la en ZFC que la

hipòtesi del hipòtesi del continu sigui continu sigui verdadera.verdadera.

Page 42: Un viatge per l’infinit

La Hipòtesi del Continu és indecidibleindecidible

en ZFC!

Calen més axiomes!

Page 43: Un viatge per l’infinit

Per ampliar el tema:Per ampliar el tema:

J. Bagaria: Una petita excursió al paradís de Cantor. Publicat a : Matemàtiques del segle XXI: dels fonaments a la tecnologia. Cicle Ferran Sunyer i Balaguer. Editat per M. Castellet. Fundació CaixaSabadell (2003)

J. Bagaria: Una petita excursió al paradís de Cantor. Publicat a : Matemàtiques del segle XXI: dels fonaments a la tecnologia. Cicle Ferran Sunyer i Balaguer. Editat per M. Castellet. Fundació CaixaSabadell (2003)

Sobre el teorema de Goodstein, aneu a:http://en.wikipedia.org/wiki/Goodstein's_theorem

Sobre el teorema de Goodstein, aneu a:http://en.wikipedia.org/wiki/Goodstein's_theorem

J. Bagaria: Paul J. Cohen y la técnica del forcing. La Gaceta de la Real Sociedad Matemática Española. Volumen 2, Número 3. Páginas 543-553(1999)  

J. Bagaria: Paul J. Cohen y la técnica del forcing. La Gaceta de la Real Sociedad Matemática Española. Volumen 2, Número 3. Páginas 543-553(1999)  

Els dos articles anteriors els podeu trobar a la mevà pàgina web:http://www.icrea.es/ca/investigadors/index.html

Els dos articles anteriors els podeu trobar a la mevà pàgina web:http://www.icrea.es/ca/investigadors/index.html

Page 44: Un viatge per l’infinit

SCIENTISTS & THINKERSTIME MAGAZINE, MARCH 29, 1999 Leo Baekeland, plastics pioneerTim Berners-Lee, Internet designerRachel Carson, environmentalistAlbert Einstein, physicistPhilo Farnsworth, inventor of electronic televisionEnrico Fermi, atomic physicistAlexander Fleming, bacteriologistSigmund Freud, psychoanalystRobert Goddard, rocket scientistKurt Godel, mathematicianEdwin Hubble, astronomerJohn Maynard Keynes, economistThe Leakey Family, anthropologistsJean Piaget, child psychologistJonas Salk, virologistWilliam Shockley, solid-state physicistAlan Turing, computer scientistJames Watson & Francis Crick, molecular biologistsLudwig Wittgenstein, philosopherThe Wright Brothers, visionary aviators