chino
Hao Wang fue un destacado filósofo y matemático chino, conocido por su trabajo en la lógica matemática y la filosofía de la computación. Su relevancia radica en su contribución al análisis de la inteligibilidad matemática y la naturaleza de la verdad en el contexto de la ciencia computacional.
1970·no ficcion
Un libro que explora en detalle la teoría de los sistemas formales, la metamatemática y los procesos de decisión, incluyendo la obra de Kurt Gödel y Turing, desde una perspectiva matemática rigurosa.
1974·no ficcion
Este libro aborda de manera exhaustiva los fundamentos filosóficos y lógicos de la teoría de conjuntos, un pilar de las matemáticas modernas, discutiendo sus paradojas, axiomas y distintas formulaciones.
Aparecen junto a Hao Wang en búsquedas del archivo
