Quotes about verification

A collection of quotes on the topic of verification, science, use, method.

Quotes about verification

“What I know at sixty, I knew as well at twenty. Forty years of a long, a superfluous, labor of verification.”

Emil M. Cioran book The Trouble With Being Born

The Trouble With Being Born (1973)
Source: The Trouble with Being Born

“All content of science, and also their protocol statements that are used for verification, are selected on the basis of decisions and can be altered in principle.”

Otto Neurath (1882–1945) austrian economist, philosopher and sociologist

Otto Neurath (1934:102), as cited in: Cartwright (2008;199)
1930s

Decision, Science

“A work of art bears within itself its own verification: conceptions which are devised or stretched do not stand being portrayed in images, they all come crashing down, appear sickly and pale, convince no one. But those works of art which have scooped up the truth and presented it to us as a living force — they take hold of us, compel us, and nobody ever, not even in ages to come, will appear to refute them.”

Aleksandr Solzhenitsyn (1918–2008) Russian writer

Nobel lecture (1970)

Truth, Age, Art, Appearance

“The man of science has learned to believe in justification, not by faith, but by verification.”

Thomas Henry Huxley (1825–1895) English biologist and comparative anatomist

On the advisableness of improving natural knowledge (1866) http://www.gutenberg.org/dirs/etext01/thx1410.txt <br class="br">1860s <br class="br">Source: Collected Essays of Thomas Henry Huxley <br class="br">Context: The improver of natural knowledge absolutely refuses to acknowledge authority, as such. For him, scepticism is the highest of duties; blind faith the one unpardonable sin. And it cannot be otherwise, for every great advance in natural knowledge has involved the absolute rejection of authority, the cherishing of the keenest scepticism, the annihilation of the spirit of blind faith; and the most ardent votary of science holds his firmest convictions, not because the men he most venerates hold them; not because their verity is testified by portents and wonders; but because his experience teaches him that whenever he chooses to bring these convictions into contact with their primary source, Nature — whenever he thinks fit to test them by appealing to experiment and to observation — Nature will confirm them. The man of science has learned to believe in justification, not by faith, but by verification.

Faith, Learning, Science

“My work in the future must be devoted entirely to pure mathematics in its abstract meaning. I shall apply all my strength to bring more light into the tremendous obscurity which one unquestionably finds in analysis. It lacks so completely all plan and system that it is peculiar that so many have studied it. The worst of it is, it has never been treated stringently. There are very few theorems in advanced analysis which have been demonstrated in a logically tenable manner. Everywhere one finds this miserable way of concluding from the special to the general, and it is extremely peculiar that such a procedure has led to do few of the so-called paradoxes. It is really interesting to seek the cause.
In analysis, one is largely occupied by functions which can be expressed as powers. As soon as other powers enter—this, however, is not often the case—then it does not work any more and a number of connected, incorrect theorems arise from false conclusions. I have examined several of them, and been so fortunate as to make this clear. …I have had to be extremely cautious, for the presumed theorems without strict proof… had taken such a stronghold in me, that I was continually in danger of using them without detailed verification.”

Niels Henrik Abel (1802–1829) Norwegian mathematician

Letter to Christoffer Hansteen (1826) as quoted by Øystein Ore, Niels Henrik Abel: Mathematician Extraordinary (1957) & in part by Morris Kline, Mathematical Thought from Ancient to Modern Times (1972) citing Œuvres, 2, 263-65

Way, Mathematics, Study, Light

“A man who makes assertions, or draws conclusions, regarding any given case, ought to be competent to investigate it. He has no right to throw the onus on others, declaring it their duly to prove him right or wrong. His duty is to demonstrate the truth of that which he asserts, or to cease from asserting. The men he calls upon to consider and judge have enough to do with themselves, in the examination, correction, or verification of their own views. The world little knows how many of the thoughts and theories which have passed through the mind of a scientific investigator have been crushed in silence and secrecy by his own severe criticism and adverse examination; that in the most successful instances not a tenth of the suggestions, the hopes, the wishes, the preliminary conclusions have been realized.”

Michael Faraday book Experimental researches in chemistry and physics

