#mechanisation of intellectual tasks:
• slide rule—relieved the burden upon the intellectual by replacing the tedious, error-prone pen-and-paper manipulation of numbers and logarithm tables with a slide-and-cursor mechanism
• calculator—relieved the burden upon the intellectual by replacing the tedious, error-prone manual manipulation of the slide and the cursor of the slide rule with the fully automatic calculator
• computer—relieved the burden upon the human computer by replacing the slide rule and the calculator with the fully automatic digital computer
• web search engine—relieved the burden upon the intellectual by replacing the tedious, error-prone manual library search of print journals and books with the fully automatic web search engine
• automated theorem provers—relieved the burden upon the mathematician by replacing the tedious, error-prone manual re-proofs of previously proven low-level steps with the fully automatic proof checker
• #AI code generator—relieved the programmer of his brain, by replacing once-intellectual tasks with thoughtless, menial button pushes




