Esta pequeña joya se titula Los castores afanosos: una introducción interactiva a la teoría de la computación y es un curso muy bien armado sobre computación, con ejemplos fáciles de entender y seguir. El título, naturalmente, hace referencia a las máquinas de Turing a las que se llama cariñosamente castores afanosos y que con su comportamiento –si se detienen, o no, y cuándo, tras hacer qué– ejemplifican muy bien estos problemas y límites de la computación y las matemáticas.

Entre los que ya están abiertos y se pueden seguir están El problema de la detención, las Demostraciones sobre programas y el Teorema de incompletitud de Gödel. Permiten hacerse una buena idea de cómo están tratados los temas y cómo es la interacción, eligiendo respuestas para ir avanzando, y del nivel de inglés que hace falta que no es mucho.

En total son diez capítulos, de los que ya se pueden leer algunos; dice Jim Fischer su creador que lo venderá por 19 dólares.

Relacionado:

El Notepad++ como sistema Turing completo
Números no computables
MarbleComplete: circuitos de carreras de canicas + arte ASCII
Una máquina de Turing
Una máquina de Turing construida en madera
Una máquina de Turing construida en «el juego de la vida»
Una máquina de Turing de Lego
Una enorme, colosal y casi interminable lista de números gigantescos
El fantasma en la máquina cuántica de Turing: cuestiones filosóficas

# Enlace Permanente