Este libro profundiza en los fundamentos de la lógica y la geometría, reflejando el interés de Bolzano por las bases teóricas de las matemáticas.
Computation and its Limits
por Bernard Bolzano · 1817
Ver sugerenciasSinopsis
Bolzano, un matemático y lógico checo-alemán del siglo XIX, sentó las bases para el análisis matemático moderno. Sus trabajos, aunque no directamente sobre 'computación' en el sentido moderno, exploraron rigurosamente los conceptos de infinito, función y conjunto, elementos esenciales para la teoría de la computabilidad.
Sé el primero en valorar este libro.
Más de Bernard Bolzano
Ver autor →Otras obras del mismo autor en el catálogo
La construcción del espacio
1804
Elemente der Philosophie
1811
Fundamentos de la geometría y la lógica
1817
Die Freiheit der Menschheit
1830
Tatsachen über die Religion
1834
Lehrbuch der Religion
1834
Vollständige Anleitung zur vollendeten Bildung der Menschheit
1836
Wissenschaftslehre
1837
Ensayos filosóficos
1837
Wissenschaftslehre und ihre Beziehungen zu den bestehenden Wissenschaften
1837
Ensayo sobre el origen y naturaleza de la verdad
1837
Fundamentos de la metafísica del conocimiento científico
1837
La Teoría de la Ciencia o Fundamentos Elementales de la Doxología
1837
Der Weg zu einer neuen Wissenschaft
1837
La verdad como adecuación
1837
Libros similares
Libros relacionados según distintos criterios de búsqueda
Bolzano introduce conceptos abstractos sobre proposiciones e ideas, paralelos a su exploración de los fundamentos en la teoría de conjuntos y funciones.
La obra busca establecer principios lógicos universales, alineándose con el enfoque de Bolzano sobre la rigorosidad en la estructura del conocimiento científico.
Shoenfield trata temas de lógica matemática y teoría de la computación, conectando así con los conceptos fundamentales que Bolzano investigó en su obra.
Davis examina la historia de la lógica matemática y su influencia en la computación, similar a la exploración de Bolzano sobre la teoría de la computabilidad.
Este texto analiza los fundamentos filosóficos de la computación, siguiendo la línea de pensamiento de Bolzano sobre los límites del análisis matemático.