数学的另一基本思想是符合逻辑。所谓逻辑有下面三点:
1、用已知的结论证明新的结论。
2、用已知的概念定义新的概念。
3、证明的方法要被大家认可。
根据这三点,产生一个问题,就是怎样产生第一个结论和第一个概念?
数学家认为,第一个结论应该是公理,就是要被大家认同。同样,第一个概念叫做初始名词,也要被大家认同。以后的结论,叫做定理,要能被已知的结论所证明。以后的概念,要能被已知的概念所定义。
但是这种理想状态无法做到,所能做到的是把一组结论作为公理,把一组概念叫做初始概念。这样才能证明我们所需要的数学结论和定义所需要的数学概念。数学家把公理和初始概念一起叫做公理系统。
公理系统要求独立性和完备性,也就是必要性和充分性。
对独立性的解释是系统中任何一条公理不能被其他公理所证明,系统中任何一个概念不能被其他概念所定义。对完备性的解释是公理系统能证明我们所需要的全部结论。
数学史最先出现的是欧几里德几何公理系统,随后出现的是皮阿诺整数公理系统;希尔伯特几 何公理系统;策墨罗、弗兰克尔和斯科论的集合论公理系统(ZFC),这些公理系统都不能在自己的系统内证明自己的独立性和完备性,只能承认欧几里德几何公 理系统是完备的,才能 证明希尔伯特几何公理系统是完备的 ;承认皮阿诺整数公理系统是完备的,来证明集合论公理系统是完备 的。 而独立性要在承认我们的函数理论是对的,才能证明现有的公理系统是独立的。
歌德尔证明了任何公理系统的独立性和完备性是矛盾的,但是他的证明方法只有数学家才能看懂。也就是说他的证明方法只被数学家所认可。事实上,证明方法不在公理系统范围内。
我主张证明方法也要包含在公理系统范围内,即证明方法要用大家都认可的语言写出来,被大家认可。我把必须的证明方法叫做初始规则。
正因为我把证明方法包含在公理系统范围内,所以我的公理系统不可能包含歌德尔定理。除非,你默认一种证明方法是对的,再承认集合论公理系统是对的,然后证明这公理系统是对的。总之公理系统本身不能证明自己,否则就犯了逻辑错误。
事实上,我们基本上可以相信集合论公理系统是对的,我们基本上可以相信我的证明方法论是对的。因为,我们的数学理论基本符合实际。我的证明方法论只不过把以前的证明方法,用严格的数学语言表述出来。
数学必须符合逻辑,数学必须精确,数学不允许自相矛盾。
1、用已知的结论证明新的结论。
2、用已知的概念定义新的概念。
3、证明的方法要被大家认可。
根据这三点,产生一个问题,就是怎样产生第一个结论和第一个概念?
数学家认为,第一个结论应该是公理,就是要被大家认同。同样,第一个概念叫做初始名词,也要被大家认同。以后的结论,叫做定理,要能被已知的结论所证明。以后的概念,要能被已知的概念所定义。
但是这种理想状态无法做到,所能做到的是把一组结论作为公理,把一组概念叫做初始概念。这样才能证明我们所需要的数学结论和定义所需要的数学概念。数学家把公理和初始概念一起叫做公理系统。
公理系统要求独立性和完备性,也就是必要性和充分性。
对独立性的解释是系统中任何一条公理不能被其他公理所证明,系统中任何一个概念不能被其他概念所定义。对完备性的解释是公理系统能证明我们所需要的全部结论。
数学史最先出现的是欧几里德几何公理系统,随后出现的是皮阿诺整数公理系统;希尔伯特几 何公理系统;策墨罗、弗兰克尔和斯科论的集合论公理系统(ZFC),这些公理系统都不能在自己的系统内证明自己的独立性和完备性,只能承认欧几里德几何公 理系统是完备的,才能 证明希尔伯特几何公理系统是完备的 ;承认皮阿诺整数公理系统是完备的,来证明集合论公理系统是完备 的。 而独立性要在承认我们的函数理论是对的,才能证明现有的公理系统是独立的。
歌德尔证明了任何公理系统的独立性和完备性是矛盾的,但是他的证明方法只有数学家才能看懂。也就是说他的证明方法只被数学家所认可。事实上,证明方法不在公理系统范围内。
我主张证明方法也要包含在公理系统范围内,即证明方法要用大家都认可的语言写出来,被大家认可。我把必须的证明方法叫做初始规则。
正因为我把证明方法包含在公理系统范围内,所以我的公理系统不可能包含歌德尔定理。除非,你默认一种证明方法是对的,再承认集合论公理系统是对的,然后证明这公理系统是对的。总之公理系统本身不能证明自己,否则就犯了逻辑错误。
事实上,我们基本上可以相信集合论公理系统是对的,我们基本上可以相信我的证明方法论是对的。因为,我们的数学理论基本符合实际。我的证明方法论只不过把以前的证明方法,用严格的数学语言表述出来。
数学必须符合逻辑,数学必须精确,数学不允许自相矛盾。