I am sure he didn't originate the sentiment but
“Writing is thinking. To write well is to think clearly. That's why it's so hard." -- David McCullough
(Interview with NEH chairman Bruce Cole, Humanities, July/Aug. 2002, Vol. 23/No. 4)”
I am sure he didn't originate the sentiment but
“Writing is thinking. To write well is to think clearly. That's why it's so hard." -- David McCullough
(Interview with NEH chairman Bruce Cole, Humanities, July/Aug. 2002, Vol. 23/No. 4)”
This is precisely what I strongly disagree with.
You don't have to write to think and trying to is often detrimental. You can use writing to think, in situations where it helps or if you want to.
But it is not necessary and don't necessary improves your thinking.
I think the better way overall though is just to try different methods of thinking and do what works for you. I also think more than one method is almost always better than just using one.
Writing is bad because it needs to fit in a human head and ultimately needs to be spoken by a human mouth. Maths is bad because it is still stuck as being written on blackboards or pen and paper if you're unlucky.
The few times I have build up these dsls formally have let me understand a topic both more deeply and remember it more easily. The downside is that time invested in inventing it in the first place. E.g.
(for-all x (implies
(member x integers)
(exist-unique y
(and (member y integers)
(equal? 0 (+ x y))))))
Is the way to say that all integers have additive inverses. It's ridiculously long but logically sound and quite easy to prove mechanically given that every operator in that sentence also have definitions in that vain.And writing for you to understand is different then writing for others.