Formal Quotes (25 quotes)
A formal manipulator in mathematics often experiences the discomforting feeling that his pencil surpasses him in intelligence.
A research laboratory jealous of its reputation has to develop less formal, more intimate ways of forming a corporate judgment of the work its people do. The best laboratories in university departments are well known for their searching, mutual questioning.
Art matures. It is the formal elaboration of activity, complete in its own pattern. It is a cosmos of its own.
Every mathematical discipline goes through three periods of development: the naive, the formal, and the critical.
Formal symbolic representation of qualitative entities is doomed to its rightful place of minor significance in a world where flowers and beautiful women abound.
Hubris is the greatest danger that accompanies formal data analysis, including formalized statistical analysis. The feeling of “Give me (or more likely even, give my assistant) the data, and I will tell you what the real answer is!” is one we must all fight against again and again, and yet again.
Mathematical proofs are essentially of three different types: pre-formal; formal; post-formal. Roughly the first and third prove something about that sometimes clear and empirical, sometimes vague and ‘quasi-empirical’ stuff, which is the real though rather evasive subject of mathematics.
Mathematicians can and do fill in gaps, correct errors, and supply more detail and more careful scholarship when they are called on or motivated to do so. Our system is quite good at producing reliable theorems that can be backed up. It’s just that the reliability does not primarily come from mathematicians checking formal arguments; it come from mathematicians thinking carefully and critically about mathematical ideas.
Mathematics as we practice it is much more formally complete and precise than other sciences, but it is much less formally complete and precise for its content than computer programs.
Mathematics in its widest signification is the development of all types of formal, necessary, deductive reasoning.
Mathematics will not be properly esteemed in wider circles until more than the a b c of it is taught in the schools, and until the unfortunate impression is gotten rid of that mathematics serves no other purpose in instruction than the formal training of the mind. The aim of mathematics is its content, its form is a secondary consideration and need not necessarily be that historic form which is due to the circumstance that mathematics took permanent shape under the influence of Greek logic.
No substantial part of the universe is so simple that it can be grasped and controlled without abstraction. Abstraction consists in replacing the part of the universe under consideration by a model of similar but simpler structure. Models, formal and intellectual on the one hand, or material on the other, are thus a central necessity of scientific procedure.
People are usually not very good in checking formal correctness of proofs, but they are quite good at detecting potential weaknesses or flaws in proofs.
Since my first discussions of ecological problems with Professor John Day around 1950 and since reading Konrad Lorenz's “King Solomon's Ring,” I have become increasingly interested in the study of animals for what they might teach us about man, and the study of man as an animal. I have become increasingly disenchanted with what the thinkers of the so-called Age of Enlightenment tell us about the nature of man, and with what the formal religions and doctrinaire political theorists tell us about the same subject.
The focal points of our different reflections have been called “science”’ or “art” according to the nature of their “formal” objects, to use the language of logic. If the object leads to action, we give the name of “art” to the compendium of rules governing its use and to their technical order. If the object is merely contemplated under different aspects, the compendium and technical order of the observations concerning this object are called “science.” Thus metaphysics is a science and ethics is an art. The same is true of theology and pyrotechnics.
The mathematician, carried along on his flood of symbols, dealing apparently with purely formal truths, may still reach results of endless importance for our description of the physical universe.
The purely formal Sciences, logic and mathematics, deal with those relations which are, or can be, independent of the particular content or the substance of objects. To mathematics in particular fall those relations between objects which involve the concepts of magnitude, of measure and of number.
The required techniques of effective reasoning are pretty formal, but as long as programming is done by people that don’t master them, the software crisis will remain with us and will be considered an incurable disease. And you know what incurable diseases do: they invite the quacks and charlatans in, who in this case take the form of Software Engineering gurus.
Thought-economy is most highly developed in mathematics, that science which has reached the highest formal development, and on which natural science so frequently calls for assistance. Strange as it may seem, the strength of mathematics lies in the avoidance of all unnecessary thoughts, in the utmost economy of thought-operations. The symbols of order, which we call numbers, form already a system of wonderful simplicity and economy. When in the multiplication of a number with several digits we employ the multiplication table and thus make use of previously accomplished results rather than to repeat them each time, when by the use of tables of logarithms we avoid new numerical calculations by replacing them by others long since performed, when we employ determinants instead of carrying through from the beginning the solution of a system of equations, when we decompose new integral expressions into others that are familiar,—we see in all this but a faint reflection of the intellectual activity of a Lagrange or Cauchy, who with the keen discernment of a military commander marshalls a whole troop of completed operations in the execution of a new one.
To the average mathematician who merely wants to know his work is securely based, the most appealing choice is to avoid difficulties by means of Hilbert's program. Here one regards mathematics as a formal game and one is only concerned with the question of consistency ... . The Realist position is probably the one which most mathematicians would prefer to take. It is not until he becomes aware of some of the difficulties in set theory that he would even begin to question it. If these difficulties particularly upset him, he will rush to the shelter of Formalism, while his normal position will be somewhere between the two, trying to enjoy the best of two worlds.
True rigor is productive, being distinguished in this from another rigor which is purely formal and tiresome, casting a shadow over the problems it touches.
We are not very pleased when we are forced to accept a mathematical truth by virtue of a complicated chain of formal conclusions and computations, which we traverse blindly, link by link, feeling our way by touch. We want first an overview of the aim and of the road; we want to understand the idea of the proof, the deeper context.
What is this subject, which may be called indifferently either mathematics or logic? Is there any way in which we can define it? Certain characteristics of the subject are clear. To begin with, we do not, in this subject, deal with particular things or particular properties: we deal formally with what can be said about any thing or any property. We are prepared to say that one and one are two, but not that Socrates and Plato are two, because, in our capacity of logicians or pure mathematicians, we have never heard of Socrates or Plato. A world in which there were no such individuals would still be a world in which one and one are two. It is not open to us, as pure mathematicians or logicians, to mention anything at all, because, if we do so we introduce something irrelevant and not formal.
When one considers how hard it is to write a computer program even approaching the intellectual scope of a good paper, and how much greater time and effort have to be put in to make it “almost” formally correct, it is preposterous to claim that mathematics as we practice it is anywhere near formally correct.
[Aristotle formal logic thus far (1787)] has not been able to advance a single step, and hence is to all appearances closed and completed.