最伟大的定理往往来自于对显而易见之事的质疑。
机器人是一种被编程执行多种任务的设备,并且可以重新编程以执行其他任务。
The complexity of software is an essential property, not an accidental one.