Joachim Lambek y la Filosofía de la matemática

Abstract

In this article is showed an example for explain the proposal of Joachim Lambek in which the Category Theory is used for the conciliation of the four greats philosophies of the mathematics: Platonism, Logicism, Formalism and Intuitionism.

Se presenta un ejemplo para explicar la propuesta de Joachim Lambek según la cual la teoría de categorías permite conciliar las cuatro grandes filosofías de las matemáticas: Platonismo; Logicismo; Formalismo e Intuicionismo.