Mental labor mechanization and mathematics mechanization in computer era

• 计算机时代的脑力劳动机械化与数学机械化