Sign In

Communications of the ACM

Communications of the ACM

Science Has Only Two Legs


Communications Editor-in-Chief Moshe Y. Vardi

Science has been growing new legs of late. The traditional "legs" (or "pillars") of the scientific method were theory and experimentation. That was then. In 2005, for example, the U.S. Presidential Information Technology Advisory Committee issued a report, "Computational Science: Ensuring America's Competitiveness," stating: "Together with theory and experimentation, computational science now constitutes the 'third pillar' of scientific inquiry, enabling researchers to build and test models of complex phenomena." The report offered examples such as multi-century climate shifts, multidimensional flight stresses on aircraft, and stellar explosions.

This "third leg" of science has become a standard coin (run a Web search on this phrase!). However, this leg has been recently augmented by yet a "fourth paradigm" (or "leg") that refers to the usage of advanced computing capabilities to manipulate and explore massive datasets. For example, the decoding of the human genome in 2001 was a triumph of large-scale data analysis. Now science allegedly has four legs, and two of them are computational!

I find myself uncomfortable with science sprouting a new leg every few years. In fact, I believe that science still has only two legs—theory and experimentation. The "four legs" viewpoint seems to imply the scientific method has changed in a fundamental way. I contend it is not the scientific method that has changed, but rather how it is being carried out. Does it matter how many legs science has? I believe it does! It is as important as ever to explain science to the lay public, and it becomes more difficult to explain when it grows a new leg every few years.

Let us consider the first leg: theory. A scientific theory is an explanatory framework for a body of natural phenomena. A theory can be thought of as a model of reality at a certain level of abstraction. For a theory to be useful, it should explain existing observations as well as generate predictions, that is, suggest new observations. In the physical sciences, theories are typically mathematical in nature, for example, the classical theory of electromagnetism in the form of Maxwell's Equations. What is often ignored is the fact that any application of a mathematical theory requires computation. To make use of Maxwell's Equations, for example, we need to solve them in some concrete setting, and that requires computation—symbolic or numeric. Thus, computation has always been an integral part of theory in science.

What has changed is the scale of computation. While once carried out by hand, computation has required over time more advanced machinery. "Doing" theory today requires highly sophisticated computational-science techniques carried out on cutting-edge high-performance computers.

The nature of the theories has also changed. Maxwell's Equations constitute an elegantly simple model of reality. There is no analogue, however, of Maxwell's Equations in climate science. The theory in climate science is a highly complex computational model. The only way to apply the theory is via computation. While previous scientific theories were typically framed as mathematical models, today's theories are often framed as computational models. In system biology, for example, one often encounters computational models such as Petri Nets and Statecharts, which were developed originally in the context of computer science.

Computation has also always been an integral part of experimentation. Experimentation typically implies carrying out measurements, and the analysis of these measurements has always been computational. Again, what has changed is the scale. The Compact Muon Solenoid experiment at CERN's Large Hadron Collider generates 40 terabytes of raw data per second, a volume one cannot hope to store and process. Handling such volume requires advanced computation; the first level of data filtering, for example, is carried out on fast, custom hardware using FPGAs. Analyzing the still-massive amount of data that survives various levels of filtering requires sophisticated data-analysis techniques.

So science is still carried out as an ongoing interplay between theory and experimentation. The complexity of both, however, has increased to such a degree that they cannot be carried out without computation. There is no need, therefore, to attach new legs to science. It is doing fine with two legs. At the same time, computational thinking (a phrase coined by Jeannette Wing) thoroughly pervades both legs. Computation is the universal enabler of science, supporting both theory and experimentation. Today the two legs of science are thoroughly computational!

Moshe Y. Vardi, EDITOR-IN-CHIEF

Back to Top

Footnotes

DOI: http://doi.acm.org/10.1145/1810891.1810892


©2010 ACM  0001-0782/10/0900  $10.00

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee.

The Digital Library is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc.


Comments


Steven Clark

Agreed!

Computation and data mining are tools, or methods, that must themselves be subject to, and supported by, theory and experimentation. How else would we be confident we understand how they work, or confident their results are consistent and reproduceable?

The excited and enthusiastic claims that computation and/or data mining are *new* underpinnings of science seem to me to be founded upon a deep misunderstanding about what 'experiment' and 'theory' *are* and what they *do*. But this itself is not new.

Change of scale or scope do not, of themselves, alter the fundamentals of the processes involved. Neither driving faster, or the capacity to drive faster, alters the *nature* of driving; but it does alter the relationships between factors that, for example, make driving risky (eg reaction time of driver vs time to react to oncoming vehicles.)

