Drawing from literary history, social theory, and political critique, this far-reaching study explores the utopian narrative as a medium for understanding the social space of the modern nation-state. Considering the narrative utopia from its earliest manifestation in Thomas More's sixteenth-century work _Utopia _to some of the most influential utopias of the late nineteenth and twentieth centuries, this book is an astute study of a literary genre as well as a nuanced dialectical meditation on the history of utopian thinking as a (...) quintessential history of modernity. As he unravels the dialectics at work in the utopian narrative, Wegner gives an ambitious synthetic discussion of theories of modernity, considering and evaluating the ideas of writers such as Ernst Bloch, Louis Marin, Gilles Deleuze, Walter Benjamin, Martin Heidegger, Henri Lefebvre, Paul de Man, Karl Mannheim, Mikhail Bakhtin, Jürgen Habermas, Slavoj Zizek, and Homi Bhabha. (shrink)

The classical view of computing positions computation as a closed-box transformation of inputs (rational numbers or finite strings) to outputs. According to the interactive view of computing, computation is an ongoing interactive process rather than a function-based transformation of an input to an output. Specifically, communication with the outside world happens during the computation, not before or after it. This approach radically changes our understanding of what is computation and how it is modeled. The acceptance of interaction as a new (...) paradigm is hindered by the Strong Church–Turing Thesis (SCT), the widespread belief that Turing Machines (TMs) capture all computation, so models of computation more expressive than TMs are impossible. In this paper, we show that SCT reinterprets the original Church–Turing Thesis (CTT) in a way that Turing never intended; its commonly assumed equivalence to the original is a myth. We identify and analyze the historical reasons for the widespread belief in SCT. Only by accepting that it is false can we begin to adopt interaction as an alternative paradigm of computation. We present Persistent Turing Machines (PTMs), that extend TMs to capture sequential interaction. PTMs allow us to formulate the Sequential Interaction Thesis, going beyond the expressiveness of TMs and of the CTT. The paradigm shift to interaction provides an alternative understanding of the nature of computing that better reflects the services provided by today’s computing technology. (shrink)

Part I presents a model of interactive computation and a metric for expressiveness, Part II relates interactive models of computation to physics, and Part III considers empirical models from a philosophical perspective. Interaction machines, which extend Turing Machines to interaction, are shown in Part I to be more expressive than Turing Machines by a direct proof, by adapting Gödel's incompleteness result, and by observability metrics. Observation equivalence provides a tool for measuring expressiveness according to which interactive systems are more expressive (...) than algorithms. Refinement of function equivalence by observation of outer interactive behavior and inner computation steps is examined. The change of focus from algorithms specified by computable functions to interaction specified by observation equivalence captures the essence of empirical computer science. Part II relates interaction in models of computation to observation in the natural sciences. Explanatory power in physics is specified by the same observability metric as expressiveness in interactive systems. Realist models of inner structure are characterized by induction, abduction, and Occam's Razor. Interactive realism extends the hidden-variable model of Einstein to hidden interfaces that provide extra degrees of freedom to formulate hypotheses with testable predictions conforming with quantum theory. Greater expressiveness of collaborative computational observers (writers) than single observers implies that hidden-interface models are more expressive than hidden-variable models. By providing a common foundation for empirical computational and physical models we can use precise results about computational models to establish properties of physical models. Part III shows that the evolution in computing from algorithms to interaction parallels that in physics from rationalism to empiricism. Plato's cave metaphor is interactively extended from Platonic rationalism to empiricism. The Turing test is extended to TMs with hidden interfaces that express interactive thinking richer than the traditional Turing test. Interactive (nonmonotonic) extensions of logic such as the closed-world assumption suggest that interactiveness is incompatible with monotonic logical inference. Procedure call, atomicity of transactions, and taking a fixed point are techniques for closing open systems similar to "preparation" followed by "observation" of a physical system. Pragmatics is introduced as a framework for extending logical models with a fixed syntax and semantics to multiple-interface models that support collaboration among clients sharing common resources. (shrink)

Invoking Hope: Reading Theory and Utopia in Dark Times argues for the undiminished importance of the practices of theory, utopia, and deep, close, and even critical reading in our current situation of what Brecht refers to as finsteren Zeiten, dark times. Written during 2016, an extraordinarily consequential year, Wegner reflects on the question: what does any particular theory allow us to do, what is the value of so doing, and, most importantly, who benefits?

This essay offers an immanent reading of Fredric Jameson’s Archaeologies of the Future in terms of his theorization of a four-fold allegorical hermeneutic. On the literal level, the book explores science fictions; on the allegorical, Utopian representations; on the moral, or individual psychological, it serves as a “partial summing up” of a number of sequences in Jameson’s ongoing project; and on the anagogical, it contributes to a reinvention of Marxism for an era of globalization. Jameson’s recent writings also share an (...) interest in modernism, challenging late modernist ideology and recovering more radical forms. The essay concludes by exploring how Jameson’s discussion of Utopia serves as a figure for the problems of radical politics in the present. (shrink)

Jennifer Wagner-Lawlor’s Postmodern Utopias and Feminist Fictions represents not only a significant contribution in utopian studies; it is also a major intervention in contemporary literary studies and global cultural studies more generally. Each of the book’s chapters is structured around a specific set of formal and generic questions, exploring in great detail and with a tremendous amount of insight recent feminist revisionings of older genres, including the bildungsroman, the novel of art, nonlinear histories, American historical novels, and finally, in an (...) extraordinary turn, the works of contemporary Arab feminist writers, which, Wagner-Lawlor shows, “directly address the nature of the work left to do, as.. (shrink)

The classical view of computing positions computation as a closed-box transformation of inputs (rational numbers or finite strings) to outputs. According to the interactive view of computing, computation is an ongoing interactive process rather than a function-based transformation of an input to an output. Specifically, communication with the outside world happens during the computation, not before or after it. This approach radically changes our understanding of what is computation and how it is modeled. The acceptance of interaction as a new (...) paradigm is hindered by the Strong Church–Turing Thesis (SCT), the widespread belief that Turing Machines (TMs) capture all computation, so models of computation more expressive than TMs are impossible. In this paper, we show that SCT reinterprets the original Church–Turing Thesis (CTT) in a way that Turing never intended; its commonly assumed equivalence to the original is a myth. We identify and analyze the historical reasons for the widespread belief in SCT. Only by accepting that it is false can we begin to adopt interaction as an alternative paradigm of computation. We present Persistent Turing Machines (PTMs), that extend TMs to capture sequential interaction. PTMs allow us to formulate the Sequential Interaction Thesis, going beyond the expressiveness of TMs and of the CTT. The paradigm shift to interaction provides an alternative understanding of the nature of computing that better reflects the services provided by today’s computing technology. (shrink)