Related:

• We are on the verge: Today our program proved Fermat's next-to-last theorem.
  -- Epigrams in Programming, ACM SIGPLAN Sept. 1982...
• We are on the verge: Today our program proved Fermat's next-to-last theorem.
  -- Epigrams in Programming, ACM SIGPLAN Sept. 1982...
• We are on the verge: Today our program proved Fermat's next-to-last theorem!
• When we understand knowledge-based systems, it will be as before -- except our fingertips will have been singed.
  -- Epigrams in Programming, ACM SIGPLAN Sept. 1982...
• Some programming languages manage to absorb change, but withstand progress.
  -- Epigrams in Programming, ACM SIGPLAN Sept. 1982...