パラコンシステントなプログラミング言語「Yesno」

http://www.radiumsoftware.com/0704.html#070426
[program][ネタ]
矛盾を許さない論理学を超えるために考え出された、矛盾の存在を許す論理学(その為に正確性は犠牲にされる)をベースとして生みだされたプログラミング言語の一つ。その性質上、このプログラム言語を利用すれば、停止判定問題すら解くことが出来るという。


この例では "5 * 5 * 5" の停止性を判定して返す。このように,与えられたコードが即座に停止するものであれば "{true}" が結果として返される。
あるいは即座に停止するものでなければ "{true, false}" が返される。つまり、「停止するか,しないか,そのいずれかです」。