Este libro explora la intersección entre la lógica y la modelización, ofreciendo un enfoque formal para comprender distintas aplicaciones de la lógica en contextos matemáticos y computacionales.
JP
JP
Jan von Plato
alemán
Jan von Plato es un filósofo y escritor alemán conocido por sus contribuciones en el campo de la lógica y la epistemología. Su trabajo destaca por la exploración de la relación entre filosofía y ciencia en el contexto contemporáneo.
Obras en el archivo
14 títulos
La Teoria de Tipos de Per Martin-Löf: Fundamentos y Aplicaciones
2006·divulgacion
Una introducción exhaustiva a la teoría de tipos intuicionista de Per Martin-Löf, destacando sus implicaciones para los fundamentos de las matemáticas y la informática, especialmente en programación y verificación de pruebas.
Este libro explora la obra 'On Certainty' de Ludwig Wittgenstein, abordando temas sobre la duda, el conocimiento y la certeza desde una perspectiva filosófica, analizando cómo estas ideas se interrelacionan en el pensamiento del filósofo.
Este libro ofrece una exploración exhaustiva de la lógica desde una perspectiva filosófica, analizando sus fundamentos y el papel que desempeña en la comprensión del razonamiento y la verdad.
Este libro ofrece una introducción a los conceptos fundamentales y debates en la filosofía de la ciencia, explorando temas como la naturaleza del conocimiento científico, sus métodos y su relación con la realidad.
Autores relacionados
Aparecen junto a Jan von Plato en búsquedas del archivo