没有赢家的数学基础之争(都有硬伤) 直 主义 形式 主义 逻辑 主义 Kronecker Poincare Hilbert Brouwer 和其助手若干 罗素 怀特黑德 Weyl 数学是科学的大门和钥匙。 Bacon理性的艺术，思维的工具，科学的语言 数学是科学的大门和钥匙。 ------Bacon 没有赢家的数学基础之争（都有硬伤） Kronecker Poincare Brouwer Weyl 直 觉 主 义 罗素 怀特黑德 逻 辑 主义 Hilbert 和其助手若干 形 式 主 义