"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."
Quote Details
Added by wikiquote-import-bot
Unverified quote
0 likes
University of Cambridge facultyMathematicians from EnglandScience authorsCosmologistsPhysicists from England
Original Language: English
Available Languages (1)
Sources
Ch. 5, pp. 219-220
https://en.wikiquote.org/wiki/John_D._Barrow
Revision History
No revisions have been submitted for this quote.
Categories
John D. Barrow
John David Barrow, FRS (November 29, 1952 – September 27, 2020) was an English cosmologist, theoretical physicist, mathematician, writer of popular science, and an amateur playwright.
57 quotes on TrueQuotesView all quotes by John D. Barrow →
Related Quotes
"Life, like science and art, is a theory about the world: a theory that in our case takes bodily form. By a succession…"
"The laws of Nature are based upon the existence of a pattern, linking one state of affairs to another; and where ther…"
"Hundreds of years ago, natural theologians tried to impress their readers with stories of the wondrous symmetries of …"
"Ancient belief in a cosmos composed of spheres, producing music as angels guided them through the heavens, was still …"
"If a 'religion' is defined to be a system of ideas that contains unprovable statements, then Gödel taught us that mat…"
"A less inflexible picture of mathematics is one that focuses on the fact that it is an open-ended human activity. Inv…"
"Our sensitivity to changes of pitch ... is underused in musical sound. Western music, in particular, is based on scal…"
"Where there is life there is a pattern, and where there is a pattern there is mathematics. Once that germ of rational…"
"Highly correlated brown and black noise patterns do not seem to have seem to have attractive counterparts in the visu…"
"If musical appreciation is a by-product of a more general pattern-processing propensity of the brain, then why are ou…"