Desarrollos y orientaciones recientes en la lógica

Por • 14 nov, 2019 • Sección: Crítica

 Nicholas Rescher; R. Beneyto  (trad.)

El curso principal del desarrollo  de la lógica moderna desde los días pioneros que separan a Boole de Frege se ha movido muy decididamente en la dirección de los intereses y aplicaciones matemáticos. Y, de hecho, las matemáticas siguen hasta el día de hoy ocupando una posición central en el escenario lógico. Puede esto ser ilustrado -aparte muchos otros modos- por la actual prestancia de lo que se puede caracterizar como el sector aritmético» de la lógica, que incluye la teoría algorítmica, las funciones recursivas, los cálculos de conversión lambda, la teoría lógica de la computabilidad y de los procesos efectivos en general, entre otros componentes menos conocidos. El computador, y toda la hueste de cuestiones técnicas que giran en torno al mismo, ha causado un impacto enorme y recíprocamente estimulativo en los trabajos recientes de lógica. En este sector matemático de la lógica se sigue obteniendo frutos de gran importancia e interés, como atestigua la notable prueba de Paul J. Cohen dc la independencia de la hipótesis de continuo.

Desarrollos y orientaciones recientes en lógica

Nicholas RescherR. Beneyto (trad.)

Texto completo (pdf)

Teorema: Revista internacional de filosofíaISSN 0210-1602, Vol. 1, Nº. 2, 1971págs. 51-56

https://dialnet.unirioja.es/servlet/articulo?codigo=4239276 

Post to Twitter

Escribe un comentario