# Invariante \| E-92

Episodio de [Érase una vez un algoritmo...](https://escuchario.semeescucha.es/podcast/erase-una-vez-un-algoritmo), de Camilo Chacón Sartori.

- Publicado: 24 de julio de 2022
- Duración: 17 min
- Episodio 92
- Audio: https://www.buzzsprout.com/758831/episodes/11020226-invariante-e-92.mp3
- Página: https://escuchario.semeescucha.es/podcast/erase-una-vez-un-algoritmo/episodio/7328842-invariante-e-92

## Sobre este episodio

¡Enviáme un mensaje! Un episodio dedicado a este concepto tan importante en la informática que, se familiariza, con otros como la verificación formal, la inmutabilidad y la programación funcional. Información del podcast: - Sitio web: https://algoritmo.buzzsprout.com Contacto: - Sitio web: https://camilochs.github.io/web/ Redes sociales: - Twitter: https://twitter.com/camilo_chacon_s - Quora: https://es.quora.com/profile/Camilo-Chac%C3%B3n-Sartori - Linkedin: https://www.linkedin....

Anterior: [¿Qué es un lenguaje de programación? ¿El compilador es el lenguaje? \| E-91](https://escuchario.semeescucha.es/podcast/erase-una-vez-un-algoritmo/episodio/7328843-que-es-un-lenguaje-de-programacion-el-compilador-es-el-lenguaje-e-91)
Siguiente: [Computacionalismo \| E-93](https://escuchario.semeescucha.es/podcast/erase-una-vez-un-algoritmo/episodio/7328841-computacionalismo-e-93)

## Últimos episodios de Érase una vez un algoritmo...

- [«Magnifica Humanitas» y la IA \| E-148](https://escuchario.semeescucha.es/podcast/erase-una-vez-un-algoritmo/episodio/7328784-magnifica-humanitas-y-la-ia-e-148) · 5 de junio de 2026 · 12 min
- [Cuando el software sobrevive a sus razones \| E-147](https://escuchario.semeescucha.es/podcast/erase-una-vez-un-algoritmo/episodio/7328785-cuando-el-software-sobrevive-a-sus-razones-e-147) · 9 de mayo de 2026 · 21 min
- [Agentes que negocian: contratos de información \| E-146](https://escuchario.semeescucha.es/podcast/erase-una-vez-un-algoritmo/episodio/7328786-agentes-que-negocian-contratos-de-informacion-e-146) · 17 de abril de 2026 · 10 min
- [Infraestructura cognitiva-artificial \| E-145](https://escuchario.semeescucha.es/podcast/erase-una-vez-un-algoritmo/episodio/7328787-infraestructura-cognitiva-artificial-e-145) · 6 de abril de 2026 · 13 min
- [El gap de especificación en los agentes de código \| E-144](https://escuchario.semeescucha.es/podcast/erase-una-vez-un-algoritmo/episodio/7328788-el-gap-de-especificacion-en-los-agentes-de-codigo-e-144) · 23 de marzo de 2026 · 17 min