loqi comments on Attempts to work around Goedel's theorem by using randomness - Less Wrong

8 Post author: cousin_it 25 April 2011 02:18PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (17)

You are viewing a single comment's thread. Show more comments above.

Comment author: loqi 25 April 2011 07:42:18PM 1 point [-]

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.