"Observations on Mental Education" (May 6, 1854) a lecture before His Royal Highness The Prince Consort and the Members of the Royal Institution, Lectures on Education (1855) as quoted in Faraday's Experimental Researches in Chemistry and Physics (1859) p. 486. https://books.google.com/books?id=AUwNAAAAYAAJ&pg=PA486

Drawing, Success, Silence, Hope

“Science is a system of statements based on direct experience, and controlled by experimental verification. Verification in science is not, however, of single statements but of the entire system or a sub-system of such statements.”

Rudolf Carnap (1891–1970) German philosopher

Source: The unity of science, 1934/1995, p. 42

Science

“We shall see that the mathematical treatment of the subject [of electricity] has been greatly developed by writers who express themselves in terms of the 'Two Fluids' theory. Their results, however, have been deduced entirely from data which can be proved by experiment, and which must therefore be true, whether we adopt the theory of two fluids or not. The experimental verification of the mathematical results therefore is no evidence for or against the peculiar doctrines of this theory.”

James Clerk Maxwell book A Treatise on Electricity and Magnetism

A Treatise on Electricity and Magnetism (1873), §36.

Mathematics

“If an event really happened which was not a part of the uniformity of nature, it would have two properties: no evidence could give the right to believe it to any except those whose actual experience it was; and no inference worthy of belief could be founded upon it at all.
Are we then bound to believe that nature is absolutely and universally uniform? Certainly not; we have no right to believe anything of this kind. The rule only tells us that in forming beliefs which go beyond our experience, we may make the assumption that nature is practically uniform so far as we are concerned. Within the range of human action and verification, we may form, by help of this assumption, actual beliefs; beyond it, only those hypotheses which serve for the more accurate asking of questions.”

William Kingdon Clifford (1845–1879) English mathematician and philosopher

The Ethics of Belief (1877), The Limits Of Inference

Question, Nature, Universe, Help

“Grosseteste appears to have been the first medieval writer to recognize and deal with the two fundamental methodological problems of induction and experimental verification and falsification which arose when the Greek conception of geometrical demonstration was applied to the world of experience. He appears to have been the first to set out a systematic and coherent theory of experimental investigation and rational explanation by which the Greek geometrical method was turned into modern experimental science. As far as is known, he and his successors were the first to use and exemplify such a theory in the details of original research into concrete problems.”

Alistair Cameron Crombie (1915–1996) Australian zoologist, historian of science

Robert Grosseteste and the Origins of Experimental Science 1100-1700 (1953)

World, Problem, Appearance, Science

“The function of logical analysis is to analyse all knowledge, all assertions of science and of everyday life, in order to make clear the sense of each such assertion and the connections between them. One of the principal tasks of the logical analysis of a given proposition is to find out the method of verification for that proposition.”

Rudolf Carnap (1891–1970) German philosopher

Rudolf Carnap (1935) Philosophy and Logical Syntax. p. 9-10

Life, Knowledge, Sense, Science

“What I affirm is the intuition that where God's presence is no longer a tenable supposition and where His absence is no longer a felt, indeed overwhelming weight, certain dimensions of thought and creativity are no longer attainable. And I would vary Yeats's axiom so as to say: no man can read fully, can answer answeringly to the aesthetic, whose "nerve and blood" are at peace in sceptical rationality, are now at home in immanence and verification. We must read as if.”

George Steiner (1929–2020) American writer

Source: Real Presences (1989), III: Presences, Ch. 7 (p. 229).

God, Peace, Home, Reading

“One finds in this subject a kind of demonstration which does not carry with it so high a degree of certainty as that employed in geometry; and which differs distinctly from the method employed by geometers in that they prove their propositions by well-established and incontrovertible principles, while here principles are tested by inferences which are derivable from them. The nature of the subject permits of no other treatment. It is possible, however, in this way to establish a probability which is little short of certainty. This is the case when the consequences of the assumed principles are in perfect accord with the observed phenomena, and especially when these verifications are numerous; but above all when one employs the hypothesis to predict new phenomena and finds his expectations realized.”

Christiaan Huygens book Treatise on Light

