哥德爾說得是有些數學係統,一階邏輯是完備的。
所有跟帖:
•
咦,我這句話哪裏談到一階?邏輯功能不宜誇大,邏輯是工具一種,功能有限,不能獨立用來解決5大類問題。
-dhyang_wxc-
♂
(170 bytes)
()
11/06/2023 postreply
05:38:41
•
一階邏輯是形式邏輯的一種。對咱一般人來說,最大的功能限製就是沒學以及沒學好。
-露重煙微-
♀
(0 bytes)
()
11/06/2023 postreply
07:34:00
•
第一, 請定義什麽叫誇大? 第二, 有什麽東西可以獨立解決“5大類問題”?
-SwiperTheFox-
♂
(0 bytes)
()
11/06/2023 postreply
08:00:49