A Critique of Artificial Reason Hubert L. Dreyfus . HUBERT L. DREYFUS What Computers Still Can't Do Thi s One XZKQ-GSY-8KDG What. WHAT COMPUTERS STILL CAN'T DO Front Cover.

How did life come into existence on Earth? Although many scientific theories and hypotheses have been drawn, we have not yet been able to provide a detailed answer to this fundamental question. What if intelligent computers would someday be in a condition to postulate their own evolution theory which would explain how they came into the world, how would this theory look like? And how would it stand in comparison to the humans’ theory? Let us suppose that a thousand (...) years from now, intelligent and self-aware computers who, for any reason whatsoever, had lost all contacts with humans, and had continued to self-develop and improve by themselves, slowly began to wonder about how they came into the world? These intelligent computers may eventually develop a coherent theory of evolution, which would seemingly explain their existence. How would their theory stand in comparison to our theory of evolution? Would it be less comprehensive or viable? Taking into consideration the inorganic nature of computers, their relative simplicity compared to the human body, and the closeness of their components to the surrounding inorganic environment, it would not be a surprise if their theory would be more plausible than that of the humans. So, what would this signify and mean to our scientific theories in general? (shrink)

One recursively enumerable real α dominates another one β if there are nondecreasing recursive sequences of rational numbers (a[n] : n ∈ ω) approximating α and (b[n] : n ∈ ω) approximating β and a positive constant C such that for all n, C(α − a[n]) ≥ (β − b[n]). See [R. M. Solovay, Draft of a Paper (or Series of Papers) on Chaitin’s Work, manuscript, IBM Thomas J. Watson Research Center, Yorktown Heights, NY, 1974, p. 215] and [G. J. (...) Chaitin, IBM J. Res. Develop., 21 (1977), pp. 350–359]. We show that every recursively enumerable random real dominates all other recursively enumerable reals. We conclude that the recursively enumerable random reals are exactly the Ω-numbers [G. J. Chaitin, IBM J. Res. Develop., 21 (1977), pp. 350–359]. Second, we show that the sets in a universal Martin-Lof test for randomness have random measure, and every recursively enumerable random number is the sum of the measures represented in a universal Martin-Lof test. (shrink)

This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on Computer Science Logic, CSL '97, held as the 1997 Annual Conference of the European Association on Computer Science Logic, EACSL, in Aarhus, Denmark, in August 1997. The volume presents 26 revised full papers selected after two rounds of refereeing from initially 92 submissions; also included are four invited papers. The book addresses all current aspects of computer science logics and its applications and thus presents the state (...) of the art in the area. (shrink)

Public policies designed to regulate the use of information technology to protect personal data have been based on different theoretical assumptions in different states, depending on whether the problem is defined in technological, civil libertarian, or bureaucratic terms. However, the rapid development, dispersal, and decentralization of information technology have facilitated a range of new surveillance practices that have in turn rendered the approaches of the 1960s and 1970s obsolete. The networking of the postindustrial state will require a reconceptualization of the (...) dynamic relationship between organizational practices and information technology and a more comprehensive appreciation of the privacy problem. With the call for the development of a more coherent information policy in a number of countries, there is evidence that policymakers have been taking this more holistic view. (shrink)

In Section 2, I survey some of the ways that computers are used in mathematics. These raise questions that seem to have a generally epistemological character, although they do not fall squarely under a traditional philosophical purview. The goal of this article is to try to articulate some of these questions more clearly, and assess the philosophical methods that may be brought to bear. In Section 3, I note that most of the issues can be classified under two headings: (...) some deal with the ability of computers to deliver appropriate “evidence” for mathematical assertions, a notion that is explored in Section 4, while others deal with the ability of computers to deliver appropriate mathematical “understanding,” a notion that is considered in Section 5. Final thoughts are provided in Section 6. (shrink)

A true Turing machine (TM) requires an infinitely long paper tape. Thus a TM can be housed in the infinite world of Newtonian spacetime (the spacetime of common sense), but not necessarily in our world, because our world-at least according to our best spacetime theory, general relativity-may be finite. All the same, one can argue for the "existence" of a TM on the basis that there is no such housing problem in some other relativistic worlds that are similar ("close") to (...) our world. But curiously enough-and this is the main point of this paper-some of these close worlds have a special spacetime structure that allows TMs to perform certain Turing unsolvable tasks. For example, in one kind of spacetime a TM can be used to solve first-order predicate logic and the halting problem. And in a more complicated spacetime, TMs can be used to decide arithmetic. These new computers serve to show that Church's thesis is a thoroughly contingent claim. Moreover, since these new computers share the fundamental properties of a TM in ordinary operation (e.g. intuitive, finitely programmed, limited in computational capability), a computability theory based on these non-Turing computers is no less worthy of investigation than orthodox computability theory. Some ideas about this new mathematical theory are given. (shrink)

