伽利略证明亚里士多德错的方法不是只是逻辑，伽利略是用假想的实验证明亚里士多德错，爱因斯坦相对论也是用这种方法

另外欧几里得几何最好说是欧几里得几何学，或就是几何学。几何学与几何不同。欧几里得发明了几何学，不是几何。中国人误解了欧几里得的成就，所以有些中国人就说中国人自古也有几何啊。但中国人没有发明几何学却是绝对逻辑正确。

所有跟帖： 

• 你以为“假想的实验”给伽利略加分吗？还“证明”讷，啥叫“证明”？请定义“证明” -ENTP- ♂ (514 bytes) () 08/21/2019 postreply 10:22:14

• 证明就是按照逻辑推理，伽利略的假想实验证明亚里士多德的理论逻辑错误 -fourwaves- ♂ (0 bytes) () 08/21/2019 postreply 10:27:42

• 证明不就是按照逻辑推理 -ENTP- ♂ (248 bytes) () 08/21/2019 postreply 10:37:01

• 不懂你的逻辑 -fourwaves- ♂ (208 bytes) () 08/21/2019 postreply 10:41:31

• 我说的是可以在现实中发生的，没说逻辑 -ENTP- ♂ (185 bytes) () 08/21/2019 postreply 10:52:03

• 你不是在说形而上学吗？我的证明定义就是依据形而上学 -fourwaves- ♂ (68 bytes) () 08/21/2019 postreply 10:56:41

• 形而上学证明需要证据 -ENTP- ♂ (131 bytes) () 08/21/2019 postreply 11:12:42

• 你连这最基本的逻辑都不懂？钻牛角尖了 -fourwaves- ♂ (281 bytes) () 08/21/2019 postreply 11:27:18

• 哈哈哈，烤一行这个你就懂了，好好，你连这最基本的逻辑都懂，恭喜你光宗耀祖啦 -ENTP- ♂ (0 bytes) () 08/21/2019 postreply 12:22:13

• 你当然没有证明 A-》C，只是你说如果而已。 -走石飞沙- ♂ (0 bytes) () 08/21/2019 postreply 19:16:45

• 不能祘是严格的逻辑推理，因为里面有很多隐含的假设， -QualityWithoutName- ♂ (0 bytes) () 08/21/2019 postreply 10:58:07

• 假设不影响逻辑推理吧，除非你能证明假设错误 -fourwaves- ♂ (0 bytes) () 08/21/2019 postreply 11:02:50

• 严格的证明，是作者本人要列出隐含的假设，解释或证明为什么成立。Burden of proof 在作者，不在读者。 -QualityWithoutName- ♂ (0 bytes) () 08/21/2019 postreply 11:46:26

• 伽利略知道什么隐含的假设？这是你说的吧 -fourwaves- ♂ (0 bytes) () 08/21/2019 postreply 11:54:50

• 所以伽利略的思想实验结论不是严格意义上的逻辑推理证明的。这也是为什么需要实证的原因。 -QualityWithoutName- ♂ (0 bytes) () 08/21/2019 postreply 12:04:38

• 你还没有说明什么是隐含的假设 -fourwaves- ♂ (0 bytes) () 08/21/2019 postreply 12:07:37

• 没有空气影响是其一。想想羽毛。 -QualityWithoutName- ♂ (0 bytes) () 08/21/2019 postreply 12:43:56

• 物体和物体和外界之间有没有别的力作用？如果有，是为什么？没有又是为什么？ -QualityWithoutName- ♂ (0 bytes) () 08/21/2019 postreply 12:49:48

• 这不是伽利略的假想实验，再读读LZ的文章 -fourwaves- ♂ (0 bytes) () 08/21/2019 postreply 12:51:18