In this paper I will illustrate Proclus’ philosophy of mathematics following contemporary constructivist approaches, mainly those of mathematical intuitionism. Presenting him as a pre-intuitionist author, I will attempt to contribute to the current discussion by analyzing certain claims of ancient philosophy in this field. It is my hope to fill this gap by a comprehensive reevaluation of Proclus’ philosophy of mathematics. I will explore the origins of Proclus’ theory of the constructivist mind in ancient and late ancient philosophy (Aristotle, Plotinus and the Stoics) as well as the sources of Proclus’ position in the Academic controversy between Menaechmus and Speusippus concerning the nature of theorems and problems.

En este artículo ilustraré la filosofía de la matemática de Proclo de acuerdo a los enfoques constructivistas contemporáneos, principalmente los del intuicionismo. Presentándolo como un autor pre-intuicionista, intentaré contribuir a la discusión actual analizando algunas posturas de la filosofía antigua. Tengo la esperanza de cubrir esta laguna con una re-exposición de su filosofía de la matemática. Exploraré los orígenes de su teoría constructivista de la mente en la filosofía antigua y tardo-antigua (Aristóteles, Plotino y los estoicos) así como las fuentes de su posición en la controversia Académica sobre la naturaleza de los teoremas y los problemas entre Menecmo y Espeusipo