Al igual que 'La Prueba y el Mito', este ensayo de Lakatos promueve una visión heurística de las matemáticas, desafiando las perspectivas dogmáticas sobre la prueba formal.
La Prueba y el Mito
por Imre Lakatos · 1976
Ver sugerenciasSinopsis
Este ensayo investiga la naturaleza de los descubrimientos matemáticos, contrastando la lógica de la prueba formal con el proceso heurístico y dialéctico de la evolución de las demostraciones matemáticas, utilizando la fórmula de Euler como caso de estudio.
Sé el primero en valorar este libro.
Más de Imre Lakatos
Ver autor →Otras obras del mismo autor en el catálogo
The Logic of Scientific Discovery
1959
The Philosophy of Mathematics
1965
The Foundations of Science
1968
Criticism and the Growth of Knowledge
1970
Mathematics, Science and Epistemology
1971
Falsificationism as Methodology
1971
A New Approach to Scientific Discovery
1971
Essays in the Philosophy of Science
1973
La lógica del descubrimiento matemático
1976
Proofs and Refutations: The Logic of Mathematical Discovery
1976
Sobre la demostración en matemáticas
1976
Sobre las demostraciones en matemáticas
1976
A Lag in the Development of Science: Recent Developments in the Philosophy of Science
1976
La filosofía de la matemática
1976
Prueba y refutaciones: La lógica del descubrimiento matemático
1976
Libros similares
Libros relacionados según distintos criterios de búsqueda
Hersh explora la matemática como una construcción social, complementando la crítica a la lógica formal de Lakatos al mostrar las dinámicas culturales que la afectan.
Châtelet se enfoca en la creatividad en la prueba matemática, similar a la crítica de Lakatos sobre la historia y la evolución del conocimiento matemático.
Kline investiga los cambios en los fundamentos de las matemáticas, resonando con la temática de crisis y reformulación presentes en el ensayo de Lakatos.
Este trabajo de Lakatos, a través de un diálogo sobre el Teorema de Euler, también cuestiona la naturaleza empírica y evolucionaria del descubrimiento matemático.
En este texto, Lakatos aborda el proceso heurístico de las demostraciones, alineándose con su defensa de una visión no lineal del progreso matemático.