# Semántica computacional \| S2-E19

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

- Publicado: 15 de febrero de 2021
- Duración: 18 min
- Temporada 2, episodio 19
- Audio: https://www.buzzsprout.com/758831/episodes/7882987-semantica-computacional-s2-e19.mp3
- Página: https://escuchario.semeescucha.es/podcast/erase-una-vez-un-algoritmo/episodio/7328887-semantica-computacional-s2-e19

## Sobre este episodio

¡Enviáme un mensaje! Trataremos dos formas de semántica: formal (operacional y denotacional; el significado de los programas) y filosófica (referencia y sentido de los términos que usamos). Artículo recomendado para la semántica formal: http://people.cs.ksu.edu/~schmidt/705a/Lectures/chapter.pdf Support the show

Anterior: [Hipercomputación - ¿Más allá de la tesis de Church-Turing? \| S2-E18](https://escuchario.semeescucha.es/podcast/erase-una-vez-un-algoritmo/episodio/7328888-hipercomputacion-mas-alla-de-la-tesis-de-church-turing-s2-e18)
Siguiente: [8 Principios de la programación \| S2-E20](https://escuchario.semeescucha.es/podcast/erase-una-vez-un-algoritmo/episodio/7328886-8-principios-de-la-programacion-s2-e20)

## Ú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