loqi comments on Attempts to work around Goedel’s theorem by using randomness

[loqi]

Indeed. For me, cryptographic hashing is the most salient example of this. Software like git builds entire castles on the probabilistic certainty that SHA-1 hash collisions never happen.