"A diagram is a representamen [representation] which is predominantly an icon of relations and is aided to be so by conventions. Indices are also more or less used. It should be carried out upon a perfectly consistent system of representation, founded upon a simple and easily intelligible basic idea." (Charles S Peirce, 1903)
"[…] we can only study Nature through our senses - that is […] we can only study the model of Nature that our senses enable our minds to construct; we cannot decide whether that model, consistent though it be, represents truly the real structure of Nature; whether, indeed, there be any Nature as an ultimate reality behind its phenomena." (William C Dampier, "The Recent Development of Physical Science", 1904)
"The true mathematician is always a great deal of an artist, an architect, yes, of a poet. Beyond the real world, though perceptibly connected with it, mathematicians have created an ideal world which they attempt to develop into the most perfect of all worlds, and which is being explored in every direction. None has the faintest conception of this world except him who knows it; only presumptuous ignorance can assert that the mathematician moves in a narrow circle. The truth which he seeks is, to be sure, broadly considered, neither more nor less than consistency; but does not his mastership show, indeed, in this very limitation? To solve questions of this kind he passes unenviously over others." (Alfred Pringsheim, Jaresberichte der Deutschen Mathematiker Vereinigung Vol 13, 1904)
"[…] we can only study Nature through our senses - that is […] we can only study the model of Nature that our senses enable our minds to construct; we cannot decide whether that model, consistent though it be, represents truly the real structure of Nature; whether, indeed, there be any Nature as an ultimate reality behind its phenomena. (William C Dampier, "The Recent Development of Physical Science", 1904)
"Pythagoras says that number is the origin of all things, and certainly the law of number is the key that unlocks the secrets of the universe. But the law of number possesses an immanent order, which is at first sight mystifying, but on a more intimate acquaintance we easily understand it to be intrinsically necessary; and this law of number explains the wondrous consistency of the laws of nature. (Paul Carus, "Reflections on Magic Squares", Monist Vol. 16, 1906)
"The requisites for the axioms are various. They should be simple, in the sense that each axiom should enumerate one and only one statement. The total number of axioms should be few. A set of axioms must be consistent, that is to say, it must not be possible to deduce the contradictory of any axiom from the other axioms. According to the logical 'Law of Contradiction,' a set of entities cannot satisfy inconsistent axioms. Thus the existence theorem for a set of axioms proves their consistency. Seemingly this is the only possible method of proof of consistency. (Alfred N Whitehead, "The axioms of projective geometry, 1906)
"Pure mathematics is a collection of hypothetical, deductive theories, each consisting of a definite system of primitive, undefined, concepts or symbols and primitive, unproved, but self-consistent assumptions (commonly called axioms) together with their logically deducible consequences following by rigidly deductive processes without appeal to intuition." (Graham D Fitch, "The Fourth Dimension simply Explained", 1910)
"The critical mathematician has abandoned the search for truth. He no longer flatters himself that his propositions are or can be known to him or to any other human being to be true; and he contents himself with aiming at the correct, or the consistent. The distinction is not annulled nor even blurred by the reflection that consistency contains immanently a kind of truth. He is not absolutely certain, but he believes profoundly that it is possible to find various sets of a few propositions each such that the propositions of each set are compatible, that the propositions of each such set imply other propositions, and that the latter can be deduced from the former with certainty. That is to say, he believes that there are systems of coherent or consistent propositions, and he regards it his business to discover such systems. Any such system is a branch of mathematics." (Cassius J Keyser, Science, New Series, Vol. 35 (904), 1912)
"Since the examination of consistency is a task that cannot be avoided, it appears necessary to axiomatize logic itself and to prove that number theory and set theory are only parts of logic. This method was prepared long ago (not least by Frege’s profound investigations); it has been most successfully explained by the acute mathematician and logician Russell. One could regard the completion of this magnificent Russellian enterprise of the axiomatization of logic as the crowning achievement of the work of axiomatization as a whole. (David Hilbert, "Axiomatisches Denken" ["Axiomatic Thinking"], [address] 1917)
"If we are not content with the dull accumulation of experimental facts, if we make any deductions or generalizations, if we seek for any theory to guide us, some degree of speculation cannot be avoided. Some will prefer to take the interpretation which seems to be most immediately indicated and at once adopted as an hypothesis; others will rather seek to explore and classify the widest possibilities which are not definitely inconsistent with the facts. Either choice has its dangers: the first may be too narrow a view and lead progress into a cul-de-sac; the second may be so broad that it is useless as a guide and diverge indefinitely from experimental knowledge." (Sir Arthur S Eddington, "The Internal Constitution of the Stars Observatory", Vol. 43, 1920)
"A system of philosophy, or metaphysics, is a union of a world view and a life view in one harmonious, complete, integral conception. In so far as any man strives to attain, by rational inquiry, a consistent and comprehensive view of life and reality, he is a metaphysician." (Joseph Alexander Leighton, "Man and the Cosmos - An introduction to Metaphysics", 1922)
"To reach our goal [of proving consistency], we must make the proofs as such the object of our investigation; we are thus compelled to a sort of proof theory which studies operations with the proofs themselves. (David Hilbert, 1922)
"The axioms and provable theorems (i.e. the formulas that arise in this alternating game [namely formal deduction and the adjunction of new axioms]) are images of the thoughts that make up the usual procedure of traditional mathematics; but they are not themselves the truths in the absolute sense. Rather, the absolute truths are the insights (Einsichten) that my proof theory furnishes into the provability and the consistency of these formal systems." (David Hilbert; "Die logischen Grundlagen der Mathematik." Mathematische Annalen 88 (1), 1923)
"A science in its infancy is the least satisfactory, and, at the same time, the most profitable theme for a general description. It is the leas satisfactory because its conclusions - if we can call them conclusions are, at the best, little more than tentative summaries of observed facts, liable at any moment to be superseded by wider generalisations: the inconsequential playfulness of childhood has not given place to the graver consistency of mature age. It is the most profitable theme because it has not yet lost the quickening inspiration that alone can produce great things. It is in touch with the poetry and romance that go side by side with all true science. In its eyes still shines 'the light that never was on sea or land'." (Herbert Dingle, "Modern Astrophysics", 1924)
No comments:
Post a Comment