470b23bb7c9c44b··on Gödel and the limits of logic (2006)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