聽起來 非歐幾何 隻是在說 自洽是依靠對定理的解釋:)
那老歌的定理在講什麽 (針對你說的公理體係)?
所有跟帖:
• Godel的不完備定理有條件,如要有基本的運算。但歐氏幾何 (Tarski公理係統)不能”定義”自然數。 -youdecide- ♂ (0 bytes) () 12/27/2023 postreply 10:49:29
• 謝謝。有時間再琢磨:) -JSL2023- ♂ (0 bytes) () 12/28/2023 postreply 20:45:12
聽起來 非歐幾何 隻是在說 自洽是依靠對定理的解釋:)
• Godel的不完備定理有條件,如要有基本的運算。但歐氏幾何 (Tarski公理係統)不能”定義”自然數。 -youdecide- ♂ (0 bytes) () 12/27/2023 postreply 10:49:29
• 謝謝。有時間再琢磨:) -JSL2023- ♂ (0 bytes) () 12/28/2023 postreply 20:45:12
WENXUECITY.COM does not represent or guarantee the truthfulness, accuracy, or reliability of any of communications posted by other users.
Copyright ©1998-2024 wenxuecity.com All rights reserved. Privacy Statement & Terms of Use & User Privacy Protection Policy