20世纪数学观的变化 公理化方法与形式演绎仍然是数学的基 本特征之一（数学不等于形式） 在计算机技术的支持下，数学注重应用 ● 逻辑是数学家为了保持数学健康而实行 的卫生规则(H外尔) 数学不等于 逻辑，做“好”的数学 20 世纪数学观的变化 公理化方法与形式演绎仍然是数学的基 本特征之一（数学不等于形式） 在计算机技术的支持下，数学注重应用 逻辑是数学家为了保持数学健康而实行 的卫生规则（H.外尔）——数学不等于 逻辑，做“好”的数学