advanced
計算理論におけるチャーチ・チューリングのテーゼ
計算可能性とアルゴリズムの限界について、形式言語理論の観点から考察する。
📝 提示内容
チャーチ・チューリングのテーゼについて詳細に論じ、チューリングマシンとラムダ計算の等価性を証明せよ。さらに、決定不能な問題（停止問題など）が存在することを対角線論法を用いて示し、計算の限界について考察せよ。