A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
FilosofíaBiografía

Gentzen, Gerhard (1909-1945).

Gerhard Gentzen.

Lógico y filósofo alemán, discípulo de H. Weil y D. Hilbert. Estudió la temática propia de la teoría de la demostración hilbertiana y sometió sus nociones a un nuevo análisis para darles un nuevo impulso. El procedimiento que siguió fue caracterizar la estructura de las demostraciones mediante una serie de pasos deductivos atómicos, lo más ajustados posible a un procedimiento eficaz matemático. La demostración asumía así, una forma ramificada, "en árbol", lo cual le permitió llegar a dos resultados importantes: el primero hace referencia a la demostrabilidad de las proposiciones y el segundo a la coherencia de los sistemas formales de la aritmética.

Autor

  • CCG.