I believe that "tools for thought" as a phrase comes from Ken Iverson's "Notation as a tool for thought" paper.