Conversation

#mechanisation of intellectual tasks:

• slide rule—relieved the burden upon the intellectual by replacing the tedious, error-prone manual 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 of the human computers by replacing the slide rule and the calculator with the fully automatic digital computer
• web search engine— relieved the burden of the intellectual by replacing tedious, error-prone manual search of print journals and books in the library with the fully automatic web search engine
• automated theorem provers—relieved the burden upon the mathematicians by replacing the tedious, error-prone manual proofs of 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