Treatise on Light (1690) - preface, Translated by Michael R. Matthews, Scientific Background to Modern Philosophy. 1989. p. 126

Way, Nature, Perfection

“Once the generality of the phenomenon has been established, one can, by showing its utility, confirm the results of the first method. We may, therefore, formulate the three following rules:
# A social fact is normal, in relation to a given social type at a given phase of its development, when it is present in the average society of that species at the corresponding phase of its evolution.
# One can verify the results of the preceding method by showing that the generality of the phenomenon is bound up with the general conditions of collective life of the social type considered.
# This verification is necessary when the fact in question occurs in a social species which has not yet reached the full course of its evolution.”

Émile Durkheim (1858–1917) French sociologist (1858-1917)

Source: Rules of Sociological Method, 1895, p. 64

Life, Question

“Robert [Grosseteste] became much interested in science and scientific method … He was conscious of the dual approach by means of induction and deduction (resolution and composition); i. e., from the empirical knowledge one proceeds to probable general principles, and from these as premises one them derives conclusions which constitute verifications or falsifications of the principles. This approach to science was not that far removed from Aristotle …”

Carl B. Boyer (1906–1976) American mathematician

Source: The Rainbow: From Myth to Mathematics (1959), p. 88

Knowledge, Science

“It is, therefore, possible to extend a partially specified interpretation to a complete interpretation, without loss of verifiability, […] This fact offers the possibility of automatic verification of programs, the programmer merely tagging entrances and one edge in each innermost loop.”

Robert Floyd (1936–2001) American computer scientist

Source: Assigning Meanings to Programs http://www.cs.virginia.edu/~weimer/2007-615/reading/FloydMeaning.pdf (1967), p. 25.

Loss

“Today we face a problem that involves two difficult to satisfy conditions. On the one hand we have to find a way for computer assisted verification of mathematical proofs. This is necessary, first of all, because we have to stop the dissolution of the concept of proof in mathematics. On the other hand, we have to preserve the intimate connection between mathematics and the world of human intuition. This connection is what moves mathematics forward and what we often experience as the beauty of mathematics.”

Vladimir Voevodsky (1966–2017) Russian mathematician

UniMath by Vladimir Voevodsky, Heidelberg Laureate Forum, Sept. 22, 2016, Heidelberg https://www.math.ias.edu/vladimir/sites/math.ias.edu.vladimir/files/2016_09_22_HLF_Heidelberg.pdf p. 3

World, Beauty, Way, Mathematics

“Mr. Herschel … brought with him the calculations of the computers, and we commenced the tedious process of verification. After a time many discrepancies occurred, and at one point these discordances were so numerous that I exclaimed, "I wish to God these calculations had been executed by steam," to which Herschel replied, "It is quite possible."”

Charles Babbage (1791–1871) mathematician, philosopher, inventor and mechanical engineer who originated the concept of a programmable c…

Babbage in November 1839, recalling events in 1821; quoted in Harry Wilmot Buxton and Anthony Hyman (1988), Memoir of the Life and Labours of the Late Charles Babbage. "Computers" here refers to people calculating by hand.

God, Time

“A semantic definition of a particular set of command types, then, is a rule for constructing, for any command of one of these types, a verification condition on the antecedents and consequents.”

Robert Floyd (1936–2001) American computer scientist

Source: Assigning Meanings to Programs http://www.cs.virginia.edu/~weimer/2007-615/reading/FloydMeaning.pdf (1967), p. 21 [italics in original, math symbols omitted].

“To challenge and to cope with this paradoxical state of things, we need a paradoxical way of thinking; since the world drifts into delirium, we must adopt a delirious point of view. We must no longer assume any principle of truth, of causality, or any discursive norm. Instead, we must grant both the poetic singularity of events and the radical uncertainty of events. It is not easy. We usually think that holding to the protocols of experimentation and verification is the most difficult thing. But in fact the most difficult thing is to renounce the truth and the possibility of verification, to remain as long as possible on the enigmatic, ambivalent, and reversible side of thought.”

Jean Baudrillard (1929–2007) French sociologist and philosopher

