Buscar
Mostrando ítems 1-2 de 2
Artículo
Kurt Gödel: revolución en los fundamentos de las matemáticas
(Consejo Superior de Investigaciones Científicas, 2007)
Ofrecemos un repaso a las principales contribuciones de Kurt Gödel en el campo de Lógica y fundamentos de las matemáticas, analizando su impacto, que bien puede llamarse revolucionario. La pretensión es hacer comprensible ...
Artículo
Notes on types, set and logicism, 1930-1950
(Centro de Análisis, Lógica e Informática Jurídica y Universidad del País Vasco, 1997)
The present paper is a contribution to the history of logic and its philosophy toward the mid-20th century. It examines the interplay between logic, type theory and set theory during the 1930s and 40s before the reign of ...