Descripción
Oiva Ketonen (1913-2000) fue lo más cercano a un estudiante que el creador de la teoría moderna de la demostración, Gerhard Gentzen, tuvo. Su encuentro tuvo lugar en 1938-39 en Gotinga, con Ketonen esperando recibir un tema adecuado para una tesis doctoral y Gentzen, en cambio, inmerso profundamente en intentos de demostrar la consistencia del análisis. La tesis de Ketonen de 1944, su único trabajo en lógica, introdujo lo que hoy se llama el cálculo de secuentes G3. Es su descubrimiento más conocido, un cálculo de secuentes para la lógica proposicional clásica cuyas reglas lógicas son todas invertibles. Pocos leyeron su tesis, cuyos resultados fueron, en cambio, puestos a disposición a través de una larga reseña de Paul Bernays. El cálculo de Ketonen es la base del método de tableau de Evert Beth y de los cálculos de secuentes en la influyente {\it Introduction to Metamathematics} de Stephen Kleene. Un segundo resultado fue un agudizamiento del teorema del secuente intermedio, por el cual el número de inferencias de cuantificadores con eigenvariables podría minimizarse. La existencia de un secuente intermedio lo más débil posible siguió, en el sentido de que si cualquier secuente intermedio es derivable, uno lo más débil lo es. Convirtiendo esto en una contrapositiva, Ketonen encontró un método puramente sintáctico para pruebas de inderivabilidad que aplicó a la geometría plana afín. Su resultado, en términos modernos, fue una solución positiva al problema de la palabra para el fragmento universal de la geometría afín plana, con una prueba sintáctica de inderivabilidad del postulado de las paralelas a partir del resto de los axiomas afines como corolario.
Autor: Oiva Ketonen
Editorial: College Publications
Publicado: 12/01/2022
Páginas: 140
Tipo de encuadernación: Tapa blanda
Peso: 0.45lbs
Tamaño: 9.21h x 6.14w x 0.30d
ISBN13: 9781848904071
ISBN10: 184890407X
Categorías BISAC:
- Matemáticas | Lógica
- Filosofía | Lógica
Este título no es retornable