The Vital Illusion (2000) "The Murder of the Real". Wellek Library Lectures given May 1999 at the University of California, Irvine
New millennium

Truth, World, Way, Thinking

“The realization of the pathetic frailty of the knowledge or beliefs on which our life depends thus leads not to despair but to open-eyed courage. But it also points to a most intimate connection between scientific method and liberal civilization. Science is not, as is popularly conceived, a new set of dogmas taught by a newer and better set of priests called scientists. It is rather a method which is based on a critical attitude to all plausible and self-evident propositions. It seeks not to reject them, but to find out what evidence there is to support them rather than their possible alternatives. This open eye for possible alternatives, each to receive the same logical treatment before we can determine which is the better grounded, is the essence of liberalism in art, morals, and politics.... Like science, liberalism insists on a critical examination of the content of all our beliefs, principles, or initial hypotheses and on subjecting them to a continuous process of verification so that they will be progressively better founded in experience and reason.”

Morris Raphael Cohen (1880–1947) American philosopher

Language in Thought and Action, p. 271, (1939), S.I. Hayakawa

Life, Art, Courage, Support

“A certain region in the field becomes crucial, is focused; but it does not become isolated. A new, deeper structural view of the situation develops, involving changes in functional meaning, the grouping, etc. of the items. Directed by what is required by the structure of a situation for a crucial region, one is led to a reasonable prediction, which like the other parts of the structure, calls for verification, direct or indirect. Two directions are involved: getting a whole consistent picture, and seeing what the structure of the whole requires for the parts.”

Max Wertheimer (1880–1943) Co-founder of Gestalt psychology

p 212
Productive thinking, 1945

Change, Parting

“The subversive character of truth inflicts upon thought an imperative quality. Logic centers on judgments which are, as demonstrative propositions, imperatives, — the predicative “is” implies an “ought.” … Verification of the proposition involves a process in fact as well as in thought: (S) must become that which it is. The categorical statement thus turns into a categorical imperative; it does not state a fact but the necessity to bring about a fact. For example, it could be read as follows: man is not (in fact) free, endowed with inalienable rights, etc., but he ought to be.”

Herbert Marcuse book One-Dimensional Man

Source: One-Dimensional Man (1964), pp. 132-133

Truth, Reading

“An important object of the Journal should be the publication of papers dealing with attempts at statistical verification of the laws of economic theory, and further the publication of papers dealing with the purely abstract problems of quantitative economics, such as problems in the quantitative definition of the fundamental concepts of economics and problems in the theory of economic equilibrium.
The term equilibrium theory is here interpreted as including both the classical equilibrium theory proceeding on the lines of Walras, Pareto, and Marshall, and the more general equilibrium theory which is now beginning to grow out of the classical equilibrium theory, partly through the influence of the modern study of economic statistics. Taken in this broad sense the equilibrium problems include virtually all those fundamental problems of production, circulation, distribution and consumption, which can be made the object of a quantitative study. More precisely: The equilibrium theory in the sense here used is a body of doctrines that treats all these problems from a certain point of view, which is contrasted on one side with the verbal treatment of economic problems and on the other side with the purely empirical-statistical approach to economic problems”

Ragnar Frisch (1895–1973) Norwegian economist

Frisch (1927). as quoted in: Bjerkholt, Olav, and Duo Qin. A Dynamic Approach to Economic Theory: The Yale Lectures of Ragnar Frisch. Routledge, 2010: About "Oekonometrika"
1920

Law, Problem, Sense, Study

“Even perfect program verification can only establish that a program meets its specification. [… ] Much of the essence of building a program is in fact the debugging of the specification.”

Fred Brooks No Silver Bullet

Page 195.
No Silver Bullet (1986)

Perfection

“Since many propositions in the Great Conversation have not been arrived at by experiment … or empirical verification, we often hear that the Conversation, though perhaps interesting to the antiquarian as setting forth the bizarre superstitions entertained by "thinkers" before the dawn of experimental science, can have no relevance to us now, when experimental science and its methods have at least revealed these superstitions for what they are.”

Robert Maynard Hutchins (1899–1977) philosopher and university president

Great Books: The Foundation of a Liberal Education (1954)

Science

