訳わからないってそれ再帰関数論だろ.
P≠NP問題とかに非常に関連が深い分野.