Por @Alvy — 15 de Diciembre de 2022

Busy Beavers!

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:

Compartir en Flipboard Tuitear


PUBLICIDAD



Un libro de @Alvy y @Wicho

Se suponía que esto era el futuro | un libro de Microsiervos, por Alvy y Wicho

Se suponía que esto era el futuro
Ciencia, tecnología y mucho más
www.microsiervos.com/libro