Abstract
The phrase " mechanization of mathematics " referred to the creation of artificial devices with the aim of accompanying mathematicians, or even replacing them. The seminar looked at how we have arrived at a situation where many mathematicians see this eventual replacement as feasible, even inevitable, and perhaps even desirable. The speaker took a skeptical view of these developments.
