Feeds:
Entradas
Comentarios

Posts Tagged ‘Lógica’

Juego inspirado en los famosos acertijos de Raymond Smullyan.

En mis días de intrépido aventurero visité un lejano manicomio donde, como en todo manicomio, había médicos y pacientes. Lo singular de este manicomio era que todos los médicos eran estrictamente honestos (nunca mentían) y todos los pacientes nunca decían la verdad (mienten siempre, que diría el Dr. House). Como todos vestían de blanco, pareciera que esta diferencia bastaba para distinguir a unos de otros; bastaba con formularles una pregunta trivialmente cierta o falsa como, por ejemplo, “¿es cierto que 2+2=5?”. Pero resulta que no era suficiente, ya que, como en todos los manicomios, en aquel manicomio las personas se dividían en locas y cuerdas: las personas locas estaban completamente erradas en sus creencias, solo creían afirmaciones falsas y creían todas ellas, mientras que las personas cuerdas solo creían afirmaciones vedaderas y creían todas ellas. Sin embargo no era cierto que todos los pacientes estuvieran locos ni que todos los médicos estuvieran cuerdos.

(más…)

Read Full Post »

El teorema de Gödel (2)

Vista la situación y con esta perspectiva no es de extrañar que los matemáticos estuvieran desesperados. Claro que todo esto tiene que explicarse en su justa medida, esta claro que las cosas estaban muy mal, pero tampoco se trata de una ruina total. No se podía tirar por la borda todo lo que se había echo, que era mucho, ni tampoco había demasiado acuerdo entre los matemáticos (ni lo hay actualmente) sobre lo que es lo más importante o urgente o útil en matemáticas – fue una cuestión muy discutida en torno al cambio de siglo xix a xx, que actualmente esta un poco mas abandonada, el qué son las mates y como debemos actuar con ellas. Nadie tenía muy claro como plantear el problema de los fundamentos y la fiabilidad, tampoco todo el mundo tenía interés en ello, (más…)

Read Full Post »

El teorema de Gödel (1)

En la matemática se pretende encontrar resultados que nos den información fiable sobre los objetos ideales con motivo de poder resolver problemas en otras partes. Por esto, las contradicciones son siempre un problema. Ya en el origen griego, se había empezado a hacer matemática de forma un tanto naïve, pero la aparición de las aporías de Zenón y otros problemas llevo a los criterios de organización fiable de una disciplina propuestos por Aristóteles (con aportaciones múltiples de varios pensadores de la época) que llevo a los elementos, de Euclides.

(más…)

Read Full Post »