什么是数学定理? 1,数学定理必须是一个明确的判断。 2,数学定理必须是一个全称(一切,所有的,任何,每一个)判断。 3,数学定理是一个已经经过正确的演绎法证明的数学命题(不能使用归纳法和类比法证明,演绎法-三段论有256个格式,只有19个格式有效)。 4,数学定理结构(或者说命题结构)由主项与谓项组成。 5,主项与谓项必须是全异关系(不能是种属关系,例如“庞加莱猜想“就是一个错误的命题,主项与谓项是种属关系;“素数有无穷多个”就是一个正确的命题,因为主项”素数“,与谓项”无穷多个“是全异关系)。6,主项和谓项的含义必须明确表示和界定,不能有“假设”“估计”。 7,数学定理必须符合语法(例如陶哲轩的”存在任意长的素数算术数列“,主项与谓项都是错误的,主项”素数算术数列”是一个集合概念。谓项“任意长“违反语法:肯定判断谓项不能周延)。8,用公式表达的定理,每一个符号必须是明确的概念和含义,不能有歧义(例如张益唐的公式)。9,主项必须是普遍概念或者单独概念,不能是集合概念。 10,数学定理的主项必须经过正确的”种加属差“的方法定义。例如,”素数就是大于1并且只能被1和自身整除的自然数“。 11,一个定理陈述一个给定类所有的元素不变的性质和关系,适用于所有的元素,在任何时候无区别的成立。 戴彧红的荒唐证明:定理4.1,假设在每一个点...满足假设3.1、3.2、3.3和4.1 。....。假设s和T满足3.7或者等价满足....。荒唐吧?
定理3.1,设,假设3.1、假设3.2和假设3.3成立,并且s和T满足3.7,或者等价地满足.....。假设Q、s和T满足.....。
我们需要估计....。
|