FORMALIZACIÓN
En el momento en que uno cree haber satisfecho las demandas finales de la lógica es cuando una demanda nueva, y más sutil, aparece exigiendo un esfuerzo suplementario. De la geometría empírica a la racional, de la presentación euclidiana a la axiomática, de las axiomáticas comunes a las simbolizadas, en cada caso se considera que se ha expulsado finalmente la intuición a favor de la lógica. Continue reading ‘FORMALIZACIÓN’