“Enlightenment … asks, innocently and subversively, for proofs, sources, and evidence. At the beginning it solemnly avers that it would willingly believe everything, if only it could find someone to convince it. Here it becomes clear that the biblical texts, taken philologically, remain themselves their only witness. Their revelatory character is their own claim, and it can be believed or not; the church, which elevates this revelatory character to the status of a grand dogma, itself plays only the role of an interpreter. With his radical biblicism, Luther rejected the church’s claim to authority. This repudiation then repeats itself on the higher level through biblicism itself. For text remains text, and every assertion that it is divinely inspired can, in turn, be only a human, fallible assertion. With every attempt to grasp the absolute source, critique comes up against relative, historical sources that only ever assert the Absolute. The miracles spoken about in the Bible to legitimate God’s power are only reports of miracles for which there are no longer any means of verification. The revelatory claim is stuck in a philological circle.”

Peter Sloterdijk (1947) German philosopher

Source: Kritik der zynischen Vernunft [Critique of Cynical Reason] (1983), p. 24

God

“I was educated at Cambridge. How admirable is the Western method of submitting all theory to scrupulous experimental verification! That procedure has gone hand in hand with the gift for introspection which is my Eastern heritage. Together they have enabled me to sunder the silences of natural realms long uncommunicative. The telltale charts of my crescograph 2 are evidence for the most skeptical that plants have a sensitive nervous system and a varied emotional life. Love, hate, joy, fear, pleasure, pain, excitability, r, and countless appropriate responses to stimuli are as universal in plants as in animals.”

Jagadish Chandra Bose (1858–1937) Bengali polymath, physicist, biologist, botanist and archaeologist

India's Great Scientist, J.C. Bose

Love, Life, Pain, Hate

“My country, Macedonia, is on Greece’s northern border and feeling the full force of the migrant crisis. We are facing innumerable illegal entries, the destruction of state and private property, the use of counterfeit passports and violence against security forces on the border — all of this by migrants intending to avoid registration and the verification of who actually has a right to asylum.”

Gjorge Ivanov (1960) President of Macedonia

Feeling, Country

“Every sentence in order to have definite scientific meaning must be practically or at least theoretically verifiable as either true or false upon the basis of experimental measurements either practically or theoretically obtainable by carrying out a definite and previously specified operation in the future. The meaning of such a sentence is the method of its verification.”

Walter A. Shewhart (1891–1967) American statistician

Source: Statistical Method from the Viewpoint of Quality Control, 1939, p. 94

Future, Falseness

“There is … no first person plural to the verb "cogito." Observation, verification, and inference are functions which are perfected only in their independent individual exercise. I am not unmindful of the importance of the corroboration of one mind by another; but such corroboration is valuable only in so far as both minds have reached their results alone. Corroboration implies the absence of collusion. The devotee of the intellect must, then, have the strength to work alone.”

Ralph Barton Perry (1876–1957) American philosopher

The Integrity of the Intellect (July 1920)

Exercises, Personality, Perfection

“If science were nothing more than the best means of teaching the love of the simple fact, the indispensable need of verification, of careful and accurate observation and statement, its value would be of the highest order.”

John Lancaster Spalding (1840–1916) Catholic bishop

Source: Aphorisms and Reflections (1901), p. 148

Love, Science

“Grosseteste's contribution was to emphasize the importance of falsification in the search for true causes and to develop the method of verification and falsification into a systematic method of experimental procedure.”

Alistair Cameron Crombie (1915–1996) Australian zoologist, historian of science

Robert Grosseteste and the Origins of Experimental Science 1100-1700 (1953)

“There is no science apart from the general. It may even be said that the very object of the exact sciences is to spare us these direct verifications.”

Henri Poincaré book Science and Hypothesis

Source: Science and Hypothesis (1901), Ch. I. (1905) Tr. George Bruce Halstead

Science

“These are three concrete steps that, I believe, can readily be taken. Protect the material and strengthen verification. Control the fuel cycle. Accelerate disarmament efforts.
But that is not enough. The hard part is: how do we create an environment in which nuclear weapons — like slavery or genocide — are regarded as a taboo and a historical anomaly?”

