Hmm, interesting. Now that you’re stating the opposite, it’s pretty clear to me that there are very particular assumptions underlying my claim that, “the valuable contribution here is not the formalisation, but the generator behind the formalisation” and maybe I should be more cautious about generalising to other people.
One of my underlying assumptions was my model of becoming good at maths—focusing on what ideas might allow you to generate the proof yourself, rather than trying to remember the exact steps. Of course, it is a bit parochial for me to act as though this is the “one true path”.
Hmm, interesting. Now that you’re stating the opposite, it’s pretty clear to me that there are very particular assumptions underlying my claim that, “the valuable contribution here is not the formalisation, but the generator behind the formalisation” and maybe I should be more cautious about generalising to other people.
One of my underlying assumptions was my model of becoming good at maths—focusing on what ideas might allow you to generate the proof yourself, rather than trying to remember the exact steps. Of course, it is a bit parochial for me to act as though this is the “one true path”.