Una interesante introducción a la lógica difusa

Posted By ^DiAmOnD^ on 17 de julio de 2019 in Colaboraciones, Lógica | 15 comments

Hace algo menos de dos años, concretamente el 6 de septiembre de 2017, fallecía el matemático, ingeniero e informático Lotfi Zadeh, creador de la lógica difusa. Hoy vamos a intentar introduciros en esta teoría que, a día de hoy, tiene multitud de aplicaciones en campos muy diversos.

Un problema sobre caballeros y bufones

Posted By ^DiAmOnD^ on 21 de julio de 2017 in Juegos, Lógica | 26 comments

Os traigo hoy uno de esos problemas en los que hay gente que dice la verdad siempre y gente mentirosa por naturaleza. Ahí va el enunciado:

Ha muerto Raymond Smullyan, DEP

Posted By ^DiAmOnD^ on 13 de febrero de 2017 in Lógica, Matemáticos, Noticias, notop | 2 comments

Hace un par de días, me enteré de la triste noticia del fallecimiento de Raymond Smullyan a los 97 años. Su muerte, el pasado lunes 6 de febrero, nos deja sin uno de los mayores creadores de problemas de lógica de la historia.

Explicación del problema del cumpleaños de Cheryl

Posted By ^DiAmOnD^ on 15 de abril de 2015 in Juegos, Lógica | 71 comments

El (pen)último fenómeno viral que ha «sacudido» las redes sociales por todo el mundo es el ya famoso problema del cumpleaños de Cheryl. Después de comentar si el vestido el blanco y dorado o negro y azul y de intentar «adivinar» si el gato sube o baja las escaleras, personas de todo el mundo se han estado dejando los sesos intentando resolver un problema «de pensar», algunos con más éxito que otros, y mucha gente ha intentado dar un razonamiento de por qué la solución es la que es. En esta entrada vamos a intentar explicarlo para quienes no lo conocen y para quienes todavía no han llegado a entender completamente su solución.

Qué dice exactamente el primer teorema de incompletitud de Gödel

Posted By ^DiAmOnD^ on 23 de octubre de 2014 in Colaboraciones, Demostraciones, Lógica, Teoremas | 52 comments

Hace un tiempo, sobre todo a raíz de algunos textos que leí acerca de la «aplicación» de los teoremas de incompletitud de Gödel a temas con los que no tienen ninguna relación, volvió a mi cabeza la idea de hablar sobre estos teoremas en el blog. Para ello preferí intentar contar con la colaboración de algún especialista en el tema, y casi automáticamente vino a mi mente el nombre de Gustavo Piñeiro, matemático argentino, autor junto a Guillermo Martínez del libro Gödel para Todos (editado en 2009 en Argentina y en 2010 en España y que ya os recomendé para el día del libro en 2012) y responsable del blog El Topo Lógico, dedicado a la divulgación de la matemática.

Gustavo accedió gustosamente a mi sugerencia de colaboración, y hoy, por fin, se publica el texto que escribió sobre el primer teorema de incompletitud de Gödel para Gaussianos. Espero que os aclare todas vuestras dudas sobre ello. Y si no es así ya sabéis que tenéis los comentarios de este post para plantearlas.

Si partimos de algo falso podemos demostrar cualquier cosa

Posted By ^DiAmOnD^ on 12 de noviembre de 2013 in Lógica | 26 comments

Una de las anécdotas más conocidas de las que se asocian con el filósofo y matemático Bertrand Russell es su famosa demostración de que «Si 2+2=5, entonces yo soy el Papa». Parece ser que la historia ocurrió tal que así:

Estaba Bertrand Russell dando una charla sobre sistemas lógicos cuando afirmó que si se partía de una premisa falsa, entonces se podía demostrar cualquier cosa. Una de las personas que estaba escuchando le preguntó:

– Entonces, ¿si suponemos cierto que 2+2=5, entonces puede demostrar que usted es el Papa?

A lo que Russell contesto afirmativamente, demostrándolo de la siguiente forma:

– Supongamos que 2+2=5. Entonces, restando 3 a ambos lados obtenemos que 1=2. Como el Papa y yo somos dos personas y 1=2, entonces el Papa y yo somos uno. Por tanto, yo soy el Papa.

Sublime, como casi siempre, el señor Russell.

La cuestión es la siguiente: ¿cómo podríamos escribir esta características en términos de la lógica clásica? Es decir, ¿hay alguna forma de demostrar mediante la lógica clásica que si añadimos a un sistema lógico una premisa falsa entonces podemos obtener como conclusión cualquier cosa? Pues sí, claro que la hay. Vamos a verla.