The charming naïveté of an IEEE standard 17 April 20145 October 2011 by Bertrand Meyer Naïve misunderstanding of basic undecidability results is common; it is touchingly refreshing to find it in an IEEE standard.