この主張自体はチャーチ、チューリング、ポストの論文を参照して1943年にクリーネによってなされた.
、ポストの