Descripción
Takeuti fue uno de los fundadores de la Teoría de la Prueba, una rama de la lógica matemática que se originó a partir del programa de Hilbert sobre la consistencia de las matemáticas. Basándose en los trabajos pioneros de Gentzen sobre la teoría de la prueba en la década de 1930, propuso una conjetura en 1953 relativa a la naturaleza esencial de las pruebas formales de lógica de orden superior, ahora conocida como la conjetura fundamental de Takeuti y de la cual dio una solución parcial positiva. Sus argumentos sobre la conjetura y la teoría de la prueba en general han tenido una gran influencia en el desarrollo posterior de la lógica matemática, la filosofía de las matemáticas y las aplicaciones de la lógica matemática a la informática teórica.
El trabajo de Takeuti abarcó todo el espectro de la lógica matemática, incluyendo la teoría de conjuntos, la teoría de la computabilidad, el análisis de valores booleanos, la lógica difusa, la aritmética acotada y la informática teórica. Escribió muchas monografías y libros de texto tanto en inglés como en japonés, y su monumental monografía "Teoría de la prueba", publicada en 1975, ha sido durante mucho tiempo una referencia estándar de la teoría de la prueba. Tenía un amplio rango de intereses que cubrían prácticamente todas las áreas de las matemáticas y se extendían a la física. Sus publicaciones incluyen muchos libros japoneses para estudiantes y lectores generales sobre lógica matemática, matemáticas en general y conexiones entre matemáticas y física, así como muchos ensayos para revistas científicas japonesas.
Autor: Toshiyasu Arai
Editorial: Springer
Publicado: 26/01/2023
Páginas: 229
Tipo de encuadernación: Tapa blanda
Peso: 0.76 libras
Tamaño: 9.21h x 6.14w x 0.51d
ISBN13: 9789811641756
ISBN10: 9811641757
Categorías BISAC:
- Matemáticas | Lógica
- Informática | Diseño lógico
- Informática | Ciencia de datos | General