Random link from the archives: https://dvt.name/2018/04/11/godels-second-incompleteness-theorem-programmers/ originally archived Thu Apr 12 11:47:05 EDT 2018