Ciclo de charlas sobre el concepto de demostración
Publicado: 5 de octubre , 2014Seminario abierto
6 OCT 2014 al 8 OCT 2014 | Facultad de Humanidades y Ciencias de la Educación
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.
Loading...