Mohamed ElBaradei (1942) Egyptian law scholar and diplomat, former Director General of the International Atomic Energy Agency, and Nobel …

Nobel lecture (2005)

Effort, Parting

“We in our present generation stand on the cusp of a new and glorious dawn when mastery of these energies lies fully within our grasp as secret yields to inquiry, which yields to experimentation, which leads to verification and duplication, which, in the final course, leads to knowledge.”

Stephen R. Lawhead (1950) American writer

Source: The Skin Map (2010), p. 58

Secret, Knowledge

“We still remain prone to doctrines, philosophies, faiths, and beliefs that spread through the populations of entire civilizations. It is hard to imagine any foolproof ways to protect ourselves from such infections. …the best we can do is to try to educate our children to learn more skills of critical thinking and methods of scientific verification.”

Marvin Minsky book The Emotion Machine

The Emotion Machine (2006)

Children, Education, Faith, Way

“In these and other ways, let us move up the steep and difficult path toward comprehensive disarmament, securing mutual confidence through mutual verification, and building the institutions of peace as we dismantle the engines of war. We must not let failure to agree on all points delay agreements where agreement is possible. And we must not put forward proposals for propaganda purposes.”

John F. Kennedy (1917–1963) 35th president of the United States of America

1963, UN speech

War, Peace, Way, Confidence

“In its application to natural science Grosseteste based his method of verification and falsification on two assumptions about the nature of reality. (a) The first was the principle of the uniformity of nature, meaning that forms are always uniform in their operations…. In support of this principle he quoted 'Aristotles II de Generat.:…'the same cause, provided it remains in the same condition, cannot produce anything but the same effect.' (b) The second assumption Grosseteste made was that of the principle of economy, or lex parsimoniae. This he also derived from Aristotle, who stated it as a pragmatic principle.”

Alistair Cameron Crombie (1915–1996) Australian zoologist, historian of science

Robert Grosseteste and the Origins of Experimental Science 1100-1700 (1953)

Quotes, Support, Nature, Reality

“A prejudice may be an unreasoned judgment, he [Hibben] pointed out, but an unreasoned judgment is not necessarily an illogical judgment. … First, there are those judgments whose verification has simply dropped out of memory. … The second type of unreasoned judgments we hold is the opinions we adopt from others … The third class of judgments in Professor Hibben’s list comprises those which have subconscious origin. The material that furnishes their support does not reach the focal point of consciousness, but psychology insists upon its existence.”

Richard M. Weaver (1910–1963) American scholar

“Life without prejudice,” pp. 8-9.
Life Without Prejudice (1965)

Support, Memory

“General impressions are never to be trusted. Unfortunately when they are of long standing they become fixed rules of life and assume a prescriptive right not to be questioned. Consequently those who are not accustomed to original inquiry entertain a hatred and horror of statistics. They cannot endure the idea of submitting sacred impressions to cold-blooded verification. But it is the triumph of scientific men to rise superior to such superstitions, to desire tests by which the value of beliefs may be ascertained, and to feel sufficiently masters of themselves to discard contemptuously whatever may be found untrue.”

Francis Galton (1822–1911) British polymath: geographer, statistician, pioneer in eugenics

Cited in Modgil, Sohan, and Celia Modgil, eds. Arthur Jensen: Consensus and Controversy. Vol. 4. Routledge, 1987.
Other works

Life, Men, Feeling, Idea

“Newton supposed that all matter attracted other matter inversely according to the square of the distance; and the hypothesis was found to account for the whole movements of the heavenly bodies; which all became verifications of what Newton supposed to be the law of the solar system. Adopt the hypothesis that Jesus was what He is represented, and the whole of the books and the history becomes a verification.”

James McCosh (1811–1894) British philosopher

Source: Dictionary of Burning Words of Brilliant Writers (1895), P. 58.

Books, Law, History

“To contribute usefully to the advance of science, one must sometimes not disdain from undertaking simple verifications.”

Léon Foucault (1819–1868) French physicist

As quoted in The Life and Science of Léon Foucault : The Man Who Proved the Earth Rotates (2003) by William Tobin, p. 72, ISBN 0521808553

