Perl and Undecidability

Perl and Undecidability

Adam Kennedy's PPI project focused on parsing Perl code as a document (retaining its integrity as a document), instead of parsing Perl as executable code (which not even Perl itself can always do).
It was Kennedy who first conjectured that, "parsing Perl suffers from the 'Halting Problem'.", and this was later proved.

不完備性 的結論影響了 數學哲學 以及 形式化主義（使用 形式符號 描述原理）中的一些觀點。

我們 可以將 第一定理解釋為 :「我們永遠 不能 發現一個萬能的 公理系統 能夠證明 一切數學真理，而不能 證明任何謬誤 」

以下對第二定理的另一種說法甚至更令人不安：

如果一個（強度足以 證明基本算術公理的）公理系統 可以用來證明 它自身的 相容性，那麼它是 不相容的。

http://www.jeffreykegler.com/Home/perl-and-undecidability

http://en.wikipedia.org/wiki/Undecidable_problem