Computer Quotes - page 26
Unfortunately, truth is neither a listable nor a decidable property; nor is the truth of a statement of arithmetic. The American logician John Myhill has used the term 'prospective' to characterize those attributes of the world that are neither listable nor decidable. They are properties that cannot be recognized by the application of some formula, made to conform to a rule, or generated by some computer program. They are characterized by incessant novelty that cannot be encompassed by any finite set of rules. 'Beauty', 'ugliness', 'truth', 'harmony', simplicity', and 'poetry' are names we give to some of the attributes of this sort. There is no way of listing all examples of beauty or ugliness, nor any procedure for saying whether or not something possesses either of those attributes, without redefining them in some more restrictive fashion that kills their prospective character.
John D. Barrow