I offer an explication of the notion of computer, grounded in the practices of computability theorists and computer scientists. I begin by explaining what distinguishes computers from calculators. Then, I offer a systematic taxonomy of kinds of computer, including hard-wired versus programmable, general-purpose versus special-purpose, analog versus digital, and serial versus parallel, giving explicit criteria for each kind. My account is mechanistic: which class a system belongs in, and which functions are computable by which system, depends on the system's (...) mechanistic properties. Finally, I briefly illustrate how my account sheds light on some issues in the history and philosophy of computing as well as the philosophy of mind. (shrink)

This article disrupts the logic of the “just-a-tool” argument, a powerful rhetorical device commonly offered as a rationale for using computers in education (and health care and other areas of society). Although this argument is articulated in many ways, its essence is the contention that computers are merely instructional tools, like blackboards or pencils, that can be used to enhance learning and therefore should be used in classrooms. The just-a-tool argument is difficult to challenge because it automatically constructs (...) counterarguments as illogical; they necessarily become arguments against using technology to improve the human condition. However, an analysis of the just-a-tool argument reveals that far from being logical and unassailable, it is both invalid and unsound. This “techno-illogic,” as the author calls it, arises when wisdom is subjugated to the dictates of technological “rationality,” and it is something that people must learn to recognize and defend against. (shrink)

Presented here is a new result concerning the computational power of so-called SADn computers, a class of Turing-machine-based computers that can perform some non-Turing computable feats by utilising the geometry of a particular kind of general relativistic spacetime. It is shown that SADn can decide n-quantifier arithmetic but not (n+1)-quantifier arithmetic, a result that reveals how neatly the SADn family maps into the Kleene arithmetical hierarchy. Introduction Axiomatising computers The power of SAD computers Remarks regarding the (...) concept of computability. (shrink)

The original proof of the four-color theorem by Appel and Haken sparked a controversy when Tymoczko used it to argue that the justification provided by unsurveyable proofs carried out by computers cannot be a priori. It also created a lingering impression to the effect that such proofs depend heavily for their soundness on large amounts of computation-intensive custom-built software. Contra Tymoczko, we argue that the justification provided by certain computerized mathematical proofs is not fundamentally different from that provided by (...) surveyable proofs, and can be sensibly regarded as a priori. We also show that the aforementioned impression is mistaken because it fails to distinguish between proof search (the context of discovery) and proof checking (the context of justification). By using mechanized proof assistants capable of producing certificates that can be independently checked, it is possible to carry out complex proofs without the need to trust arbitrary custom-written code. We only need to trust one fixed, small, and simple piece of software: the proof checker. This is not only possible in principle, but is in fact becoming a viable methodology for performing complicated mathematical reasoning. This is evinced by a new proof of the four-color theorem that appeared in 2005, and which was developed and checked in its entirety by a mechanical proof system. (shrink)

Recent work on hypercomputation has raised new objections against the Church–Turing Thesis. In this paper, I focus on the challenge posed by a particular kind of hypercomputer, namely, SAD computers. I first consider deterministic and probabilistic barriers to the physical possibility of SAD computation. These suggest several ways to defend a Physical version of the Church–Turing Thesis. I then argue against Hogarth's analogy between non-Turing computability and non-Euclidean geometry, showing that it is a non-sequitur. I conclude that the Effective (...) version of the Church–Turing Thesis is unaffected by SAD computation. (shrink)

Computational neuroscientists not only employ computer models and simulations in studying brain functions. They also view the modeled nervous system itself as computing. What does it mean to say that the brain computes? And what is the utility of the ‘brain-as-computer’ assumption in studying brain functions? In previous work, I have argued that a structural conception of computation is not adequate to address these questions. Here I outline an alternative conception of computation, which I call the analog-model. The term ‘analog-model’ (...) does not mean continuous, non-discrete or non-digital. It means that the functional performance of the system simulates mathematical relations in some other system, between what is being represented. The brain-as-computer view is invoked to demonstrate that the internal cellular activity is appropriate for the pertinent information-processing task.Keywords: Computation; Computational neuroscience; Analog computers; Representation; Simulation. (shrink)

The distinction at the heart of van Gelder’s target article is one between digital computers and dynamical systems. But this distinction conflates two more fundamental distinctions in cognitive science that should be keep apart. When this conflation is undone, it becomes apparent that the “computational hypothesis” (CH) is not as dominant in contemporary cognitive science as van Gelder contends; nor has the “dynamical hypothesis” (DH) been neglected.

