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
