3 ms·
Per the end of your article, have you started writing about the 2nd theorem yet?
by irontinkerer 6y ago
Per the end of your article, have you started writing about the 2nd theorem yet?
- dvt 6y agoI did (https://dvt.name/2018/04/11/godels-second-incompleteness-theorem-programmers/ https://dvt.name/2018/04/11/godels-second-incompleteness-the...) -- but like I mentioned, it's not very accessible and I don't think it's a particularly good explanation, either (although I've yet to find one I really like, to be honest).