The problem is much simpler: logical systems are undecidable, and the Liar's Paradox is the logic analogue of infinite loops. But this does require you understand logic as a process (something people do) rather than having weird dualistic notions about natural laws of logic.