Hilbert establece las bases de la lógica matemática formal de manera rigurosa, similar al enfoque exhaustivo de Scholz sobre la lógica en su obra.
Formale Logik
por Heinrich Scholz · 1937
Ver sugerenciasSinopsis
Esta obra es un exhaustivo tratado sobre lógica formal, cubriendo desde sus orígenes hasta los desarrollos modernos, con un enfoque particular en la lógica matemática. Scholz fue uno de los pocos filósofos alemanes que trabajaron activamente en lógica matemática en el período de entreguerras.
Sé el primero en valorar este libro.
Más de Heinrich Scholz
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
Tarski introduce conceptos fundamentales de lógica matemática, que resuena con el tratamiento profundo de la lógica formal que presenta Scholz.
El texto de Hilbert y Ackermann formaliza el cálculo de predicados, alineándose con el interés de Scholz por la lógica matemática y sus fundamentos.
Suppes, al abordar la lógica formal de forma metódica y rigurosa, comparte el mismo enfoque didáctico que caracteriza la obra de Scholz.
Los ensayos de Scholz exploran la historia de la lógica y su relación con la filosofía, similar al enfoque filosófico de sus propios estudios.
Lorenzen trata los fundamentos de las matemáticas desde un enfoque constructivista, resonando con las preocupaciones sobre la lógica y su historia de Scholz.