It became clear by the 1930s that steps of formal computation are also steps of formal deduction as defined by recursion equations and other principles of arithmetic. This development began with attempts at giving a foundation to the laws of commutativity and associativity of sum: Followers of Kant's doctrine of the synthetic a priori in arithmetic, a certain Johann Schultz as foremost, missed ...