Artículos con la etiqueta ‘Formalización matemática’

Experimental library of univalent formalization of mathematics

Por • 5 ene, 2014 • Category: Ambiente

This paper contains a discussion of a library of formalized mathematics for the proof assistant Coq which the author worked on in 2011-13.



Operaciones autoformantes y heteroformantes. Ensayo de un criterio de demarcación gnoseológica entre la Lógica formal y la Matemática (I)

Por • 13 dic, 2012 • Category: Crítica

Sin duda, las analogías en los procedimientos de ambas ciencias no son gratuitas, meros mimetismos superficiales. Pero el reconocerlo así tampoco signifíca que estas semejanzas prueben, por sí mismas, la indistinción entre Lógica y Matemáticas: plantean, más bien, constantemente, la cuestión de su demarcación y explican, por lo menos en el plano psicológico, la tendencia a confundir los procedimientos matemático-formales y los procedimientos lógico-formales. Tanto cuando esa confusión tiene el sentido de una subsunción de ambos procedimientos en un tertium (¿el Algebra abstracta?), cuando cobra el sentido de una reducción (o asimilación) de la Lógica a las Matemáticas (la «línea cartesiana», que culmina en Hilbert, en la concepción de la Lógica como «infancia de las Matemáticas», del órganon aristotélico como sistema realizado por la Geometría de Euclides, o simplemente, concepción de la Lógica como una «sección» de la Matemática, al lado del Cálculo, o de la Geometría proyectiva), o bien cuando asume el sentido opuesto, el de la reducción de las Matemáticas a la Lógica (la «línea leibniziana» logicista, que culmina en Russell).