Un ejemplo ilustra algo que se dice y un contraejemplo demuestra que lo dicho es falso. Por ejemplo, un trebol de 4 hojas es un contraejemplo de “todos los tréboles tienen 3 hojas”. Y algo escrito en piedra contradice que “Nada está escrito en piedra”. Porque lo contraio de para todo ∀ es existe uno ∃I.
Idea y foto aportadas por @MartaMachoS.
Este juego milenario de origen chino es una muestra más de nuestra fascinación por los números, el orden y el juego lógico. Con una base tan sencilla como los números naturales del 1 al 6 se desarrollan montones de juegos y problemas matemáticos. La en.wikipedia nos cuenta sobre su etimología e historia y la es.wiki sobre distintas modalidades de juego. Foto vista en au pays des merveilles.
Si dos conjuntos no tienen nada en común se dicen disjuntos, del latín disiunctus = desunido. Y en una familia de conjuntos disjuntos no hay elementos comunes entre dos de ellos, mucho menos comunes a todos.
Como ocurre en la foto de Тиругнанасотхи Баладжоти.
Y viene la nieve y todo lo cubre. Menos una ^ símbolo para y en álgebra y lógica.
Foto Martin Zeinolov.
Una cosa pertenece a otra cuando está dentro, como la a a las vocales a ∈V, como el osito que toma forma de ∈ para pertenecer a su madre, en un sentido y para pertenecer a su familia, como elemento a conjunto.
Plus: Añade @Innella_M_A desde Uruguay que “el signo ∈ es una estilización o deformación de la letra griega ε, inicial de la palabra εστι’ (“es”). ε (épsilon) se conoce también, como signo de Peano en honor al matemático Italiano Giuseppe Peano, él fue el que introdujo la notación «x ε A» (que significa: x es un A) a fines del siglo pasado.
El actual símbolo (∈) fue propuesto por Russell en 1903″. Muchas gracias.
Foto Nikolai Zinoviev.
Un hombre debe elegir entre una puerta tras la que hay un tigre fiero y hambriento y otra en donde está el amor de su vida. Un cuento clásico de Frank R. Stockton que pone la elección al azar y que Raymond Smullyan, apasionado de la lógica y matemáticas recreativas, adaptó como juego lógico donde las puertas llevan carteles de verdadero o falso. ¿Logrará nuestro héroe salir airoso con su princesa? Todo esto y mucho más en el libro de reflexión, lógica y juegos ¿La dama o el tigre?. Foto Ivan Lee.
Los números naturales incluyen en su definición el principio de inducción, algo así como que si cada uno empuja al siguiente, todos quedarán empujados. Siempre que empiece alguien, claro. Esa es la idea básica para formalizar los números naturales y una de las bases de la demostración matemática.
Foto fuente de regaderas, vía casasconestilo.info.
Entrada para la Edición 4.1231 del Carnaval de Matemáticas en el blog i-matemáticas.com de JGM.
El matemático francés Édouard Lucas, estudioso de las series de Fourrier generalizadas y apasionado de la matemática recreativa, inventó en 1883 el juego de las Torres de Hanói con el seudónimo Prof. N. Claus de Siam, mandarín del Colegio de Li-Sou-Stian. Es un rompecabezas solitario de buena lógica que es un reto muy divertivo y se utiliza además en ciencia de la computación y teoría de algoritmos. Hay interesantes diagramas de su desarrollo, relacionados con el triángulo de Sierpiński, y se puede jugar online. Pero lo que mola de verdad es resolverlo uno mismo jugando con discos de madera.
Foto Amateur Pic, terrazas en el norte de Vietnam.
Para representar y expresar realidades usamos lenguajes simbólicos. Están las letras y los números, claro, para los idiomas y las cuentas, y están también el braille, los jeroglíficos, el morse, los lenguajes de programación, para manejar máquinas, o el lenguaje musical, hasta llegar a las matemáticas, como máxima expresión de lenguaje abstracto de gran potencia. Foto de una máquina de escribir música Keaton, fabricada en San Francisco en 1950 y descrita en un precioso folleto ETCetera de 1963.
En el fotomat 401, con agradecimiento a todos los amigos, fans y divulgadores de este divertimento matemático tangencial, animando a todos a promover juntos +Mats ∀s y + ♥ x las mates como parte de una vida con + ♥ por toda la humanidad. Foto Albert Homs
