Este artículo expone el programa formalista de Hilbert, conectando directamente con las ideas contrastantes del intuicionismo que se analizan en el libro de Soler.
Hilbert y los orígenes del intuicionismo matemático
por Fernando Soler · 1993
Ver sugerenciasSinopsis
Este ensayo del filósofo y matemático mexicano Fernando Soler explora la figura de David Hilbert y su programa formalista, contrastando su visión con la escuela intuicionista, y las implicaciones de estas corrientes para los fundamentos de las matemáticas.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
El panorama actual de la filosofía de la matemática y la influencia en él de D. Hilbert
Fausto I. Toranzos
1957·filosofia
Toranzos aborda la influencia del formalismo de Hilbert, proporcionando un contexto histórico que complementa las discusiones sobre intuicionismo en la obra de Soler.
Hilbert defiende la consistencia interna de los sistemas matemáticos, contrastando con el intuicionismo, un aspecto central en el ensayo de Soler.
Brouwer establece la construcción de entidades matemáticas en el intuicionismo, un enfoque opuesto al formalismo que permite entender las tensiones filosóficas presentadas por Soler.
En esta colección, Hilbert discute la formalización de la matemática, que sirve como referencia para las implicaciones del intuicionismo mencionadas en la obra de Soler.
Este ensayo refuerza las bases del formalismo de Hilbert, que es fundamental para entender las críticas al intuicionismo que Soler explora en su análisis.