[請益] 一階邏輯的不可判定

看板logic作者 (藍色貍貓)時間17年前 (2008/12/05 00:50), 編輯推噓1(1推 0噓 0→)
留言1則, 1人參與, 最新討論串1/4 (看更多)
要如何證明? 和停機問題有關係嗎? 謝謝 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 118.169.235.148
推
12/06 02:42, , 1F
ㄜ…有關 只是有點遠…XD
12/06 02:42, 1F
‣ 更多 Hseuler 的文章
文章代碼(AID): #19E0f9Gm (logic)
‣ 更多 Hseuler 的文章
文章代碼(AID): #19E0f9Gm (logic)