Goedel's results imply some surprising and counterintuitive things about our formal models of computability: https://johncarlosbaez.wordpress.com/2016/04/02/com

Goedel's results imply some surprising and counterintuitive things about our formal models of computability: https://johncarlosbaez.wordpress.com/2016/04/02/computing-the-uncomputable/ https://johncarlosbaez.wordpress.com/2016/04/02/computing-th...