Buenas Noches a Todos:
Se han hecho varios homenajes a Alan Turing, por su contribución tan enorme a la sociedad,
que ha permitido masificar el uso de ordenadores, precisar conceptos de algoritmo, dificultad de un problema y lógica matemática. Más aún, ha permitido nada menos que reducir el tiempo de la Segunda Guerra Mundial (y hay varias películas dedicadas a él, justamente por este asunto).
Cada año se entrega el Premio Turing a aquél científico que ha hecho contribuciones a la Ciencia de la Computación.
Les invito a que conozcan a esos ilustres investigadores en este sitio: http://amturing.acm.org/byyear.cfm
Pueden apreciar que Leslie Gabriel Valliant es uno de ellos (2010), que aportó al desarrollo de Cognición, desarrolló la teoría de Aprendizaje Aproximadamente Correcto entre otras. En clase, lo hemos citado por haber mostrado que contar casamiento de bipartitos es un problema duro, mientras que construir un casamiento particular de bipartitos es elemental.
En suma, que el problema de conteo y el de decisión subyacente no siempre son igualmente difíciles.
Hay otros ilustres investigadores en ese sitio, junto con un resumen de sus principales contribuciones.
Recuerden que por el portal Timbó pueden acceder a muchos artículos originales, escritos por ellos mismos y otros investigadores: http://www.timbo.org.uy/
Esto juega de paso como un recordatorio que la Matemática Discreta está en constante construcción, y hay muchos problemas por resolver que desafían y desvelan a la mente humana...
Muy cordialmente,
Pablo.