建立数学证明模式识别和智能系统
建议建立数学证明的模式识别和智能系统
为了防止学术欺诈和浪费资源，数学证明应该建立模式识别的智能系统，数学证明在企图证明某一个命题之前或者之后，就把相关内容输入到识别系统，例如；
1，命题的性质，是一个什么类型？普遍概念还是集合概念？严禁对集合概念（例如“小于70000000的素数对”和“表大偶數為一個不超過三個素數的乘積及一個不超過四個素數的乘積之和”）进行所谓“证明”。
2，命题是否清晰？组成命题的词组是否合理规范？
3，数学概念是否正确？有没有使用诸如“充分大”和“殆素数”（例如：关于表大偶数为一个素数与一个殆素数之和）之类的错误概念？数学概念是否具备“专一性”，“精确性”，“可以检验”。
4，打算或者已经使用的论据是否准确？引理部分是否有针对性？
5，演绎推理是否是三段论的正确形式？
6，结论（或者目标）是否全称判断？论述结论是否清晰准确？会不会是特称判断？
7，是否有循环论证？结论可以倒推回去吗？设立倒推模式。
8，如果借助图像和公式，这些内容可以检验和无歧义吗？公式的符号准确吗？图像是动态还是静态，图像对证明起什么作用？
9，证明结论对整个数学理论体系起到什么作用？
还有很多，要根据具体的学科分类设定，有了识别系统，对于那些手脚不干净的唯利是图的人，就没有空子可钻。
为什么要建立这样一个识别系统？
因为中国数学家和数学界已经被完全洗脑，无法分辨数学真理，他们至今还真的以为中央宣传的： “陈景润王元潘承洞证明了哥德巴赫猜想，张益唐证明了孪生素数猜想。大家要以他们为榜样”。
其实，整个中国数学家已经完全瘫痪，他们已经丧失了辨别能力。凡是中央定了的，不管是否符合逻辑，都是不能反驳的，不同意见都是不能发表了。谁要是反驳，就组织围剿，搞臭你。
为了拯救中国数学，就必须建立一套自动鉴别系统，帮助中国数学家恢复大脑功能。
话说，你出多少钱
页:
[1]