Yeah the whole thing is also way to handwavy when it comes to computational complexity of the encodings. It also somehow simultaneously assumes the church turi

Yeah the whole thing is also way to handwavy when it comes to computational complexity of the encodings. It also somehow simultaneously assumes the church turing thesis, the existence of non computable reals and arbitrary functions over them at the same time...