Goedel is not really relevant to this. In the same way that insolubility of the halting problem doesn't prevent this message getting from my phone to hn to your

Goedel is not really relevant to this. In the same way that insolubility of the halting problem doesn't prevent this message getting from my phone to hn to your screen. Its s theoretical limit on what can be computed but we're nowhere near running up against it. (Sure, someone's phone will crash now, but they can still get back here somehow if they're that bothered).