Terence Tao reconstruye su juego de lógica como Lean Grimoire
En 2018, Terence Tao creó QED, un libro de texto interactivo en JavaScript que enseña lógica proposicional y de primer orden como un juego de artesanía. Ahora lo ha reconstruido con un agente de programación y lo ha bautizado Lean Grimoire: incluye la opción de mostrar una prueba en Lean del estado de la partida y un modo de fantasía en el que los enunciados son pociones y las expresiones, pergaminos. Busca jugadores que lo prueben.
Solo por diversión, también añadí una opción para jugar en un «modo de fantasía» en el que varios elementos del juego se representan con textos ambientales de temática fantástica (por ejemplo, los enunciados matemáticos se convierten en «pociones», las expresiones matemáticas en «pergaminos», y así sucesivamente).
- torben-friis
Qué desastre de juego educativo.
Perdón por ser tan negativo, pero apenas se puede descifrar la introducción estilo LLM, y esos controles parecen un documento personal de obsidian a medio terminar.
Es un poco raro viniendo de tao, recuerdo que sus notas de matemáticas eran bastante accesibles y estaban bien escritas.