私の理解では、十分に単純な機能について、
function(boolean input){
while(input){
}
}
可能な入力に対して停止するかどうかを知ることができます。
上記の関数が forfalseで終了し、 for true. It's only impossible to solve the halting problem for an arbitrary functionf , as of course you can evaluatehaltingFinder(haltingFinder)` で終了しないことは簡単にわかり、本質的にパラドックスが生じます。
私の理解は正しいですか？