ABSTRACT
In this paper, I discuss studies of mathematics made from an artificial intelligence (AI) point of view. There is a spectrum of work in this area that ranges from studies whose purpose is solely to understand better the learning of mathematics to studies whose purpose is to perform a mathematical task without human involvement or consideration. Such a spectrum reflects the purposes of AI researchers themselves: from those who use AI as an approach to study cognition and understand it better to those who use AI to build systems to do tasks without making claims that the manner in which the programs perform says anything about the way in which humans perform the task (Samuel 1983; Schank, 1983).
