0

Halting detector
Choose a Turing complete language and write a program in this language that, given a program in 1TB, decide whether it halts.
Your program would likely be more than 1TB, which results in transferring difficulty1. Therefore, you only need to show your construction and prove your c...