Recent mathematical results, obtained by the author, in collaboration with Alexander Stokolos, Olof Svensson, and Tomasz Weiss, in the study of harmonic functions, have prompted the following reflections, intertwined with views on some turning points in the history of mathematics and accompanied by an interpretive key that could perhaps shed some light on other aspects of (the development of) mathematics.

The question that is the subject of this article is not intended to be a sociological or statistical question about the practice of today’s mathematicians, but a philosophical question about the nature of mathematics, and specifically the method of mathematics. Since antiquity, saying that mathematics is problem solving has been an expression of the view that the method of mathematics is the analytic method, while saying that mathematics is theorem proving has been an expression of the view that the method (...) of mathematics is the axiomatic method. In this article it is argued that these two views of the mathematical method are really opposed. In order to answer the question whether mathematics is problem solving or theorem proving, the article retraces the Greek origins of the question and Hilbert’s answer. Then it argues that, by Gödel’s incompleteness results and other reasons, only the view that mathematics is problem solving is tenable. (shrink)

Nosso objetivo neste artigo é o de lançar luz sobre alguns aspectos das concepções de Gödel acerca da percepção de conceitos. Começamos investigando a natureza e o papel da analogia entre percepção sensível e percepção de conceitos. A seguir, examinamos as conexões entre percepção de conceitos, razão e compreensão, tentando mostrar que a percepção de conceitos é compreensão de conceitos. Por fim, examinamos aqueles aspectos da concepção de Gödel em que a percepção de conceitos de fato se aproxima perigosamente da (...) ideia de um "olho da mente". Contudo, argumentamos que esses aspectos problemáticos não são intrínsecos à noção de percepção de conceitos, mas sim resultam de uma má compreensão da distinção entre conceito e objeto. Our goal in this article is to illuminate some aspects of Gödel's conception of the perception of concepts. We begin by investigating the nature and function of Gödel's analogy between sense perception and perception of concepts. After that, we examine the connections between perception of concepts, reason, and understanding, trying to show that the perception of concepts consists in the understanding of concepts. Finally, we examine those aspects of Gödel's conception where the perception of concepts actually comes dangerously close to the idea of a "mind's eye". However, we argue that these problematic aspects are not intrinsic to the notion of perception of concepts, but result from a misunderstanding of the distinction between concept and object. (shrink)