Science

“For having a clear influence on methodologies for the creation of efficient and reliable software, and for helping to found the following important subfields of computer science: the theory of parsing, the semantics of programming languages, automatic program verification, automatic program synthesis, and analysis of algorithms.”

Robert Floyd (1936–2001) American computer scientist

1978 Turing Award Citation https://web.archive.org/web/20070708004814/http://awards.acm.org/citation.cfm?id=4173633&srt=all&aw=140&ao=AMTURING. <br class="br">About

Science, Help

“What is this wide-spread component of the surface of the earth? and whence did it come?
You may think this no very hopeful inquiry. You may not unnaturally suppose that the attempt to solve such problems as these can lead to no result, save that of entangling the inquirer in vague speculations, incapable of refutation and of verification.
If such were really the case, I should have selected some other subject than a "piece of chalk" for my discourse. But, in truth, after much deliberation, I have been unable to think of any topic which would so well enable me to lead you to see how solid is the foundation upon which some of the most startling conclusions of physical science rest.”

Thomas Henry Huxley (1825–1895) English biologist and comparative anatomist

1860s, On a Piece of Chalk (1868)

Truth, Hope, Problem, Thinking

“A great challenge lies ahead in the modeling and verification of systems that are subject to timing constraints.”

John A. Stankovic

Unsourced

Time

“We all know India has a huge competitive advantage -- we have the largest arable land, focused sunshine, sensible utilisation of water in 30% of land. The question is what should we do to make the US market -- the most difficult market in the world -- accept our produce. For that, we need traceability. It is a simple technology, which we are giving the farmers. It needs certification and verification processes -- to us it is like a process plant. You can then get the output, sort it and grade it.”

Mukesh Ambani (1957) Indian business magnate

Mukesh Ambani on retail and SEZ plans

World, Question, Water

“Intermediate between mathematics, statistics, and economics, we find a new discipline which, for lack of a better name, may be called econometrics. Econometrics has as its aim to subject abstract laws of theoretical political economy or "pure" economics to experimental and numerical verification, and thus to turn pure economics, as far as possible, into a science in the strict sense of the word.”

Ragnar Frisch (1895–1973) Norwegian economist

Ragnar Frisch (1926) "On a Problem in Pure Economics: Translated by JS Chipman." Preferences, Utility, and Demand: A Minnesota Symposium. 1926."
Original in French:
Intermediaire entre les mathematiques, la statistique et l'economie politique, nous trouvons une discipline nouvelle que ion peut, faute de mieux, designer sous le nom de reconometrie. L'econometrie se pose le but de soumettre les lois abstraites de l'economie politique theorique ou l'economie 'pure' A une verification experimentale et numeriques, et ainsi de constituer, autant que cela est possible, l'economie pure en une science dans le sens restreint de ce mot.
1920

Law, Mathematics, Sense, Science

“It soon became clear that the only real long-term solution to the problems that I encountered is to start using computers in the verification of mathematical reasoning.”

Vladimir Voevodsky (1966–2017) Russian mathematician

Univalent Foundations, Vladimir Voevodsky, IAS, March 26, 2014 http://www.math.ias.edu/vladimir/files/2014_IAS.pdf p. 13

Mathematics, Problem

“You can't trust code that you did not totally create yourself. (Especially code from companies that employ people like me.) No amount of source-level verification or scrutiny will protect you from using untrusted code.”

Ken Thompson (1943) American computer scientist, creator of the Unix operating system

"Reflections on Trusting Trust" http://delivery.acm.org/10.1145/360000/358210/reflections.pdf, 1983 Turing Award Lecture, Communications of the ACM 27 (8), August 1984, pp. 761-763.

People

“Revealing the truth to the public requires layers of checking and multiple source verification. Good journalism can safeguard interests and foster changes of rules.”

Hu Shuli (1953) Chinese journalist

As quoted in "HU SHULI: The Hard-Earned Right to Report" in Ramon Magsaysay Award Foundation (14 November 2016) https://www.rmaward.asia/rmtli/hu-shuli-the-hard-earned-right-to-report/

Truth, Change