HYPATIA

REVISTA MATEMTICA

Relatividad M. C. Escher

DEPARTAMENTO DE MATEMTICAS I.E.S. BARRIO DE BILBAO ENERO 2006

Esta es nuestra quinta revista y estamos muy contentos con la acogida que esta iniciativa est teniendo en el instituto. El tema que hemos escogido esta vez es la Lgica (un rea de conocimiento a caballo entre las matemticas y la filosofa). Es posible que muchas de las cosas que te vamos a contar te resulten desconcertantes y te hagan pensar. De eso se trata! Y ya sabes, si tienes dudas, pregunta a tu profe de matemticas. El departamento de matemticas ha adquirido libros relacionados con esta disciplina y ya estn catalogados en la biblioteca. Hay cuentos y novelas como El Seor del Cero, Ojal no hubiera nmeros! o Los diez magnficos. Tambin hay libros de problemas con pistas y soluciones como El pas de las mates o 100 problemas de ingenio. Y libros que combinan historias con problemas como El hombre que calculaba, Ernesto el aprendiz de matemago o Matecuentos. Si te gustan los acertijos de lgica te recomendamos el libro Cmo se llama este libro? de Raymond Smullyan. An no est en la biblioteca pero esperamos poder adquirirlo pronto. Desde Hypatia queremos pedir disculpas a Stepan Venzik pues olvidamos su nombre en la lista de premiados del concurso de matemticas del ao pasado. Obtuvo el tercer premio en el Nivel I. Tambin queremos agradecer su colaboracin en esta revista a Herwig Hauser, profesor de lgebra y Geometra de la Universidad de Innsbruck (Austria), por contarnos en el artculo Mi primer teorema sus experiencias personales y su relacin con las matemticas, a Conchi Martn, profesora de filosofa de nuestro instituto, por la magnfica biografa de Russell y a Esteban Serrano Marugn, profesor de matemticas del IES frica de Fuenlabrada por sus correcciones. Esperamos que mucha ms gente se anime a colaborar con nosotros. Todas vuestras propuestas son bienvenidas. Puedes hacrnoslas llegar a travs de tu profesor de matemticas o por correo electrnico: bb_mates@hotmail.com Os recordamos que an podis presentar las soluciones a los problemas del concurso de la revista anterior. En esta revista os proponemos otros dos problemas nimo y suerte! Los premios del concurso de este ao son: Primer premio: MP3 Leiker de 512 MB Segundo premio: Calculadora cientfica CASIO fx-82MS

PIENSA LGICAMENTE
DE QUIN ES EL RETRATO? Un hombre estaba mirando una fotografa y alguien le pregunt: De quin es esa fotografa?, a lo que l contest, Ni hermanas ni hermanos tengo, pero el padre de este hombre es el hijo de mi padre. De quin es la foto? Otro da, mirando una nueva fotografa dijo: Ni hermanas ni hermanos tengo, pero el hijo de este hombre es el hijo de mi padre De quin era esta vez la fotografa?

Cada lgico con su tema

Ordena la informacin en la tabla y sabrs algo ms de algunos lgicomatemticos ilustres (Pista: Comienza obteniendo todas las fechas de nacimiento) 1. Alan Turing naci en 1912, pero no lo hizo en Alemania. 2. Von Neumann naci 3 aos antes que el lgico que demostr la Incompletitud de la matemtica y 45 despus que el alemn . 3. Entre las muchsimas aportaciones que hizo el matemtico de origen hngaro nacido en 1903, desde el punto vista lgico, cabe destacar su Axiomtica de la teora de conjuntos. 4. El lgico ingls naci 6 aos despus que Kurt Gdel. 5. El padre de la Inteligencia artificial, que no es Gottlob Frege, fue el ltimo en nacer y muri muy joven. 6. La fundamentacin lgica de la aritmtica no es debida al lgico nacido en la (actual) Repblica Checa en 1906 ni tampoco a John von Neumann. Pas de Ao de Nombre Aportacin nacimiento nacimiento

Tercer premio: Lote de libros. Hay tres premios para cada nivel.

