[swifthesitation]

> His incompleteness theorems meant there can be no mathematical theory of everything, no unification of what’s provable and what’s true. What mathematicians can prove depends on their starting assumptions, not on any fundamental ground truth from which all answers spring[0].

So why leave it solely to the mathematicians.

[0] https://www.quantamagazine.org/how-godels-proof-works-202007...

[anthk]

On these, you can define some paradoxes in compiler (lisp specially) by redefining predicates (functions that return either true or false). On most cases, it either returns an error, or spawns a debugger.