Georg Kreisel

Un artículo expositivo que discute los entonces recientes desarrollos en los fundamentos de las matemáticas, explorando temas como la prueba de consistencia y la interpretación de sistemas formales.

Artículo que analiza en profundidad el influyente programa de Hilbert para sentar las bases de las matemáticas y sus implicaciones para la lógica moderna.

Serie de conferencias dictadas por Kreisel que exploran los principios y métodos de las matemáticas constructivas, un enfoque que restringe la existencia de objetos matemáticos a aquellos que pueden ser efectivamente construidos.

Una colección de conferencias que abordan diversos aspectos de la lógica matemática moderna, incluyendo la metamatemática, la teoría de la demostración y la filosofía de las matemáticas, ofreciendo una visión contemporánea de los desafíos y desarrollos en el campo.

Un ensayo o capítulo en una colección más amplia de conferencias sobre matemáticas modernas, que presenta la lógica matemática en el contexto de sus avances y problemas contemporáneos.

Un tratado fundamental que profundiza en la teoría de modelos, una rama central de la lógica matemática que estudia las estructuras matemáticas y las relaciones entre ellas y las teorías formales.

Este libro profundiza en la teoría de modelos, una rama de la lógica matemática que estudia las relaciones entre teorías formales y sus interpretaciones en estructuras matemáticas.

Un análisis técnico y filosófico de la metamatemática, la prueba de consistencia de Gentzen y las implicaciones de los teoremas de incompletitud para el programa de Hilbert, escrito por un lógico influyente y contemporáneo de algunos de los protagonistas.

Una colección de ensayos de un influyente lógico y filósofo de la matemática que aborda problemas fundamentales en la computabilidad, la prueba de consistencia y la relación entre la intuición y la formalización en las matemáticas.

Un ensayo clave que analiza el programa de Hilbert para establecer la consistencia de las matemáticas a través de un procedimiento finitista, explorando sus ambiciones, éxitos parciales y limitaciones a la luz de los teoremas de incompletitud de Gödel.

Este libro reúne lecturas seleccionadas sobre la filosofía de las matemáticas, explorando temas fundamentalmente metafísicos y epistemológicos, así como cuestiones sobre la naturaleza de los objetos matemáticos y su relación con la realidad.

En 'The Logical Structure of Mathematics', Georg Kreisel explora la relación entre lógica y matemáticas, analizando cómo las estructuras lógicas subyacen en las teorías matemáticas y su significado para la filosofía de la matemática.