好論：）可以試一下看能不能用在這個歌德爾版本中。他也是用數理邏輯推理：）

來源: JSL2023 於 2024-03-27 17:44:19 [] [舊帖] [給我悄悄話] 本文已被閱讀： 次 (117 bytes)

所有跟帖： 

• 謝謝捧場！Goedel其實用的是二階模態邏輯。這周末有空去研究一下。：） -露重煙微- ♀ 給 露重煙微 發送悄悄話 (0 bytes) () 03/27/2024 postreply 18:33:00

請您先登陸，再發跟帖！

發現Adblock插件

如要繼續瀏覽
請支持本站 請務必在本站關閉/移除任何Adblock

關閉Adblock後 請點擊

請參考如何關閉Adblock/Adblock plus

安裝Adblock plus用戶請點擊瀏覽器圖標
選擇“Disable on www.wenxuecity.com”

安裝Adblock用戶請點擊圖標
選擇“don't run on pages on this domain”