THE ROLE OF PROCEDURAL KNOWLEDGE IN MATHEMATICAL REASONING
John Selden, Annie Selden · 2011
This theoretical paper treats mathematical reasoning as a sequence of actions, each of which is enacted in response to a situation in a partly finished reasoning process. If similar situation-action pairs occur often, they may be (tacitly) reified into an automated situation-action pair, without the need for explicit recollection or a warrant. Such situation-