EL PRESO Un preso se encuentra en una habitacin con dos puertas, cada una de las cuales est vigilada por un guardin. Se le ofrece que decida por cul puerta pasar, sabiendo que una de ellas le llevar a prisin y la otra a la libertad. Adems, se le permite hacer una nica pregunta a uno solo de sus guardianes. Ambos guardianes saben lo que hay detrs de cada puerta, pero uno de ellos siempre dice la verdad, mientras que el otro miente siempre. El preso sabe eso, pero no sabe cul de los dos guardianes es el mentiroso y cul el veraz. Qu pregunta tienen que hacer el preso y a qu guardin para conseguir la libertad?

El Hotel Infinito
El Gran Hotel 01 es el hotel ms grande jams construido. Consta de infinitas habitaciones numeradas del 1 en adelante. Como el servicio es excelente y los precios muy competitivos el hotel est siempre lleno Un da, estando ocupadas todas las habitaciones, lleg al hotel una pareja y pidi una habitacin. Rpidamente el recepcionista llam al gerente, el seor Cantor2, que consigui dar alojamiento a la pareja sin ningn problema. Sencillamente, traslad al ocupante de la habitacin 1 a la habitacin 2, a ste a la habitacin 3 y as sucesivamente (la persona que est en la habitacin n pasa a la habitacin n + 1). De este modo la pareja pudo alojarse en la habitacin 1. Pregunta 1: Por qu no puede hacerse esto en un hotel con 100 habitaciones, con todas ellas ocupadas? Pregunta 2: Qu hara el Sr. Cantor si llegaran 20 personas al hotel? Al da siguiente llegaron al hotel infinitos profesores de matemticas para celebrar una convencin. El Sr. Cantor pens un rato y finalmente resolvi el problema. Mud a cada inquilino a una habitacin de nmero doble del qu tena. As, el que estaba en la habitacin 1 pas a la 2, el que estaba en la 2 a la 4, el que estaba en la 3 a la 6... (el que estaba en la n pas a la habitacin 2n). De este modo todos quedaron alojados en habitaciones pares. Y las habitaciones impares, que son infinitas, quedaron libres para los profes. Pregunta 3: Cuando ya estn todos colocados, llegan al hotel infinitas parejas con un hijo cada una y piden al Sr. Cantor que les d dos habitaciones contiguas a cada pareja de modo que los hijos estn alojados al lado de los padres. Cmo se las ingeniar el gerente?

MI PRIMER TEOREMA
Por Herwig Hauser Durante mi estancia en la Universidad de Brandeis (Boston, Massachussets), un matemtico hngaro, el hoy clebre Jans Kollr, me pidi que participara en un seminario. En concreto, yo deba explicar a los asistentes un trabajo de un colega recin publicado en una prestigiosa revista. Al preparar la charla, descubr que los resultados del artculo se podan generalizar a una situacin bastante ms universal que la indicada. As, di una conferencia que sobrepas en mucho lo que se me haba pedido. Yo qued muy satisfecho y creo que impresion bastante al pblico. En los prximos das, cuando me puse a la tarea de demostrar mi descubrimiento con todo el rigor necesario, descubr que haba cometido varios errores que nadie en la audiencia detect. Mi resultado qued sin probar. Fue un dursimo golpe para m y ni siquiera quera admitir entre mis colegas que esa conferencia que tanto les haba asombrado no tena valor alguno: estaba sin demostrar. Pas unos das de constante agitacin, me encontraba nervioso e irritable. Trabaj todo lo que pude para salvar la situacin pero no encontr la solucin. Cuando ya estaba a punto de volverme casi loco, agotado y derrotado, decid abandonar la demostracin y dejarla reposar. Ese fue mi gran acierto. A los pocos das, paseaba por la Massachusetts Avenue, una avenida muy larga que va al centro de Cambridge, ciudad de todas las grandes universidades, muy cerca de Boston. Anocheca y como no tena nada mejor que hacer, volv a repasar mentalmente mi fallida demostracin, comparando todos los argumentos involucrados y el error del razonamiento. De repente, sin pensar demasiado, desde no s dnde, surgi el argumento correcto: muy natural, sencillo y elegante. Ah estaba, sin ms, como esperando el momento oportuno para aparecer. Me puse a rer, era un momento tan intenso que no me lo poda creer. Continu paseando por la avenida, la gente me miraba, no me importaba: yo segua eufrico.. Estaba sorprendido, fuera de m. Por fin, despus de tantos das de incertidumbre, haba resuelto el problema. Al volver a casa, escrib inmediatamente los detalles y estaba claro que funcionaba. Todo cuadraba perfectamente. !Qu montaa rusa de tensin y de emocin! Ese fue mi primer teorema. Se public en la misma prestigiosa en colaboracin con Terrence Gaffney, que aadi resultados parecidos en otro contexto. PD: Para contar la verdad entera, en la demostracin "correcta" todava se encontr un pequeo fallo pero que se pudo subsanar fcilmente.

