We say that the string is 'random' if there is no other representation of the string which is shorter than itself. But we will say that it is 'non-ra… - John Barrow

The advent of small, inexpensive computers with superb graphics has changed the way many sciences are practiced, and the way that all sciences present the results of experiments and calculations.

Scanning the past millennia of human achievement reveals just how much has been achieved during the last three hundred years since Newton set in motion the effective mathematization of Nature. We found that the world is curiously adapted to a simple mathematical description. It is enigma enough that the world is described by mathematics; but by simple mathematics, of the sort that a few years energetic study now produces familiarity with, this is an enigma within an enigma.

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.