Church–Turing thesis
チューリング完全性に関する重要なトピックとして、チャーチ＝チューリングのテーゼが挙げられる。