Fuzzy logic
ファジィ部分集合の帰納的可算性についての提案された観念が適正なものだとしても、ファジィ論理についてチャーチ＝チューリングのテーゼが成り立つかどうかは未解決の問題である。そのためには、ファジィ文法やファジィ・チューリングマシンのさらなる研究が必要である。さらにその先にある未解決の問題として、ゲーデルの定理群のファジィ論理向けの拡張がある。