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

[Hseuler (藍色貍貓)]

要如何證明?

和停機問題有關係嗎?

謝謝

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 118.169.235.148
推 dementia:ㄜ…有關  只是有點遠…XD