Stephen Wolfram is excited about the potential for his product: it is an excellent product. Complex modelling is a complex process, but it is no less theory-driven, no less experimental, than any other approach. Rather than a new *kind* of science, it's a developing cluster of tools and methods for using them - a new *approach* at best (arguably it's an extension of approaches that harness the potential of computers).

It is worth taking a moment to distinguish between models and approximations of reality - and in particular *how* we generate and test those models - and reality itself. Lest we fall afoul of deterministic thinking.


J. Tinsley Oden

With all due respect, I believe that the idea that computational science is no more than a straightforward extension of traditional scientific methods made possible by computers is extraordinarily naive and inaccurate. Let’s look at the issue in a bit more detail. A simple definition of science is this: the activity concerned with the systematic acquisition of knowledge. The English word is derived from the scientia, Latin for “knowledge”. According to the Cambridge dictionary, it is the enterprise that organizes knowledge in the form of testable explanations and predictions about the universe”. The question of precisely how knowledge is acquired has been the subject of debate among philosophers of science for some 2,500 years, ranging from the philosophy of skepticism of David Hume in the 18th century that asserted that inductive logic cannot lead to knowledge, to contemporary writers on the logic of science, such as E.T. Jaynes, who said that all scientific knowledge has been obtained by induction. After millennia of debate by some of the greatest minds of human history, two avenues for acquiring scientific knowledge emerged: 1) observations, experimental measurements, information gained by the human senses, aided by instruments, and 2) theory, inductive hypotheses often framed in the language of mathematics. Observation and theory are thus the two classical pillars of science. According to the Oxford Dictionary, the scientific method is “a method of procedure that has characterized natural science since the 17th century, consisting in systematic observation, measurement, experience and experiment and the formulation, testing, and modification of hypotheses.” In the rather short span of time, measured against around 400,000 years of human history, computational science has emerged as a dramatic new way to acquire knowledge and, therefore, to do science. It involves the use of computational algorithms to translate mathematical models of how the physical universe behaves into computer models that attempt to predict the future and reconstruct the past. It has been successful in a broad and increasing list of scientific and technological developments in medicine, engineering, and basic science.

But does this new discipline really constitute a new paradigm in the scientific method? The answer is: “of course it does”. There are abundant examples of the use of computer simulations to generate new knowledge about the physical universe that fall well outside the reach of contemporary methods of observation and experiment. Moreover, they can also be used to generate new hypothesis not naturally acquired by conventional inductive scientific processes. A special characteristic of this enterprise is that it is necessarily interdisciplinary, simultaneously bringing in methods and principles from mathematics, computer science, and core science, engineering, and medicine disciplines, to feed a body of knowledge and methodologies far apart from the traditional disciplines. I believe it is very important to recognize this interdisciplinary characteristics, and that this important new subject cannot be best cultivated in the traditional silos provided by most contemporary educational institutions.

Is there a fourth paradigm? I personally believe that the answer is “no”. My colleagues who work in data mining and data-intense science and technologies all call themselves computational scientists. Current research methods in such areas as data mining are not merely extensions of methods of observation, but are indeed new methods of acquiring knowledge from data. I put these under the general category of computational science.

In the end, does it really matter? Is it really necessary to think of computational science as a third pillar? In my opinion, the answer is very definitely “yes”. Recognizing it as such will influence how we organize future educational institutions, how funding agencies will support research, and how the components of computational science will be taught to the next generation of scientists. There is overwhelming evidence to justify that the field of computational science is indeed a third pillar of science. In my mind, the emergence of computational science is one of the most important developments in human history, a development that will revolutionize virtually ever aspect of science in the future.

Tinsley Oden
University of Texas at Austin


Displaying all 2 comments

Comment on this article

Signed comments submitted to this site are moderated and will appear if they are relevant to the topic and not abusive. Your comment will appear with your username if published. View our policy on comments

(Please sign in or create an ACM Web Account to access this feature.)

Create an Account

Log in to Submit a Signed Comment

Sign In »

Sign In

Signed comments submitted to this site are moderated and will appear if they are relevant to the topic and not abusive. Your comment will appear with your username if published. View our policy on comments
Forgot Password?

Create a Web Account

An email verification has been sent to youremail@email.com
ACM veries that you are the owner of the email address you've provided by sending you a verication message. The email message will contain a link that you must click to validate this account.
NEXT STEP: CHECK YOUR EMAIL
You must click the link within the message in order to complete the process of creating your account. You may click on the link embedded in the message, or copy the link and paste it into your browser.