Se lee Aleph sub cero y designa el cardinal de los nmeros naturales que, como sabes, son infinitos. Aleph es la primera letra del alfabeto hebreo. 2 Georg Cantor (San Petesburgo 1845 Halle 1918) defini la teora moderna del infinito (Hay infinitos infinitos, unos ms grandes que otros) y la teora de conjuntos.

Qu es la lgica?
Es frecuente or la frase ... lo lgico es .... Si estamos con nuestros amigos decidiendo un plan argumentamos la ltima vez hicimos lo que t queras, as que lo lgico y lo justo es que hoy se haga lo que yo prefiero. Con frecuencia usamos la palabra lgica incluso, a veces, la relacionamos con la justicia. Qu es la lgica? tiene algo que ver con la justicia?, y con lo correcto?. El trmino lgica proviene del vocablo griego logos () que traducimos por palabra, razn. Es el genio griego quien por primera vez plantea como combinar ideas ciertas para obtener ideas ciertas. Existen reglas que permitan construir verdades a partir de verdades?. Si se identifican las reglas, estaramos en una condicin inmejorable para decidir lo que es correcto y lo que es justo. As la vida humana sera mucho ms fcil, no habra discusiones entre personas. Aceptados unos hechos simples como ciertos, si hay discusin sobre algo basta aplicar las reglas a los hechos ciertos hasta llegar al tema en cuestin, y deducir su verdad. El filsofomatemtico Leibniz intent en el siglo XVII sintetizar las reglas en su Clculo Universal. Fracas en su intento, no hall ese clculo y tenemos que convivir con las discusiones. El genio griego Aristteles (siglo IV a.C.) entendi la necesidad de simplificar para elaborar las reglas. Fjate en esta frase, Estoy viendo el sol. El hecho descrito por esta frase puede ser cierto, si estoy viendo el sol, o falso si no lo estoy viendo. La primera simplificacin que Aristteles adopt fue esta: Regla 1.- Un hecho puede ser cierto o falso, pero ni puede ser otra cosa, ni puede ser ambas cosas a la vez. Observa la siguiente frase, No estoy viendo el sol. De nuevo esta frase puede ser cierta, si no veo el sol, o falsa, si lo estoy viendo. Lo que es claro es que si esta frase es cierta la anterior es falsa, y viceversa, pues ambas describen dos realidades cada una de las cuales es la opuesta de la otra. As propuso Aristteles su segunda regla: Regla 2.- Si un hecho es cierto, su opuesto ser falso, y si un hecho es falso, su opuesto ser cierto. Analiza ahora estas frases, Todos los animales tienen vida y Algunos rboles no pierden su hojas en otoo. La primera frase es cierta, segn nuestra experiencia, y afirma algo que se aplica a todos los animales, tienen vida. La segunda tambin es cierta, segn nuestra evidencia, y afirma algo que no vale para todos los rboles. Las frases del primer tipo se denominan tautologas, y para mostrar su veracidad hay que confirmar que todos los sujetos implicados lo cumplen. La segunda frase es un enunciado existencial, y para mostrar su validez basta encontrar un individuo que la cumpla. Aqu hay dos nuevas reglas: Regla 3.- Para demostrar la veracidad de una tautologa hay que mostrarla para todos los elementos implicados. Para negar la veracidad de una tautologa basta con encontrar un elemento implicado que no la cumpla. Regla 4.- Para demostrar la veracidad de un enunciado existencial basta con encontrar un elemento que lo cumpla. Para negar la veracidad de un enunciado existencial hay que mostrar que no hay ningn elemento que lo cumpla. Ahora observa estas frases, El delfn tiene vida y El ciprs no pierde sus hojas en otoo. El delfn es un animal y si todos los animales tienen vida, el delfn debe tenerla. El ciprs es un rbol, y puede no perder las hojas pues hay algunos rboles que no las pierden. Salen nuevas reglas: Regla 5.- Si afirmamos que todos los elementos de un conjunto tienen una propiedad, cada elemento la tiene. Regla 6.- Si afirmamos que algunos elementos de un conjunto tienen una propiedad, puede haber algn elemento del mismo que no la tenga. Utilizando estas reglas se deducen muchas verdades a partir de otras. Mira estos ejemplos. Si es cierto que Todo animal se alimenta y que Todo ser humano es animal, entonces es verdad que Todo ser humano se alimenta, pues si el ser humano es animal, la regla 5 indica que el ser humano tiene las propiedades de los animales y debe alimentarse. Si es cierto que Todos los seres humanos piensan, cmo escribir su negacin?. Ser Ningn ser humano piensa?. Algunos aceptan esto como negacin pues creen que la negacin de todos es ninguno. Esto no es vlido. La frase a negar es una tautologa (habla de todos los humanos), la regla 3 muestra que se niega hallando un humano que no piense, Algn ser humano no piensa. Los casos analizados parecen sencillos. Pero hay otros complicados. Si es cierto que Cuando llueve hay nubes en el cielo, y que Si hay nubes cubriendo el cielo no hay luz del sol, la regla 5 proporciona Cuando llueve no hay luz del Sol, pues al llover hay nubes en el cielo, y entonces no hay luz solar. Slo llueve por la noche?. No. Cul es el error?. Las reglas usadas son vlidas y su uso correcto, pero se ha partido de algo falso, aunque el cielo est cubierto de nubes parte de la luz solar pasa a su travs. Es decir: Regla 7.-Aunque usemos reglas vlidas y las usemos correctamente, al aplicarlas a hechos que no son ciertos no se puede garantizar la validez del resultado Mira esta deduccin, si es cierto que Todo pez es vertebrado, y que Todo pez es animal acutico. Es verdad Todo animal acutico es vertebrado? Por qu?. Hay casos mucho ms complicados. Fjate ahora en esta frase, El cretense afirma que el cretense no dice la verdad. Dice el cretense la verdad?. Si quien habla dice la verdad, al ser cretense, su sentencia afirma que no dice la verdad. Si quien habla no dice la verdad, entonces es cierto lo que afirma. Si acepto que dice la verdad llego a que no la dice, y si acepto que no la dice llego a que s la dice. Vaya lo!. Muchas paradojas como sta eran utilizadas en los juicios de la Inquisicin al interrogar a los encausados. Menos mal que no nos pill porque dijeras lo que dijeras siempre haba forma de condenarte. Es preciso investigar ms como llegar a una verdad a partir de otras. Desde Aristteles el ser humano ha progresado mucho, y se han descubierto muchas cosas verdaderamente interesantes. Este es el objeto de la Lgica. El aspecto ms sorprendente es que al usar las reglas de la lgica para elaborar el conocimiento cientfico los datos y conclusiones obtenidos hasta ahora son tiles para describir la Naturaleza. Qu tiene que ver la lgica desarrollada por el ser humano con la forma en que funciona la Naturaleza? Nadie sabe dar una respuesta con certeza a esta pregunta. Ahora que sabes las bases del razonamiento lgico intenta resolver esta paradoja. El barbero de mi pueblo afeita a todas las personas que no se afeitan a s mismas. Quin afeita al barbero?. Como ves para desarrollar el sistema hemos aceptado que una cosa puede ser cierta o falsa, y que no hay nada entre medias. Parece como si la vida tuviera que ser en blanco y negro, y que no slo perdemos la frescura del color, si no que tambin se pierde toda la escala de grises. Necesariamente esto ha de ser as?. Grandes pensadores nos han enseado que entre el blanco y el negro hay cosas, y en particular que los sentimientos humanos no son algo o lo contrario. Supone ello una limitacin al estudio del ser humano utilizando las herramientas que nos proporciona la lgica?.

