En las páginas que siguen pretendemos dar una visión panorámica y esquemática de la evolución del programa formalista que resulta de los estudios recientes de notas de curso hasta hace poco inéditas. Analizaremos primeramente ...

El logicismo suele figurar de modo estándar en los manuales como una de las principales alternativas en la fundamentación de las matemáticas, si bien su atractivo disminuyó considerablemente desde aprox. 1950. Bien es ...