Tema

Tipos recursivos

1 texto sobre este tema. Todos los temas

Cuando las reglas se repiten: la escalera del punto fijo Lógica, autorreferencia y teoría de categorías Una vez que la aritmética puede codificar sintaxis, un sistema puede actuar sobre descripciones de sí mismo. Ese segundo motor produce oraciones de Gödel, quines, el combinador Y, tipos recursivos y el teorema del punto fijo de Lawvere. 12 jun 2025 · 34 min