PROBLEMAS DEL CONCURSO

Debes entregar tus soluciones antes del jueves 23 de marzo

NIVEL II Alicia en el Bosque del Olvido

Alicia estaba perdida en el bosque. Un da se encontr al Len y al Unicornio descansando bajo un rbol. Ambos eran criaturas extraas. El Len menta los lunes, martes y mircoles y deca la verdad los otros das de la semana. El Unicornio por otra parte, menta los jueves, viernes y sbados, pero deca la verdad los restantes das de la semana. Alicia les pregunt qu da de la semana era, a lo que ambos contestaron: Ayer fue uno de los das en los que me tocaba mentir. A partir de estos enunciados Alicia (que era una chica muy lista) fue capaz de deducir el da de la semana. Cmo lo hizo?

NIVEL I
El Inspector BB Lpez I Ha habido un robo en un supermercado. A, B y C fueron interrogados por el Inspector BB y se establecieron los siguientes hechos: 1. Nadie fuera de A, B, C, est implicado. 2. A no trabaja nunca sin contar al menos con un cmplice. 3. C es inocente. Es B inocente o culpable? Qu puedes decir de A? EL COFRE DEL TESORO

ORO

PLATA

PLOMO

NIVEL III
El Inspector BB Lpez III Tras el robo en un museo son capturados cuatro sospechosos. A, B, C, D. El Inspector BB los interroga y establece los siguientes hechos: 1. Si A es culpable, entonces B era cmplice. 2. Si B es culpable entonces o bien C era cmplice o bien A es inocente. 3. Si D es inocente entonces A es culpable y C inocente. 4. Si D es culpable, tambin lo es A. A quin inculp el Inspector BB? LOS PRISIONEROS
Cuatro prisioneros estn atados en fila y con una pared en medio de modo que los prisioneros 1 y 2 no ven a nadie, el prisionero 3 ve al 2 y el 4 ve a los prisioneros 2 y 3. Cada uno lleva un gorro gris o blanco como ves en la figura. El guardin les explica que hay dos personas con gorro gris y dos con gorro blanco y que aquel que sea capaz de decir de qu color es su gorro y argumentarlo, conseguir reducir su condena a la mitad, pero si se equivoca en su argumentacin su condena se multiplicar por dos. Tras un rato de meditacin, uno de los condenados da una respuesta y consigue la reduccin de la condena. Cul de ellos fue y 2 3 4 1 cmo argument?

