• Journal for History of Mathematics
• /
• v.27 no.1
• /
• pp.47-57
• /
• 2014

This paper aims to evaluate works of Frege and G$\ddot{o}$del, who play the trigger role in development of logic, by Knowledge Change Model. It identifies where their positions are in the model respectively. For this purpose I suggest types of knowledge change and their criteria for the evaluation. Knowledge change are classified into five types according to the degree of its change: improvement, weak glorious revolution, glorious revolution, strong glorious revolution, and total revolution. Criteria to evaluate the change are its contents, influence, pervasive effects, and so forth. The Knowledge Change Model consists of the types and the criteria. I argue that in the model Frege belongs to the total revolution and G$\ddot{o}$del to the weak glorious revolution. If we accept that the revolution in logic initiated by Frege was completed by G$\ddot{o}$del, it is a natural conclusion.

• Journal for History of Mathematics
• /
• v.23 no.4
• /
• pp.17-30
• /
• 2010

The aim of this paper is to classify mathematical revolutions by discussing the concept of revolution, and to suggest criteria to judge mathematical revolutions. I examine the relation between the types and the criteria of mathematical revolutions, and explore what types of revolutions several instances of changes in mathematical knowledge are.