The Incomputable

This book questions the relevance of computation to the physical universe. Our theories deliver computational descriptions, but the gaps and discontinuities in our grasp suggest a need for continued discourse between researchers from different disciplines, and this book is unique in its focus on the mathematical theory of incomputability and its relevance for the real world. The core of the book consists of thirteen chapters in five parts on extended models of computation; the search for natural examples of incomputable objects; mind, matter, and computation; the nature of information, complexity, and randomness; and the mathematics of emergence and morphogenesis. This book will be of interest to researchers in the areas of theoretical computer science, mathematical logic, and philosophy.

Fun and Software offers the untold story of fun as constitutive of the culture and aesthetics of computing. Fun in computing is a mode of thinking, making and experiencing. It invokes and convolutes the question of rationalism and logical reason, addresses the sensibilities and experience of computation and attests to its creative drives. By exploring topics as diverse as the pleasure and pain of the programmer, geek wit, affects of play and coding as a bodily pursuit of the unique in recursive structures, Fun and Software helps construct a different point of entry to the understanding of software as culture. Fun is a form of production that touches on the foundations of formal logic and precise notation as well as rhetoric, exhibiting connections between computing and paradox, politics and aesthetics. From the formation of the discipline of programming as an outgrowth of pure mathematics to its manifestation in contemporary and contradictory forms such as gaming, data analysis and art, fun is a powerful force that continues to shape our life with software as it becomes the key mechanism of contemporary society. Including chapters from leading scholars, programmers and artists, Fun and Software makes a major contribution to the field of software studies and opens the topic of software to some of the most pressing concerns in contemporary theory.

In Contingent Computation, M. Beatrice Fazi offers a new theoretical perspective through which we can engage philosophically with computing. The book proves that aesthetics is a viable mode of investigating contemporary computational systems. It does so by advancing an original conception of computational aesthetics that does not just concern art made by or with computers, but rather the modes of being and becoming of computational processes. Contingent Computation mobilises the philosophies of Gilles Deleuze and Alfred North Whitehead in order to address aesthetics as an ontological study of the generative potential of reality. Through a novel philosophical reading of Gödel’s incompleteness theorems and of Turing’s notion of incomputability, Fazi finds this potential at the formal heart of computational systems, and argues that computation is a process of determining indeterminacy. This indeterminacy, which is central to computational systems, does not contradict their functionality. Instead, it drives their very operation, albeit in a manner that might not always fit with the instrumental, representational and cognitivist purposes that we have assigned to computing.

In light of current discourses on AI and robotics, what do the various experiences of art contribute to the rethinking of technology today? Art and Cosmotechnics addresses the challenge of technology to the existence of art and traditional thought, especially in light of current discourses on artificial intelligence and robotics. It carries out an attempt on the cosmotechnics of Chinese landscape painting in order to address this question, and further asks: What is the significance of shanshui (mountain and water) in face of the new challenges brought about by the current technological transformation? Thinking art and cosmotechnics together is an attempt to look into the varieties of experiences of art and to ask what these experiences might contribute to the rethinking of technology today.

This book constitutes the refereed proceedings of the first International Conference on Computability in Europe, CiE 2005, held in Amsterdam, The Netherlands in June 2005. The 68 revised full papers presented were carefully reviewed and selected from 144 submissions. Among them are papers corresponding to two tutorials, six plenary talks and papers of six special sessions involving mathematical logic and computer science at the same time as offering the methodological foundations for models of computation. The papers address many aspects of computability in Europe with a special focus on new computational paradigms. These include first of all connections between computation and physical systems (e.g., quantum and analog computation, neural nets, molecular computation), but also cover new perspectives on models of computation arising from basic research in mathematical logic and theoretical computer science.

A proposal that algorithms are not simply instructions to be performed but thinking entities that construct digital spatio-temporalities. In Contagious Architecture, Luciana Parisi offers a philosophical inquiry into the status of the algorithm in architectural and interaction design. Her thesis is that algorithmic computation is not simply an abstract mathematical tool but constitutes a mode of thought in its own right, in that its operation extends into forms of abstraction that lie beyond direct human cognition and control. These include modes of infinity, contingency, and indeterminacy, as well as incomputable quantities underlying the iterative process of algorithmic processing. The main philosophical source for the project is Alfred North Whitehead, whose process philosophy is specifically designed to provide a vocabulary for “modes of thought” exhibiting various degrees of autonomy from human agency even as they are mobilized by it. Because algorithmic processing lies at the heart of the design practices now reshaping our world—from the physical spaces of our built environment to the networked spaces of digital culture—the nature of algorithmic thought is a topic of pressing importance that reraises questions of control and, ultimately, power. Contagious Architecture revisits cybernetic theories of control and information theory's notion of the incomputable in light of this rethinking of the role of algorithmic thought. Informed by recent debates in political and cultural theory around the changing landscape of power, it links the nature of abstraction to a new theory of power adequate to the complexities of the digital world.

In Listening in the Afterlife of Data, David Cecchetto theorizes sound, communication, and data by analyzing them in the contexts of the practical workings of specific technologies, situations, and artworks. In a time he calls the afterlife of data—the cultural context in which data’s hegemony persists even in the absence of any belief in its validity—Cecchetto shows how data is repositioned as the latest in a long line of concepts that are at once constitutive of communication and suggestive of its limits. Cecchetto points to the failures and excesses of communication by focusing on the power of listening—whether through wearable technology, internet-based artwork, or the ways in which computers process sound—to pragmatically comprehend the representational excesses that data produces. Writing at a cultural moment in which data has never been more ubiquitous or less convincing, Cecchetto elucidates the paradoxes that are constitutive of computation and communication more broadly, demonstrating that data is never quite what it seems.

Non-representational theory is one of the contemporary moment’s most influential theoretical perspectives within social and cultural theory. It is now widely considered to be the logical successor of postmodern theory, the logical development of post-structuralist thought, and the most notable intellectual force behind the turn across the social and cultural sciences away from cognition, meaning, and textuality. And yet, it is often poorly understood. This is in part because of its complexity, but also because of its limited treatment in the few volumes chiefly dedicated to it. Theories must be useful to researchers keen on utilizing concepts and analytical frames for their personal interpretive purposes. How useful non-representational theory is, in this sense, is yet to be understood. This book outlines a variety of ways in which non-representational ideas can influence the research process, the very value of empirical research, the nature of data, the political value of data and evidence, the methods of research, the very notion of method, and the styles, genres, and media of research.