El tesoro no est en el cofre de plata.

El tesoro no est en este cofre.

El tesoro est en este cofre.

Dentro de uno de estos cofres hay un tesoro. Los otros dos estn vacos. Sabiendo que por lo menos uno de los enunciados es verdadero y que por lo menos otro es falso, en cul de los cofres est el tesoro?

NIVEL II
El Inspector BB Lpez II Tras el robo de una joyera son capturados tres sospechosos. A, B y C. El Inspector BB los interroga y establece los siguientes hechos: 1. Cada uno de los tres hombres, A, B, C, haba estado en la tienda el da del robo, y nadie ms haba estado en ella ese da. 2. Si A era culpable, entonces tena un cmplice, y slo uno. 3. Si B es inocente, tambin lo es C. 4. Si dos y slo dos son culpables, entonces A es uno de ellos. 5. Si C es inocente, tambin lo es B. A quin inculp el Inspector BB?

PASATIEMPOS
SUDOKU
8 2 6 1 7 4 7 6 3 4 9 5 3 1 3 7 4 3 9 4 3 7 1 2 2
LOS DGITOS HUDOS Con los nmeros del 1 al 9 realiza la suma que aparece en el tablero, colocando los nmeros pares en los cuadrados y los impares en los crculos.

1 5 7 6 4 2 6 9 8 2 5 1

EL NUEVO AO Coloca una cifra distinta en cada casilla de modo que sumen 2006.

