2
Bahasa total yang hanya dapat diterjemahkan oleh bahasa Turing yang lengkap
Bahasa apa pun yang tidak lengkap Turing tidak dapat menulis penerjemah untuk itu sendiri. Saya tidak tahu di mana saya membaca itu tetapi saya telah melihatnya digunakan beberapa kali. Sepertinya ini memunculkan semacam bahasa "Turing" non-Turing lengkap; satu-satunya yang hanya bisaditafsirkan oleh mesin Turing. Bahasa-bahasa ini tidak harus mampu menghitung …