#truth

"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."

quotekg

React to this quote

More by John D. Barrow

See all

“Copernicus' picture did more than picture the solar system correctly: it painted a new world picture.”

“Where there is life there is a pattern, and where there is a pattern there is mathematics. Once that germ of rationality and order exists to turn a chaos into a cosmos, then so does mathematics. There could not be a non-mathematical Universe containing living observers.”

“While we have no reason to expect that our position in the universe is special in every way, we would be equally misled were we to assume that it could not be special in any way.”

“Gods reappear in unlimited numbers in the guise of the simulators who have the power of life and death over the simulated realities that they bring into being. The simulators determine the laws, and can change the laws, that govern their worlds. They can engineer anthropic fine-tunings. They can pull the plug on the simulation at any moment, intervene or distance themselves from their simulation; watch as the simulated creatures argue about whether there is a god who controls or intervenes, work miracles or impose their ethical principles upon the simulated reality.”

“The abstractions of Einstein's curved space and time gave rise to analogies and pictures that played a new explanatory role. Space and time gave way to space-time, visible light was augmented by images across the rest of the electromagnetic spectrum, and we realised that we could see back towards the apparent beginnings of time.”

“The Indian system of counting is probably the most successful intellectual innovation ever devised by human beings. It has been universally adopted. ...It is the nearest thing we have to a universal language.”