El teorema de los cuatro colores fue demostrado en la década de los ’70 con la ayuda de ordenadores, siendo hasta ahora imposible su verificación por parte de seres humanos, y motivando una serie de debates filosóficos sobre el concepto de demostración.
El Núcleo Interdisciplinario de Lógica invita al seminario abierto que desarrollará la Prof. Gisele Secco (UFRGS, Brasil), a realizarse del 6 al 8 de octubre en la Facultad de Humanidades y Ciencias de la Educación (Magallanes 1577), Salas Cassinoni/Maggiolo.
Se adjunta el artículo «The Four-Color Problem and Its Philosophical Significance» (1979) de Thomas Tymoczko que será una de las fuentes referidas en el conjunto de charlas anunciadas.