{"id":829415,"date":"2026-08-29T04:54:25","date_gmt":"2026-08-29T04:54:25","guid":{"rendered":"https:\/\/www.newsbeep.com\/us\/829415\/"},"modified":"2026-08-29T04:54:25","modified_gmt":"2026-08-29T04:54:25","slug":"does-computer-science-need-computers","status":"publish","type":"post","link":"https:\/\/www.newsbeep.com\/us\/829415\/","title":{"rendered":"Does Computer Science Need Computers?"},"content":{"rendered":"

\"Qualia:<\/p>\n

The pioneering computer scientist Edsger Dijkstra, winner of the 1972 A.M. Turing Award<\/a> and inventor of one of the most iconic algorithms<\/a> in all of computing, was nothing if not opinionated. Certain programming languages drew his ire, for example: He once dubbed Fortran \u201cthe infantile disorder\u201d and stated that \u201cthe use of COBOL cripples the mind; its teaching should, therefore, be regarded as a criminal offence.\u201d In justifying his disdain for using computers in his own work, he wrote, \u201cMedical researchers are not required to suffer from the diseases they investigate.\u201d<\/p>\n

I first encountered Dijkstra\u2019s hot takes nearly four years ago, not long after I joined Quanta as a staff writer covering computer science. The subject was new to me \u2014 I\u2019d been a physics journalist, and before that a physicist \u2014 and I soon learned that most people don\u2019t know how to interpret \u201ccomputer science writer.\u201d In the broader public discourse, computer science is practically synonymous with programming or coding, but at Quanta we cover the less understood theoretical side of the field. Then I stumbled on my favorite of the many memorable declarations attributed to Dijkstra: Computer science is no more about computers than astronomy is about telescopes.<\/p>\n

In philosophy, \u201cqualia\u201d refers to the subjective qualities of our experience: what it\u2019s like for Alice to see blue or for Bob to feel delighted. Qualia are \u201cthe ways things seem to us,\u201d as the late philosopher Daniel Dennett put it. In these essays, our columnists follow their curiosity, and explore important but not necessarily answerable scientific questions.<\/p>\n

This analogy, it turns out, may not have originated with Dijkstra, but he probably would have endorsed the sentiment. For me, the quote offered a pithy, provocative way to distinguish my reporting from tech journalism. And I can\u2019t deny that it was flattering: The field I cover, it suggested, is about something deep and timeless and beyond mere technological innovation.<\/p>\n

I got into the habit of invoking the analogy regularly \u2014 including in an episode of The Quanta Podcast<\/a> \u2014 but I also began to have second thoughts about it, for reasons I couldn\u2019t quite articulate. Was I just feeling guilty about an implicit dig at my former colleagues who build telescopes, or was the analogy missing something important?<\/p>\n

I decided to try to get to the bottom of this. Is computer science about computers? And if not, what exactly is it about?<\/p>\n

\"\"<\/p>\n

I was wading into a very old debate. Researchers began developing a mathematical theory of computation in the 1930s. Engineers built the first general-purpose electronic computers in the 1940s. Computer science emerged as a distinct academic discipline in the following decades, when the research traditions of math and engineering came together, and arguments about the nature of the new field soon followed. In 1967, the prominent computer scientists Allen Newell, Alan Perlis, and Herbert Simon staked out their position in a spirited letter to the editor<\/a> in the journal Science. \u201cWherever there are phenomena, there can be a science to describe and explain those phenomena,\u201d they wrote, with perhaps a hint of exasperation. \u201cThere are computers. Ergo, computer science is the study of computers.\u201d<\/p>\n

Computer science has two parents. It\u2019s got a mathematical parent, and it\u2019s got an engineering parent, and it\u2019s really a cross between those two.<\/p>\n

William Rapaport, University at Buffalo<\/p>\n

Newell, Perlis, and Simon addressed their letter in part to critics who argued that any science worth the name must study natural phenomena. They countered with examples of artificial phenomena considered worthy of study in well-established sciences, such as chemistry. In his 1969 book The Sciences of the Artificial, Simon went further and embraced the distinction: A focus on intentionally designed artificial systems, he argued, was precisely what made computer science special.<\/p>\n

In 1974, the computer scientist Donald Knuth<\/a> offered a distinct view of the field that emphasized the process of computing rather than computers themselves. He defined computer science as the study of algorithms<\/a>, or precise step-by-step procedures, which computers use to accomplish tasks. Algorithms can be implemented in different programming languages, in much the same way that ideas can be expressed in English, Mandarin, or Arabic. Humans use algorithms too, not just to solve math problems, but also for tasks like sorting items. From this perspective, the math underlying computation is central; computers themselves are relevant only because they open up problems that we humans have neither the time nor the patience to tackle on our own.<\/p>\n

\"\"\"\" <\/p>\n

Knuth\u2019s definition is appealing to me, but it\u2019s hard to deny the simplicity of the one offered by Simon and his colleagues. Yet neither these nor any other definitions seem to have achieved universal acceptance among researchers. Why is that? I asked William Rapaport<\/a>, an emeritus professor of computer science and philosophy at the University at Buffalo, who has extensively chronicled<\/a> the many proposed definitions of computer science. He suggested that the disagreement ultimately stems from the unusually interdisciplinary origins of the field.<\/p>\n

\u201cComputer science has two parents,\u201d he told me. \u201cIt\u2019s got a mathematical parent, and it\u2019s got an engineering parent, and it\u2019s really a cross between those two.\u201d<\/p>\n

Rapaport still sees a kind of intellectual unity in the field \u2014 it\u2019s more than just math and engineering in a trench coat. Computer science, in his view, is the study of two central questions, which each subfield addresses in its own way: \u201cWhat can be computed, and how do you compute it?\u201d<\/p>\n

I found this framing helpful. There are obviously branches of computer science in which computer hardware and software are essential, such as the design of operating systems or the study of memory management. But I\u2019m ultimately most interested in the theoretical side of the field, where researchers need not ever touch a real, physical computer. Do computers play an essential conceptual role in this theoretical work? That\u2019s what I\u2019d need to investigate if I was going to sort out my mixed feelings about the Dijkstra quote.<\/p>\n

\"\"<\/p>\n

Let\u2019s start with Rapaport\u2019s first question: What can be computed? To even begin to answer this question from a theoretical point of view, you need to start with a mathematical formalization of computing \u2014 what researchers call a model of computation. In the 1930s, researchers proposed several distinct models of computation and began to study their implications.<\/p>\n

You can view the other sciences through computation. It\u2019s this underlying logical pattern that manifests itself pretty much everywhere.<\/p>\n

Tom Gur, University of Cambridge<\/p>\n

Then, in a famous 1937 paper, the mathematician Alan Turing devised a model based on hypothetical machines<\/a> that could read and write symbols printed on an infinite tape according to a set of simple rules. Turing and others soon proved that this highly influential \u201cTuring machine\u201d model was mathematically equivalent to models proposed by other researchers. Suddenly, instead of several distinct definitions, researchers had a single, universal theory of computation.<\/p>\n

Yet Turing\u2019s theory of computation wasn\u2019t really about computers, at least not at first. When Turing wrote his seminal paper, not only did he not have a general-purpose computer, he wasn\u2019t even motivated by a desire to understand how such future machines might work. Rather, he was trying to solve a central problem in the foundations of mathematics<\/a>. He viewed his machine as a way to model the mental activity of a human doing calculations.<\/p>\n

\"\"\"\" <\/p>\n

What\u2019s more, the theory of computation is broadly applicable to things we wouldn\u2019t recognize as computers. Researchers often study natural processes by modeling them as computations and analyzing them mathematically. They\u2019ve used this computational lens to expose unpredictable behavior in physical systems<\/a>, analyze evolutionary dynamics<\/a>, and attack puzzles in quantum gravity<\/a>, among other applications. Ironically, the field that Simon hailed as a \u201cscience of the artificial\u201d back in the 1960s is now central to our understanding of the natural world.<\/p>\n

\u201cYou can view the other sciences through computation,\u201d said Tom Gur<\/a>, a theoretical computer scientist at the University of Cambridge. \u201cIt\u2019s this underlying logical pattern that manifests itself pretty much everywhere.\u201d<\/p>\n

The answer to Rapaport\u2019s first question seems to leave Dijkstra\u2019s quote in a good place. And then there\u2019s Rapaport\u2019s second question: Once you\u2019ve decided you want to compute something, how exactly do you do it? To theoretical computer scientists, the answer lies in the math of algorithms. In the late 1960s and early 1970s, they began to build a framework to quantify the time that algorithms require to solve different problems, at an abstract mathematical level that avoids all the details of computer hardware.<\/p>\n

They soon came to appreciate that there are important qualitative differences among problems that might arise in practical applications, such as planning routes through networks and factoring numbers. All of these problems could, in principle, be solved by algorithms. Yet only some had clever algorithms that could produce a solution quickly. For others, the only known algorithms were painfully slow. Attempts to get to the root of these differences marked the beginning of computational complexity theory, the subfield of theoretical computer science that studies the inherent difficulty of different problems, and provides the basis for modern encryption schemes.<\/p>\n

\"\"\"\" <\/p>\n

\u201cMathematical problems have a fundamental structure which makes them qualitatively easier or harder to solve,\u201d said Cristopher Moore<\/a>, a theoretical computer scientist at the Santa Fe Institute. \u201cIt\u2019s not a matter of how fast your computer is, and it\u2019s not a matter of how clever you are.\u201d<\/p>\n

If math is, in some sense, the language of reality, then mapping out this hidden structure can feel \u201clike discovering the laws of the universe,\u201d as the complexity theorist Valentine Kabanets<\/a> of Simon Fraser University in Canada put it, when I spoke to him a few years ago\u00a0for a brain-bending story<\/a> about the most famous open problem in complexity theory.<\/p>\n

Later developments in complexity theory pointed in directions that seem even less related to computing. As an example, Gur pointed to new notions of mathematical proof<\/a> that emerged from complexity theory in the 1980s and 1990s. By reimagining proof as an interactive process, theoretical computer scientists discovered that it\u2019s possible to prove that a statement is true without revealing anything about why it\u2019s true, and that it\u2019s possible to verify that certain proofs are correct by only checking a few tiny snippets.<\/p>\n

\u201cWe suddenly come up with entirely new types of questions,\u201d Gur said. \u201cWe say something which goes way beyond computation.\u201d<\/p>\n

To me, this all adds up to a compelling vision of computer science without computers. \u201cThere were fundamental questions here that could have been asked hundreds of years ago,\u201d said Scott Aaronson<\/a>, a theoretical computer scientist at the University of Texas, Austin, who\u2019s also a member of Quanta\u2019s advisory board. \u201cIt\u2019s just that no one thought to ask them.\u201d<\/p>\n

Of course, that just raises another question \u2014 why not?<\/p>\n

\"\"<\/p>\n

At least one person did think to ask those fundamental questions. The 19th-century polymath Charles Babbage, who conceived of a general-purpose calculating machine that he called the Analytical Engine, speculated in his autobiography that his new machine would call for a new theory of algorithms to go with it. \u201cWhenever any result is sought by its aid,\u201d he wrote, \u201cthe question will then arise \u2014 By what course of calculation can these results be arrived at by the machine in the shortest time?\u201d<\/p>\n

\"\"\"\" <\/p>\n

Babbage never completed his Analytical Engine, and it\u2019s not clear exactly how he planned to address that important question. Perhaps he imagined that technical details of the machine\u2019s design would make some methods faster than others; there\u2019s no evidence that he anticipated anything like the rich mathematical structure that complexity theorists have since discovered.<\/p>\n

But that, it seems to me, is precisely the point. The central question in complexity theory, about why some problems don\u2019t seem to have fast algorithms, may not look very profound at first glance. Its depth only becomes apparent when you start to explore it \u2014 and it wasn\u2019t until researchers started playing around with real computers in the 1960s that the question seemed worth exploring.<\/p>\n

I think this is ultimately what\u2019s missing from a picture of computer science that downplays the role of computers: In the historical record, deep theoretical questions are often intertwined with practical ones about building better machines.<\/p>\n

Matti Tedre<\/a>, a computer scientist at the University of Eastern Finland and the author of a book about the disciplinary identity of the field<\/a>, isn\u2019t a fan of the Dijkstra quote as it\u2019s usually understood. Even so, the comparison to astronomy may be apt in another way.<\/p>\n

\u201c[Dijkstra is] absolutely right; it\u2019s just that he\u2019s wrong about the importance of telescopes to astronomy,\u201d Tedre said. \u201cWe wouldn\u2019t know a thing about the universe if we didn\u2019t have telescopes.\u201d<\/p>\n

Beyond the field of computer science, there are lessons here for how we think about scientific progress in general. In one common view, breakthroughs in pure science spur advances in technology: Think quantum physics leading to the transistor, or relativity enabling GPS. The history of computer science suggests a more nuanced interplay between the profound and the practical, one that also has parallels in other disciplines. Aaronson pointed to the second law of thermodynamics<\/a>, which states that entropy, a measure of disorder, tends to increase over time.<\/p>\n

\u201cIt\u2019s maybe the most fundamental thing that you can say about the evolution of the entire universe,\u201d he said. \u201cAnd yet it\u2019s not something that anyone thought of until they were building steam engines.\u201d<\/p>\n

Or, as the complexity theorist Ryan Williams<\/a> of the Massachusetts Institute of Technology put it, \u201cSufficiently interesting problems in practice generate great theoretical questions.\u201d<\/p>\n

\"\" <\/p>\n","protected":false},"excerpt":{"rendered":"The pioneering computer scientist Edsger Dijkstra, winner of the 1972 A.M. Turing Award and inventor of one of…\n","protected":false},"author":2,"featured_media":829416,"comment_status":"","ping_status":"","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[32],"tags":[79],"class_list":["post-829415","post","type-post","status-publish","format-standard","has-post-thumbnail","category-science","tag-science"],"_links":{"self":[{"href":"https:\/\/www.newsbeep.com\/us\/wp-json\/wp\/v2\/posts\/829415","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.newsbeep.com\/us\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.newsbeep.com\/us\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.newsbeep.com\/us\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.newsbeep.com\/us\/wp-json\/wp\/v2\/comments?post=829415"}],"version-history":[{"count":0,"href":"https:\/\/www.newsbeep.com\/us\/wp-json\/wp\/v2\/posts\/829415\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.newsbeep.com\/us\/wp-json\/wp\/v2\/media\/829416"}],"wp:attachment":[{"href":"https:\/\/www.newsbeep.com\/us\/wp-json\/wp\/v2\/media?parent=829415"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.newsbeep.com\/us\/wp-json\/wp\/v2\/categories?post=829415"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.newsbeep.com\/us\/wp-json\/wp\/v2\/tags?post=829415"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}