8 Jan
2017
8 Jan
'17
12:39 p.m.
Since the Incompleteness Theorem uses the Liar Paradox, why is it called the Incompleteness Theorem and not the Incompleteness Paradox? A Theorem closes a development or debate, and calls for admiration (because the inventor did something supposedly good), whereas a Paradox opens up development and debate (since the detector has pointed at something being wrong), and delays the call for admiration of the disruptively innovative solution until it is really deserved. Best, Patrik -- Prof. Patrik Eklund Ume?? University Department of Computing Science SE-90187 Ume?? Sweden ------------------------- mobile +46 70 586 4414 website www8.cs.umu.se/~peklund [For admin and other information see: http://www.mta.ca/~cat-dist/ ]