Why do the big philosophical questions so often strike us as far-fetched and little to with everyday life? Mary Midgley shows that it need not be that way; she shows that there is a need for philosophy in the real world. Her popularity as one of our foremost philosophers is based on a no-nonsense, down-to-earth approach to fundamental human problems, philosphical or otherwise. In _Utopias, Dolphins and Computers_ she makes her case for philosophy as a difficult but necessary tool for (...) solving some of the most pressing issues facing contemporary society. How should we treat animals? Why are we so confused about the value of education? What is at stake in feminism? Why should we sustain our environment? Why do we think intelligent computers will save us? Mary Midgley argues that philosophy not only can, but should be used in thinking about these questions. _Utopias, Dolphins and Computers_ will make fascinating reading for philosophers, educationalists, feminists, environmentalists and indeed anyone interested in the questions of philosophy, ethics and life. (shrink)

In Computers Ltd, David Harel, best-selling author of Algorithmics, explains and illustrates one of the most fundamental, yet under-exposed facets of computers - their inherent limitations. Looking at the bad news that is proven, lasting, and robust, discussing limitations that no amounts of hardware, software, talents, or resources can overcome, the book presents a disturbing and provocative view of computing at the start of the 21st century.

In lieu of an abstract, here is a brief excerpt of the content:Astrology, Computers, and the VolksgeistDenis DuttonCarroll Righter is not a name you will recognize, unless, perhaps, you’re old enough and you grew up reading the Los Angeles Times. Righter was the Times’s astrologer, and encountering his name recently brought back a couple of memories from the early 1950s. I remember finding it strange that a man (he was pictured alongside his column) was called Carroll, though he didn’t (...) spell it like the girl who lived across the street. But especially I recall the fun we had when my father would read the horoscopes out loud and we’d compare them with the day’s events. Ours was a tough family for an astrologer to please, with rather different things happening to too many Aquarians, and a robust skepticism about anything of the sort later to be called “New Age.”How could I know that while we laughed and debated, somewhere else out there in the urban sprawl, Righter’s prognostications were being subjected to subtle and portentous analysis by that kingpin of the Frankfurt School, Theodor W. Adorno? Mirabile dictu, Adorno was living in L.A. at the time, and we now have his examination of Righter in The Stars Down to Earth, and Other Essays on the Irrational in Culture, edited with an excellent introduction by Stephen Crook (Routledge, $16.95). The result seems, now in the fullness of time, of mixed value and relevance. Adorno has produced an admirably accessible rhetoric of astrology, what he terms “content analysis.” In this, he is finding out for himself about the so-called cold-reading techniques of psychic consultation, practices long known to magicians and astrologers and only really understood by psychologists since Bertram Forer’s work in the 1940s. But beyond that, Adorno uses astrology to support and exemplify his theory of authoritarian irrationalism. As you might expect, this is more questionable. [End Page 424]To be sure, there are many intriguing observations throughout this mostly readable essay. In a passage perhaps even more true today than when it was written, Adorno says that a “climate of semi-erudition is the fertile breeding ground for astrology.” He refers to people who have gone just beyond the naive acceptance of the authority of science, but who don’t know enough, or who have not sufficiently developed “the power of thinking,” that they can replace such acceptance with anything better: “The semi-erudite vaguely wants to understand and is also driven by the narcissistic wish to prove superior to the plain people but he is not in a position to carry through complicated and detached intellectual operations.” In other words, quantum mechanics is pretty tough, but astrology offers sophisticated understanding of all reality in a few easy steps. Besides, astronomy is about those remote stars and planets out there—rather cold and impersonal. In Adorno’s apt title phrase, astrology brings it all down to earth, because it’s about the single most important thing in the universe: me. In an analogy that isn’t too far-fetched, he says that to the semi-erudite individual “astrology, just as other irrational creeds like racism, provides a short-cut by bringing the complex to a handy formula and offering at the same time the pleasant gratification that he who feels excluded from educational privileges nevertheless belongs to the minority of those who are ‘in the know.’” Someone once remarked that Scientology boosts self-esteem largely by giving semi-educated, degreeless persons impressive certificates to hang on their walls, and Adorno is right that there’s a similar syndrome at work with most New Age esoterica, including astrology. (In literary theory, there are no certificates, of course—you just have to learn the jargon.)Much to his credit, Adorno independently identifies many of the features of cold reading described by Forer and later writers, such as the persistent tendency of the client to personalize the general message. Of Righter’s “Follow up that intuition of yours,” or “Display that keen mind of yours,” Adorno says, “People who have any affinity at all to occultism are usually prepared to react to the information they are craving in such a way... (shrink)

