Edsger Wybe Dijkstra (1930 -- 2002): A Portrait of a Genius

We discuss the scientific contributions of Edsger Wybe Dijkstra, his opinions and his legacy.Comment: 10 pages. To appear in Formal Aspects of Computin

Edsger Dijkstra. The Man Who Carried Computer Science on His Shoulders

This a biographical essay about Edsger Wybe Dijkstra.Comment: 12 pages. Originally appeared in Inference, Volume 5, Issue 3, 2020, see https://inference-review.com/article/the-man-who-carried-computer-science-on-his-shoulder

Edsger W. Dijkstra: a Commemoration

This article is a multiauthored portrait of Edsger Wybe Dijkstra that consists of testimonials written by several friends, colleagues, and students of his. It provides unique insights into his personality, working style and habits, and his influence on other computer scientists, as a researcher, teacher, and mentor

Ideologies of computer scientists and technologists (Correctness beyond reason)

Ideologies of computer scientists and technologist

Social conditions of outstanding contributions to computer science : a prosopography of Turing Award laureates (1966-2016)

The Turing Award, commonly described as computer science's highest award and equivalent of the Nobel prize in that discipline, has now been awarded for half a century. In the following, we describe the social regularities that underlie and the conditions that embed these high achievements in computer science innovation. We find, contrary to a meritocratic ideal of one's only abilities determining success or recognition within sciences, that several characteristics of scientists, exogenous and non-exogenous alike to their scientific work and identities, are of overbearing or disproportionate importance in defining academic acknowledgement. We find in particular that nationality or birth place, gender and one's network have a big role in making Turing Award laureates. As do social origins, with a significant portion of Turing Award winners coming primarily from middle- and upper-class family backgrounds, especially households with significant cultural capital i.e. one or both parents hold an advanced degree or are engaged in an academic profession). Reviewing the data before us, we were also unable to ignore the non-participation of visible minorities and non-white computer scientists to the body of Turing Award recipients. In short, place of birth, nationality, gender, social background, "race" and networks play a role in making Turing Award laureates. This paper also explores the ways in which a social history or sociology of computer science and the wider technology sector may unfold in the future, by discussing theoretical implications, methods and sources

Machines will think: structure and interpretation of Alan Turing’s imitation game

Can machines think? I present a study of Alan Turing’s iconic imitation game or test and its central question. Seventy years of commentary has been produced about Turing’s 1950 proposal. The now legendary “Turing test” has grown a life of its own in the tradition of analytic philosophy with at best loose ties to the historical imitation tests (1948-1952) posed by Turing. I shall examine the historical and epistemological roots of Turing’s various versions of imitation game or test and make the case that they came out from within a dialogue, in fact a scientific controversy, most notably with physicist and computer pioneer Douglas Hartree, chemist and philosopher Michael Polanyi, and neurosurgeon Geoffrey Jefferson. Placing Turing’s views in their historical, social and cultural context, I shall reclaim their scientific and philosophical value for the sake of the discussion in the years to come. My study is organized according to three main philosophical problems whose analyses are backed by a subsidiary chronology of the concept of machine intelligence in Turing’s thought (1936-1952). The first problem I will address is the identification of Turing’s specific ambition which led him to announce that machines will think. War hero and brilliant mathematician, he challenged the conventional wisdom of what machines really were or could be and prophesized a future pervaded by intelligent machines which may be seen as a dystopia just as much as a utopia. I shall examine Turing’s profile and take special interest in the way he was seen by his contenders. In the second problem, over and above the mere proposal of a test for machine intelligence, I will study Turing’s proposition “machines can think” and its implied existential hypothesis — “there exists (will exist) a thinking machine” — from a point of view of the history of the philosophy of science. Unlike traditional readings of Turing, I found that Turing held a non-obvious realist attitude towards the existence of a mechanical mindbrain which he conjectured to frame the human and whose digital replica he intended to build in the machine. Turing’s 1950 paper has been acknowledged as a complex and multi-layered text. Opposing views can be identified in the literature relative to the question on whether or not Turing proposed his imitation test as an experiment to decide for machine intelligence. I shall call this the Turing test dilemma and address it as my third and main problem. My findings suggest that Turing cannot have proposed his imitation game as something other than a thought experiment. And yet its critical and heuristic functions within the mind-machine controversy are striking