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.
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 w floyd
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.
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 w floyd
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
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
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.kenneth thompson
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
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
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
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 weaver
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.
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.
System engineering is a robust approach to the design , creation, and operation of systems. In simple terms, the approach consists of identification and quantification of system goals, creation of alternative system design concepts, performance of design trades, selection and implementation of the best design, verification that the design is properly built and integrated, and post-implementation assessment of how well the system meets (or met) the goals.
Anaximander relies on the accuracy of geometry in matters beyond the range of any kind of verification in its application to cosmic proportions and also in contradiction to appearance, which suggests that the sun is about as large in diameter as the width of a human foot. The concept of geometrical similarity is also the precondition for Anaximander's attempt to construct a map of the world.
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.
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 w floyd
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.