形式方法的缺点

elim

jzkyllcjl 发表于 2017-7-3 18:36
我5楼说的是对的。我不是你说的搞不定，而是搞定了的。 我说的是： 我多次说过无尽小数0.333…… 是永远 ...

我什么时候认可过你的理解能力？ 你一会儿吃哈巴狗屎，一会儿吃野狗屎，就是不能不吃屎。不能不实用狗屎堆逻辑曲解实数定义。

jzkyllcjl

elim 发表于 2017-7-4 07:40
我什么时候认可过你的理解能力？ 你一会儿吃哈巴狗屎，一会儿吃野狗屎，就是不能不吃屎。不能不实用狗 ...

你是不承认错误的顽固者。

elim

jzkyllcjl 的程度连 0.333.... 都搞不定，上贴在理论上除了胡扯，还是胡扯。而在实践上给出了jzkyllcjl书著泡汤的必然性.

jzkyllcjl

elim 发表于 2017-7-4 14:34
jzkyllcjl 的程度连 0.333.... 都搞不定，上贴在理论上除了胡扯，还是胡扯。而在实践上，上贴提供了jzkyllc ...

形式必须有实践依据。违背事实的形式推导 应当放弃。
你对0.3333…… 的认识是错误的、无有严格根据的。

jzkyllcjl

elim 发表于 2017-7-4 14:34
jzkyllcjl 的程度连 0.333.... 都搞不定，上贴在理论上除了胡扯，还是胡扯。而在实践上，上贴提供了jzkyllc ...

形式化的推导需要实践的验证。你的0.333……=1/3 的证明是错误的，违背逻辑法则的。

elim

0.333...=1/3是合乎实践的.

任何数学理论，必须以形式化的方式表现其普适性和明晰性。其证明也离不开形式化。所以形式方法是数学不可或缺的。不错，哥德尔不完全定理指出了形式系统的不完全性及其自洽的内在不可判定性。从理论上严格论证了数学的无止境。哥德尔的论证方法就是形式方法。“非形式的数学方法”，如果有这种东西的话，必然是含糊其辞，不可严格论证的。当然更谈不上完备与自洽的内在可证性了。

jzkyllcjl 就是个脑袋受伤的数学混混。程度说啥也超不过初小差班。

jzkyllcjl

elim 发表于 2017-7-4 14:53
0.333...=1/3是合乎实践的.

任何数学理论，必须以形式化的方式表现其普适性和明晰性。其证明也离不开形 ...

不联系实际的形式方法是行不通的、存在大难题、三分律反例、芝诺悖论、数学危机的研究方法。

elim

jzkyllcjl 发表于 2017-7-5 17:49
不联系实际的形式方法是行不通的、存在大难题、三分律反例、芝诺悖论、数学危机的研究方法。

老生 jzkyllcjl 被发现程度在初小差班，楼上不联系实际的言论说了不算。

jzkyllcjl

elim 发表于 2017-7-6 01:00
老生 jzkyllcjl 被发现程度在初小差班，楼上不联系实际的言论说了不算。

不联系实际的形式方法是行不通的、在形式方法下，存在连续统假设的大难题、三分律反例、芝诺悖论、三次数学危机等许多无法解决的问题 。

elim

jzkyllcjl 发表于 2017-7-6 03:06
不联系实际的形式方法是行不通的、在形式方法下，存在连续统假设的大难题、三分律反例、芝诺悖论、三次数 ...

联系到 jzkyllcjlo 程度太低的实际，就可以理解他对数学的认识完全错乱，在数学社会中说话不算的必然。