第九章 初等几何的实践性公理体系

jzkyllcjl

195912 发表于 2016-12-22 06:45
jzkyllcjl:
     68楼,先生说"希尔伯特的20条公理中的许多公理就变成定理了。"
     任何一种严密的科学 ...

希尔伯特与罗巴切夫斯基都是形式主义者， 欧几里德讲了直线概念，可是希尔伯特不讲。只要从实践出发，他的许多公理就可以 在实践中被证明。具体例子可看1楼的点击文件。 不仅能如此，笔者还在理论联系实践的意义下，消除了它的不同公理体系之间的矛盾。 例如，罗巴切夫斯基的平行公理是在有限大平面内成立的公理，而欧几里德性质的平行公理是在直线可以无限延长的公设2之下用极限方法推出的。不需要把它作为公理，而应作为定理。

jzkyllcjl

195912 发表于 2016-12-22 06:45
jzkyllcjl:
     68楼,先生说"希尔伯特的20条公理中的许多公理就变成定理了。"
     任何一种严密的科学 ...

希尔伯特与罗巴切夫斯基都是形式主义者， 欧几里德讲了直线概念，可是希尔伯特不讲。只要从实践出发，他的许多公理就可以 在实践中被证明。具体例子可看1楼的点击文件。 不仅能如此，笔者还在理论联系实践的意义下，消除了它的不同公理体系之间的矛盾。 例如，罗巴切夫斯基的平行公理是在有限大平面内成立的公理，而欧几里德性质的平行公理是在直线可以无限延长的公设2之下用极限方法推出的。不需要把它作为公理，而应作为定理。

195912

jzkyllcjl先生:
        68楼,先生说"希尔伯特的20条公理中的许多公理就变成定理了。"的意境，与84楼的解说并不一致。
68楼说:
       " 在给出的点、直线、平面、射线的定义之后，希尔伯特的20条公理中的许多公理就变成定理了。 数学理论需要与实践相容，纯公理体系本身的相容性 无法用体系本身证明。 所以，1楼的点击文件是需要的。"
84楼说:
        "希尔伯特与罗巴切夫斯基都是形式主义者， 欧几里德讲了直线概念，可是希尔伯特不讲。只要从实践出发，他的许多公理就可以 在实践中被证明。具体例子可看1楼的点击文件。 不仅能如此，笔者还在理论联系实践的意义下，消除了它的不同公理体系之间的矛盾。 例如，罗巴切夫斯基的平行公理是在有限大平面内成立的公理，而欧几里德性质的平行公理是在直线可以无限延长的公设2之下用极限方法推出的。不需要把它作为公理，而应作为定理。"
      先生的理论不可持续,名不正,言不顺.

jzkyllcjl

195912 发表于 2016-12-22 08:42
jzkyllcjl先生:
        68楼,先生说"希尔伯特的20条公理中的许多公理就变成定理了。"的意境，与84楼的解 ...

我68楼与84楼的叙述是一致的。 欧几里德原本虽然有缺点，但讲了直线概念，希尔伯特不联系实际，只讲公理，结果得出不同的相互矛盾的公理体系，造成应用上“不知该用哪个体系”的问题。我1楼的点击文件解决了这个问题。   

195912

jzkyllcjl先生:
     欧几里德，希尔伯特和罗巴切夫斯基，jzkyllcjl跨越时空的对话，jzkyllcjl不受时空制约，解释了"在(jzkyllcjl)给出的点、直线、平面、射线的定义之后，希尔伯特的20条公理中的许多公理就变成定理了".这样说似乎解释不了"公理变定理"。于是有"欧几里德性质的平行公理是在直线可以无限延长的公设2之下用极限方法推出的。不需要把它作为公理，而应作为定理。"即使这样与"许多公理"也没有联系。

jzkyllcjl

195912 发表于 2016-12-22 09:42
jzkyllcjl先生:
     欧几里德，希尔伯特和罗巴切夫斯基，jzkyllcjl跨越时空的对话，jzkyllcjl不受时空制 ...

我看了李云普的《几何基础》，看到欧几里德的公设2（直线可以无限延长）与公设5的两千多年的研究与争论，看到普累菲尔提出的与第五公设等价的公理Ⅴ，又看到罗巴切夫斯基在无法证明公理Ⅴ的情况下提出的珞巴切分音斯基公理，我又看到数学分析中广义极限，看到切线是割线的极限位置的说法等许多学习之后，才萌生了结合实际根据公设2，提出点、线、面的极限概念之后，才在这个理论联系实际的体系之下 首先证明了罗霸气夫斯基公理是对有限平面内的成立的定理，然后又证明了公理Ⅴ。从而使这些相互矛盾的公理处在同一个现实世界的不同意义之下。详细论述 请参看1楼的点击文件。在那里画了图提出了好几个定义性质之后才提出定理。它不是一两句话可以说清的把问题。 我不是反对前人的一切研究，而是吸收了两千多年的第五公设的各种研究之后，又吸收了近代的极限思想之后的研究结果。 特别需要指出的是：我吸收了欧几里德的公设2，而希尔伯特把公设2置若罔闻，他得出的是几种相互矛盾的公理体系，而我得到的是相容的定理。

elim

老头说话结合了他痴呆的实际，所以其书著泡汤．

195912

jzkyllcjl先生:
         88楼先生用
         "他得出的是几种相互矛盾的公理体系 ,而我得到的是相容的定理."
         也就是说，先生的理论是根据相互矛盾的公理体系，而推导出的定理。
         公理体系矛盾，根据矛盾的公理体系而推导出的定理不矛盾，这样的说法特有创意。

jzkyllcjl

195912 发表于 2016-12-23 01:00
jzkyllcjl先生:
         88楼先生用
         "他得出的是几种相互矛盾的公理体系 ,而我得到的是相容的 ...

不对，你没有看我1楼的点击论文。你是瞎说、是瞎想、我不是“根据相互矛盾的公理体系，而推导出的定理。” 我是 根据欧几里德公设2的思想，提出点、直线、平面的概念之后，推出 罗巴切夫斯基平行公理与普雷菲尔公理 都是可以证明的定理，而且这两个矛盾的公理是在不同前提下的定理。
对第五公设争论了两千多年后，普雷菲尔提出了与其等价的公理，罗巴切夫斯基在无法证明普雷菲尔公理的情况下提出了非欧定理，其实在欧几里德的公理2、公理1之下可以使用广义极限（即趋向性事物）的方法证明普雷菲尔公理。 我就是这样做的。 对欧几里德第五公设，许多人进行研究，我也可以研究，不要否定我的研究权利。 不要不看论文就瞎想、瞎猜。

195912

jzkyllcjl先生:
        数学的任一公理体系，没有不文明文字，不文明符号，领教了先生的教养。