Arithmetic Quotes - page 4
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
In Plato's Republic, when the interlocutor of Socrates appears to bring certain plausible reasons to bear upon the mathematical sciences, to show that they are useful to human life, arithmetic for reckoning, distributions, contributions, exchanges, and partnerships, geometry for sieges, the founding of cities and sanctuaries, and the partition of land, music for festivals, entertainment, and the worship of the gods, and the doctrine of the spheres, or astronomy, for farming, navigation and other undertakings, revealing beforehand the proper procedure and suitable season, Socrates, reproaching him says: "You amuse me, because you seem to fear that these are useless studies that I recommend; but that is very difficult, nay, impossible. For the eye of the soul, blinded and buried by other pursuits, is rekindled and aroused again by these and these alone, and it is better that this be saved than thousands of bodily eyes, for by it alone is the truth of the universe beheld."
Nicomachus
More evidently still astronomy attains through arithmetic the investigations that pertain to it, not alone because it is later than geometry in origin-for motion naturally comes after rest-nor because the motions of the stars have a perfectly melodious harmony, but also because risings, settings, progressions, retrogressions, increases, and all sorts of phases are governed by numerical cycles and quantities. So then we have rightly undertaken first the systematic treatment of this, as the science naturally prior, more honorable, and more venerable, and, as it were, mother and nurse of the rest; and here we will take our start for the sake of clearness.
Nicomachus
The statement is so frequently made that the differential calculus deals with continuous magnitude, and yet an explanation of this continuity is nowhere given; even the most rigorous expositions of the differential calculus do not base their proofs upon continuity but, with more or less consciousness of the fact, they either appeal to geometric notions or those suggested by geometry, or depend upon theorems which are never established in a purely arithmetic manner. Among these, for example, belongs the above mentioned theorem, and a more careful investigation convinced me that this theorem, or any one equivalent to it, can be regarded in some way as a sufficient basis for infinitesimal analysis. It then only remained to discover its true origin in the elements of arithmetic and thus at the same time to secure a real definition of the essence of continuity. I succeeded Nov. 24, 1858.
Richard Dedekind