プログラムの限界

ダイクストラは、すべての処理は順次実行と繰り返しと条件分岐で表せることを示したけど、それは裏を返せば、プログラムには順次実行と繰り返しと条件分岐しかできないということ。
たとえばゲームのルールを与えられたときに、そのルールで考えられるすべての手順について繰り返して、勝ちになるかどうか条件分岐して、勝利方法を見つけることはできるけど、そのルールを使ってイカサマをする方法をみつけることはできない。