Within psychiatric research, the field of 'technotherapy' has been centred primarily on attempts to assess the computer as a treatment tool. The situation of daily clinical usage is, however, often ignored within such research, as for instance in controlled clinical trials. Our empirical study illustrates how health professionals and clients use different concepts of science and health in the attempts of formulating standards for using computers in psychiatric practice. The psychiatrists at a major psychiatric hospital decided and justified clients' (...) use of computers on the basis of a 'techno-medical' quality assurance. At the same hospital the occupational therapists stressed the improvement of social relations as a treatment goal. And, at a psychiatric outside clinic the clients used concepts of 'normality' for articulating quality in computer use. Our study exemplifies how the use of computers is a multifaceted 'performance'. What is called for is a kind of research not limited by artificial borders of 'the context' and the 'user-perspective'. In much humanistic research as well as in action research concepts of 'context' and 'user-perspective' imply a somehow romantic view on practice as pure and uncontaminated by the outside world contrasted to a 'general' or an 'objective' way of knowing the world. These sharp distinctions were however difficult to maintain in our study, where health professionals and clients took local contingencies into account when they interpreted computer use, while they simultaneously drew on a socio-historical reservoir of resources. (shrink)

The federal and corporate initiative to technologize education has transformed schools, colleges, and universities into a new frontier for the computer industry. While educational institutions have maintained an equivocal relationship with markets and the state, they had striven to preserve a simulacrum of independence until the early 1980s. Then, neoconservative ideologies and their accompanying discourse on restructuring education discovered in the computer the ideal neutral tool to promote, in its virtual clothes, their gospel. The Clinton administration and big corporations, taking (...) advantage of the myth of the computer and the new vocabulary associated with computers, launched a massive program of wiring schools. The process, still unfolding at a rapid pace, poses grave problems for the teaching profession and the role of schools in society. The author argues that the unethical ways in which computers force their ways into many educational institutions, the values they embody, the contexts of their multiple usages, the hyperfragmentation and increasing commodification of knowledge that they cause through online education, the vocationalization of education, and the atomization of teachers are likely to shrink pedagogical and democratic possibilities both at local and global levels. (shrink)

This paper examines the use of tablet personal computers and how they interfere with Nigerian undergraduates reading culture and love for educational books. The study adopts a descriptive research design. The University of Ilorin undergraduates constitute the population for this study while 200 level students of three faculties across the university constitute the target population. Stratified sampling technique was used to sample the needed respondents. A researchers’ designed questionnaire was use for data collection. The collected data was analysed using (...) descriptive statistics. The findings revealed that access to tablet computer influence the undergraduate reading culture. Also, 55.7% of 200 level undergraduates read more electronic materials on their tablet computer than printed texts. Based on the findings of this study, it is recommended that students should be encouraged to visit the library and read textbooks since there is certain fundamental knowledge that might not be accessible on the net. (shrink)

Quantum physics is a linear theory, so it is somewhat puzzling that it can underlie very complex systems such as digital computers and life. This paper investigates how this is possible. Physically, such complex systems are necessarily modular hierarchical structures, with a number of key features. Firstly, they cannot be described by a single wave function: only local wave functions can exist, rather than a single wave function for a living cell, a cat, or a brain. Secondly, the quantum (...) to classical transition is characterised by contextual wave-function collapse shaped by macroscopic elements that can be described classically. Thirdly, downward causation occurs in the physical hierarchy in two key ways: by the downward influence of time dependent constraints, and by creation, modification, or deletion of lower level elements. Fourthly, there are also logical modular hierarchical structures supported by the physical ones, such as algorithms and computer programs, They are able to support arbitrary logical operations, which can influence physical outcomes as in computer aided design and 3-d printing. Finally, complex systems are necessarily open systems, with heat baths playing a key role in their dynamics and providing local arrows of time that agree with the cosmological direction of time that is established by the evolution of the universe. (shrink)

From the late 1960s to the early 1980s, a team of U.S. political scientists and computer specialists designed an automated, computerized information system that could ostensibly forecast conflict earlier and more accurately than human analysts. Named the Crisis Early Warning and Monitoring System (EWAMS), it sought to bring international relations scholarship and U.S. national security policy—traditionally qualitative and interpretive domains—under the jurisdiction of a man–machine system. Drawing together the histories of social science, computing, and foreign policy, this essay argues that (...) deep epistemic insecurities led social scientists to apply information technology to the production of policy knowledge. Computers, they hoped, could overcome the innate cognitive limitations that imperiled human decision making. By showing how social scientists’ computational zeal overshadowed their commitment to human agency, this essay also demonstrates that the history of science has an important role to play in contemporary debates about the implications of big data projects for knowledge and policy. (shrink)