Principios de la Metamatemática
1950·filosofia
Rosenbloom presenta una introducción detallada a la metamatemática, abordando los fundamentos de la lógica formal, la teoría de pruebas y la teoría de modelos de manera rigurosa y estructurada.
estadounidense
Paul Rosenbloom es un destacado investigador y académico en el campo de la inteligencia artificial y la computación. Su trabajo ha tenido un impacto significativo en la comprensión y desarrollo de sistemas de razonamiento automatizado.
1950·filosofia
Rosenbloom presenta una introducción detallada a la metamatemática, abordando los fundamentos de la lógica formal, la teoría de pruebas y la teoría de modelos de manera rigurosa y estructurada.
Aparecen junto a Paul Rosenbloom en búsquedas del archivo