Conditions for proving by mathematical induction to be explanatory

In this paper we consider proving to be the activity in search for a proof, whereby proof is the final product of this activity that meets certain criteria. Although there has been considerable research attention on the functions of proof (e.g., explanation), there has been less explicit attention i...

Полное описание

Библиографические подробности
Главные авторы: Stylianides, G, Sandefur, J, Watson, A
Формат: Journal article
Опубликовано: Elsevier 2016