Te has preguntado porque los coches son más seguros cada día, tomar un avión ahora solo depende de un clic en internet, ir al doctor o al laboratorio para obtener un diagnostico de rayos-x y todo con la certeza de que el coche, el autobús no va a fallar, los frenos, la transmisión todo va funcionar, que el programa de vuelo y las rutas y el aterrizaje es seguro. Esto parecería que esta atado y funcionando gracias a los códigos, algoritmos y sistemas que controlan esos componentes, y si si es así, pero te has preguntado quien controla o da esa certeza que las lineas de código no fallen, colapsen o que actúen debidamente. Es por eso que hoy les platicaremos de la lógica computacional, y si estamos hablando de la lógica de Aristóteles, de la rama de la filosofía; y veremos como que es que aplica en el campo de las ciencias de computación.

Preparen su garnacha preferida y los invito a que se pongan cómodos para el siguiente episodio.