fgtr

elim · 发表于 2021-7-26 12:15

回主贴，现代数学基础发现，数学是唯一证明算数的学科。但数学命题未必可证(这是不完全定理的等价说法).

本人主张在这个板块里谈论数学思想等等，尽量避免评价学术行政机构，政治见解之类的话题。

jzkyllcjl · 发表于 2021-7-26 17:07

elim 算不出角A=(arccos78) 大小的表达数字，算不出这个数字是有理数或无理数、

elim · 发表于 2021-7-26 19:59

Jzkyllcjl 就是个学渣，它的东西不是数学，其证明当然不算数．jzkyllcjl 算不出的东西老是问我．是何道理？

谢芝灵 · 发表于 2021-8-3 22:00

证明的定义，有证才明。
没有不证自明。
你t感觉到很明显的，其实都有证据。
任何公理都必须有合逻辑的证明。即，公理必须合逻辑。

谢芝灵 · 发表于 2021-8-3 22:04

数学命题都是可证明的。
不能证明的不是数学命题。

jzkyllcjl · 发表于 2021-8-4 13:26

谢芝灵发表于 2021-8-3 14:04
数学命题都是可证明的。
不能证明的不是数学命题。

谢芝灵网友：公理需要用实践的事实去说明。人们可以提出：公理1，无穷是无有穷尽的，无有终了的；公理2，无有大小的点是无法被人们点出来的。

谢芝灵 · 发表于 2021-8-4 14:19

jzkyllcjl 发表于 2021-8-4 05:26
谢芝灵网友：公理需要用实践的事实去说明。人们可以提出：公理1，无穷是无有穷尽的，无有终了的；公理2， ...

实践都是错觉。
只有人类的合逻辑才是真理。
所以合逻辑的描述是真相。

jzkyllcjl · 发表于 2021-8-5 09:39

谢芝灵发表于 2021-8-4 06:19
实践都是错觉。
只有人类的合逻辑才是真理。
所以合逻辑的描述是真相。

谢芝灵：逻辑是有法则的，这些法则的成立需要符合实践。例如：反证法依赖排中律，排中律对不可判断问题不成立。

elim · 发表于 2021-8-5 09:56

本帖最后由 elim 于 2021-8-4 19:39 编辑

jzkyllcjl 把它吃狗屎叫作实践．还要逻辑符合它．活该被人类抛弃．

谢芝灵 · 发表于 2021-8-5 10:35

jzkyllcjl 发表于 2021-8-5 01:39
谢芝灵：逻辑是有法则的，这些法则的成立需要符合实践。例如：反证法依赖排中律，排中律对不可判断问题不 ...

逻辑法则，实践必须尊重逻辑（不能违反逻辑）。
逻辑是双方公认的：合逻辑A不大于A。不合逻辑（矛盾）A大于A。
这个是前提。
你的实践能违反逻辑？
你不能拿实践中的误差去否定逻辑。

		自动登录	找回密码
密码			注册