El simposio de Königsberg sobre fundamentos de la matemática en perspectiva

Este volumen de Metatheoria incluye traducciones al castellano de los tres famosos trabajos sobre las escuelas de fundamentos de la matemática, el logicismo, el intuicionismo y el formalismo, expuestos en el Simposio de Königsberg sobre Fundamentos de la Matemática en septiembre de 1930, y que fueron finalmente publicados en la revista Erkenntnis en 1931. Los tres constituyeron un hito en la filosofía de la matemática del siglo pasado. En esta introducción a las traducciones, los compiladores del volumen esbozan el contexto histórico en el cual se concibieron los trabajos originales e incluyen detalles de su publicación original. También ponen de relieve el papel decisivo que tuvieron en la filosofía de la matemática del siglo pasado. Se hace un resumen de sus contenidos, y se discuten las ideas subyacentes del Círculo de Viena acerca de la naturaleza de la matemática y el impacto de los teoremas de Gödel en los programas de fundamentos. Además, se hace una breve introducción a las contribuciones originales que siguen en el volumen a las traducciones.