Motivos del blog
El barbero mentiroso
Este es un blog interesado en entretener, que busca motivar a sus miembros y visitantes en el estudio de problemas lógicos y matemáticos. Busca también crear una comunidad en línea de personas interesadas en la lógica y las matemáticas.
La idea del blog surgió, originalmente, para vincular a los miembros de distintos grupos estudio de lógica en México. Pero, dado que muchos de estos grupos han desaparecido, el objetivo se ha transformado. Ahora, pretendemos no sólo vincular a los grupos de estudio de lógica sobrevivientes, sino la creación de diferentes comunidades interesadas en la lógica.
La mecánica del blog es presentar un problema el día lunes de cada semana y esperar diferentes respuestas hasta el día domingo, día en que será seleccionada la respuesta más ingeniosa. Para discutir las posibles soluciones a cada problema se ha implementado un grupo de google, el link está en la sección de "páginas para amantes de la lógica".
Si alguien esta interesado en coloborar en el blog favor de escribir a barberomentiroso@gmail.com
Este es un blog interesado en entretener, que busca motivar a sus miembros y visitantes en el estudio de problemas lógicos y matemáticos. Busca también crear una comunidad en línea de personas interesadas en la lógica y las matemáticas.
La idea del blog surgió, originalmente, para vincular a los miembros de distintos grupos estudio de lógica en México. Pero, dado que muchos de estos grupos han desaparecido, el objetivo se ha transformado. Ahora, pretendemos no sólo vincular a los grupos de estudio de lógica sobrevivientes, sino la creación de diferentes comunidades interesadas en la lógica.
La mecánica del blog es presentar un problema el día lunes de cada semana y esperar diferentes respuestas hasta el día domingo, día en que será seleccionada la respuesta más ingeniosa. Para discutir las posibles soluciones a cada problema se ha implementado un grupo de google, el link está en la sección de "páginas para amantes de la lógica".
Si alguien esta interesado en coloborar en el blog favor de escribir a barberomentiroso@gmail.com
Escrito por Cristian Gutiérrez @ 2:20 p.m.
5 Comments:
At 5:50 p.m.,
Anónimo said…
¡Muy bien!
Esta es una muy buena idea; trabajo remoto, en aulas virtuales y hablando desde el silencio de las letras...
Sólo una cosa Christian; ¿no podrías pegar más problemas? Te inventas una especie de notación que permita clasificar los problemas resueltos de los no resueltos. Una pequeña sugerencia.
Babai y enhorabuena.
At 6:08 p.m.,
Anónimo said…
No sé si este problema satisfaga los requerimientos del blog, pero ahí les va...(no lo traduje).
Imagine a universe empty but for two gods, the Creator and the Destroyer. Suddenly, the Creator begins her creative activity: she creates two quirks every second and never stops. As soon as there are quirks to destroy, the Destroyer also begins to act: he destroys one quirk every second and never stops. (Let a quirk be the ultimate sub-atomic particle; a quirk looks like a beach ball in 11-dimensional space but not quite as diagonal.) After aleph-0 seconds, does the universe contain any quirks?
While they create and destroy, the gods talk about what the universe will look like after aleph-0 seconds.
Destroyer:
There will be no quirks; I will destroy them all. Add up the number of quirks you will create, and the number of quirks I will destroy, and you will see that they are equal: 2 · aleph-0 = aleph-0.
Creator:
There will still be quirks. Your acts of destruction can be put into one-to-one correspondence with my acts of creation. Hence, each of your acts of destruction will leave at least one quirk undestroyed, namely, one of the two that I created at the same time. So at any second (now that creation has begun) there will be at least one quirk in the universe. Note that this is true even if the quirks disappear of their own accord after two seconds of life so that they do not accumulate. Hence the universe will never again be empty of quirks.
Podrán encontrar el problema en http://www.earlham.edu/~peters/courses/logsys/quirk.htm
Mauricio
At 6:10 p.m.,
Anónimo said…
Lo olvidé... ahora hay que responder a las preguntas siguientes:
a)Quién tiene razón? El creador o el destructor?
b)Cuál es el error en el argumento del que se ha equivocado?
At 8:36 a.m.,
Anónimo said…
Conocí ayer el problema que propone Mauricio por acá... pero, Cristian... ¿Por qué no lo pones como una entrega al post?... será más fácil el tratamiento... ¿no?
At 11:34 p.m.,
Gabriel Alz said…
Yo secundo que pongan los problemas (buenos) de los lectores como post.
Otra cosa: ¿Qué es Aleph-0?
Supongo que no entiendo bien que tiene de complicado el problema porque no sé que sea eso. A ver alguien que me ayude:
Si uno crea dos y el otro destruye uno, en el mismo lapso de tiempo, está en seria desventaja el destructor, pues cada lapso deja uno sin destruir.
Publicar un comentario
<< Home