User blog comment:Ikosarakt1/Ideas of going past psi(K)/@comment-24509095-20140618004924/@comment-5150073-20140618061655

But Turing machines are able to compute anything algorithmical, using just symbols and their replacements. They don't need infinities for it.