470b23bb7c9c44b
470b23bb7c9c44b on Hacker News
Re:Gödel and the limits of logic (2006)
on Tuesday March 14, 2017 @06:29AM (#13866357)
Why have I never had to debug a Gödel paradox in my day-to-day programming? Is it because of types? Finite memory? Can someone enlighten me? Thanks