estadounidense
Michael J. Beeson es un destacado matemático y científico de la computación conocido por sus contribuciones en teoría de la computación y lógica matemática. Ha sido un pionero en el uso de métodos formales en la verificación de software.
Este libro explora los fundamentos metamatemáticos de las matemáticas constructivas, discutiendo sistemas formales y su conexión con la filosofía y la informática, haciendo hincapié en la necesidad de pruebas que demuestren cómo encontrar objetos matemáticos.
Aparecen junto a Michael J. Beeson en búsquedas del archivo
