Jelaskan Teorema Church-Turing dan implikasinya terhadap batasan komputasi. Apa yang dimaksud dengan masalah yang dapat diputuskan dan tidak dapat diputuskan? Bagaimana teori kompleksitas komputasional mengklasifikasikan masalah berdasarkan kesulitan algoritmik, dan apa konsekuensinya untuk kemungkinan komputasi masalah-masalah nyata?