数学机械化? 数学机械化证明? 数学机械化之父是谁?数学机械化之父是吴文俊。吴文俊(1919年5月12日—2017年5月7日),1919年5月12日出生于上海,籍贯浙江省嘉兴市。数学家,中国科学院院士,中国科学院数学与系统科学研究院研究员,系统科学研究所名誉所长。数学机械化之父是齐次·佩亚诺。齐次·佩亚诺是意大利数学家,被誉为现...