Esta actividad consta de dos sesiones. En la primera sesión hablaremos de paradojas y demostraciones en matemáticas. La segunda se apoya en los autómatas de estados finitos para decidir qué problemas se pueden resolver con un ordenador (y cuáles no). Las dos sesiones tendrán enfoque participativo y manipulativo.
