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·divulgacion
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·filosofia
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.
El libro explora el significado y la naturaleza de las matemáticas desde una perspectiva filosófica, analizando cuestiones sobre la verdad, la existencia y el conocimiento en el contexto matemático.
Aparecen junto a Hao Wang en búsquedas del archivo
