The research on mathematical argumentation has mainly adopted a dialectic lens which focuses on understanding the abstract and logical development of reasoning in argumentation. However, this approach may have overlooked other key aspects of mathematical argumentation, including the unfolding of the meaning-making experience and process during…

The origins of the emphasis on formal proof are discussed as well as more recent views. Factors in acceptance of a proof and the social process of acceptance by mathematicians are included. The impact of formal proof on the curriculum and implications for teaching are given. (DC)

Compared and contrasted are the concepts intuition and logic. The ideas of conceptual thought and algorithmic thought are discussed in terms of the world as a labyrinth, intuition and time, and the structure of knowledge. (KR)