课件15(李).pptVIP

* ３.用非形式的数学方法去“补救” 刚才说的扩大形式系统，仍是采用“形式系统”的方法去“补救”数学，希望每一个具体的命题（在扩大的形式系统中）总可以证明或证否。这样，虽然不是在同一个形式系统中做到的，人们也可以满足了。 但是，除了形式的方法外，也还可以有非形式的数学方法，去解决具体的数学问题。例如构造的方法、问题的方法。我们是否可以用非形式的数学方法去解决问题，以“补救”数学呢？ * ４.用非数学的方法去“补救” 数学是为认识宇宙产生的，但解决宇宙中的问题，判断一个命题的真伪，除了数学的方法外，还可以有非数学的方法。采用多种方法，我们总可以一步步前进，逐渐地认识世界。 * ５.数学家并未失去信心，也未停止工作 数学的逻辑基础，虽然从２０世纪三十年代起就由哥德尔定理发现了问题，但数学仍然有力地解决着各种实际问题，发挥着越来越大的作用。卫星上了天，人类也登上月球。数学不但得到认可，而且深入各个角落。这与１７世纪微积分诞生以后的情形很相似。当时，虽然有“贝克莱悖论”，但数学仍然有力地解决着机械、航海、天文等各领域的大量实际问题，发挥着巨大的作用。 所以说，数学家并未因数学基础的问题尚未解决而失去信心，也从来没有停止他们的数学工作。 * 四、