Instinto, Inteligencia e Intuición en Matemáticas

Ponente(s): Erick Tovar Venegas

En esta platica daré a conocer cuales son la herramientas que posee el ser humano para conocer el mundo matemático, usando como pretexto el programa de Hilbert. Posteriormente discutiré "La prueba ontológica de Gödel" argumento lógico propuesto por Gödel para justificar la existencia de dios.