Bertrand Russell
Por Conchi Martn Aristteles deca que en la misma naturaleza tiene el hombre el ser sociable y que la prueba de la sociabilidad la tenemos en su capacidad de hablar. Utilizamos el lenguaje para comunicarnos con los dems, para expresar nuestra racionalidad en palabras. Y nuestra razn tiene reglas, por eso unos argumentos son vlidos y otros no. El estagirita busc esas reglas y elabor la teora del silogismo. Tambin los estoicos y megricos pusieron su empeo en el estudio de las conectivas. Estos tratados recogen lo que llamamos lgica clsica. En el siglo XIX Frege invent la lgica en su forma moderna. Ya en el siglo XX Russell y Whitehead escribieron la ms famosa obra lgica del siglo: Principia Mathematica. El Propsito de Russell (1872-1970) era sealar las condiciones que ha de cumplir un lenguaje para alcanzar la perfeccin lgica. Su teora, llamada Atomismo lgico, consiste en un anlisis del lenguaje en el que se ponen de manifiesto sus imperfecciones lgicas, contrastndolas con las cualidades de un lenguaje lgicamente perfecto. En 1918 public la paradoja del barbero, que dice as: Entre los habitantes de una aldea hay un, y slo un, barbero. Es un hombre pulcro, respetado, que afeita a todos los hombres de la aldea que no se afeitan a s mismos, y slo a ellos. Estos son los hechos. La pregunta es Quin afeita al barbero? Si el barbero se afeita a s mismo viola el requerimiento de afeitar a todos los aldeanos que no se afeiten a s mismos. Y si no se afeita a s mismo, viola el requerimiento de afeitar a todos los aldeanos que no se afeitan a s mismos. La paradoja de Russell oblig a distinguir entre distintos niveles de lenguaje. Russell escribi otros muchos libros sobre temas morales, religiosos y socio-polticos. Fue un activo pacifista que firm, junto a Einstein, una declaracin contra la bomba atmica y fund el Tribunal Russell, con Sartre, Carpentier y otros, para juzgar la guerra de Vietnam. Fue defensor de la libertad de pensamiento, se preocup por el sufrimiento de la humanidad y busc la justicia. Recibi el premio Nobel de Literatura en 1950.

Moviendo slo tres monedas haz que el tringulo apunte hacia abajo.

MONERAS Dos monedas suman 3 y, sin embargo, una de ellas no es de 2 Cmo es posible?

Por qu crees que en la Unin Europea un hombre no puede casarse con la hermana de su viuda?
Un tren sale de Madrid a Barcelona. Una hora despus otro tren sale de Barcelona a Madrid. Los dos trenes llevan exactamente la misma velocidad. Cul de los dos estar ms cerca de Madrid cuando se encuentren?

SOLUCIONES DE LA REVISTA ANTERIOR

La probabilidad de que salga es el producto de las probabilidades de obtener una calavera en cada dado: 2/6 x 1/6 x 1/ 6 = 1/108. Para tener mayor probabilidad de alcanzar Felicidad total debes escoger los dados segundo y tercero. La probabilidad de con esos dados es: 3/6 x 2/6 = 1/6 De obtener al menos un es 24/36 = 2/3. Calcular esto es ms difcil. Lo mejor es escribir de manera esquemtica todas las posibilidades y contar las que tienen una carita. Como hay 100.000 nmeros de 7 cifras que empiezan con 9 y acaban en 0 y 8.000.000 nmeros de telfono, la fraccin buscada es 1/80. LA ENVASADORA DE ACEITE Recorriendo los caminos partiendo de 400 botellas en A, B y C y dividiendo la cantidad de botellas en cada bifurcacin, vemos que . en D y en G se envasan 250 botellas mientras que en E y en F se envasan 350. POR QU NO JUEGO A LA RULETA Son justos los siguientes juegos? El primer juego s es justo. El segundo no es justo. La apuesta debera ser: Si sale cara ganas 2 , si salen una cara y una cruz yo gano 1 . El tercer juego es justo. En el cuarto la apuesta debera ser 5 a 6. Si suman 7 gano 5 , si suman 8 t ganas 6 . EL ADIVINO DE LOS DADOS SUDOKU 5 6 1 8 4 7 9 2 3 3 7 9 5 2 1 6 8 4 4 2 8 9 6 3 1 7 5 6 1 3 7 8 9 5 4 2 7 9 4 6 5 2 3 1 8 8 5 2 1 3 4 7 9 6 9 3 5 4 7 8 2 6 1 1 4 6 2 9 5 8 3 7 2 8 7 3 1 6 4 5 9

TELFONOS

LA FIGURA MGICA 4 2

7 LA PULGA En la baldosa 4 es ms probable que caiga en negro. Para resolverlo divide cada baldosa en 6 partes iguales trazando una recta vertical y dos horizontales

FIGURAS IMPOSIBLES