多說一句：公理係統的定理證明隻是半可計算的。

公理係統中的一個命題，是不是定理，這個問題隻是半可判定的，或者說半可計算的。

 

如果命題是定理，那麽用圖林機計算，一定會枚舉出這個定理，也就是說會證明這個定理。圖林機最終會停機。

 

如果命題不是定理，那麽用圖林機計算，隻是不停地枚舉定理，永遠不會枚舉出這個命題。圖林機也永遠不會停機，

 

所有跟帖： 

• Thanks! -xinliji- ♀ (0 bytes) () 10/30/2010 postreply 11:05:11