¿Por qué recordamos a Brouwer?

Abstract

¿Por qué recordamos a Brouwer? Hay varias maneras de entender la pregunta. Para nosotros será la pregunta que se pueden hacer quienes han cultivado la lógica por años y se han ocupado alguna vez con temas relativos a la disputa de fundamentos entre lógicos “clásicos” e “intuicionistas”. La lógica actual, en sus numerosas ramas, sigue siendo mayoritariamente “clásica”. Sin embargo el intuicionismo y su presunta superación, el “constructivismo”, atraen cada vez más adeptos. Hoy podemos recordar a Brouwer como quien inició hace un siglo, en 1907, la forma moderna del estilo de fundamentación intuicionista. También podemos preguntarnos si lo recordaremos como matemático, como lógico o como filósofo. La inspección de su obra facilita la respuesta: lo recordaremos simultáneamente como matemático, lógico y filósofo, porque su lógica pretendió fundarse en lo que Brouwer consideraba el genuino modo de pensar matemático y eso suponía una concepción de ese pensar y del conocimiento en general y de su relación con el lenguaje. Esto lo llevó a elaborar una teoría intuicionista del conocimiento y de la filosofía de la ciencia, especialmente de la matemática. Además, aunque no entremos en detalles, es preciso recordar que los intereses filosóficos de Brouwer fueron mucho más amplios que los que atañen a la fundamentación de la lógica, la matemática y la teoría del conocimiento.