计算机之父是谁,他提出了什么理论