This article tells the story of Ed Fredkin, a pilot, programmer, engineer, hardware designer and entrepreneur, whose work inside and outside academia has influenced major developments in computer science and in the foundations of theoretical physics for the past fifty years.

Vector logic is a mathematical model of the propositional calculus in which the logical variables are represented by vectors and the logical operations by matrices. In this framework, many tautologies of classical logic are intrinsic identities between operators and, consequently, they are valid beyond the bivalued domain. The operators can be expressed as Kronecker polynomials. These polynomials allow us to show that many important tautologies of classical logic are generated from basic operators via the operations called Type I and Type (...) II products. Finally, it is described a matrix version of the Fredkin gate that extends its properties to the many-valued domain, and it is proved that the filtered Fredkin operators are second degree Kronecker polynomials that cannot be generated by Type I or Type II products. (shrink)

Aristotle’s main objection to Pythagorean number ontology is that it posits as a basic subject what can exist only as inherent in a subject. I then show how contemporary structural realists posit an ontology much like that of Aristotle’s Pythagoreans. Both take the objects of knowledge to be structure, not the subject of structure. I discuss both how pancomputationalists such as Edward Fredkin approach the Pythagorean account insofar as on their account all reality can in principle be expressed as (...) one (very big) number, made up of discrete units, and even more moderate varieties of structural realism, like that of Floridi, share with pancomputationalism the aspect of “Pythagorean” ontology that Aristotle finds so objectionable: positing structure or form with no substrate. I conclude by arguing that Aristotle himself is drawn to something close or (identical) to a structural realist ontology in Metaphysics 7.3. (shrink)

The first part (“Is there a future?”), discusses the idea of the future in the context of Carl Schmitt’s vision for the spatial revolutions of modernity, and then the idea of Anthropocene, as a synonym for an environmental crisis endangering the very survival of humankind. From this point of view, the conquest of space and the colonization of Mars at the center of futuristic and technocratic visions appear to be an attempt to escape from human responsibilities on Earth. The second (...) part (“AI and other hyperobjects”) discusses the extent of intellectual hubris expressed in computation, AI (Garvin Minsky e Ray Kurzweil), and the philosophy of computing and information (Eric Fredkin), involved in the elaboration of new theoretical assessments on the ultimate nature of reality. Their vision is then contrasted and made to interact with that of philosopher Timothy Morton. He has taken the perspective of global warming and the possibility of ecological catastrophe seriously, avoiding all the futuristic enthusiasms and instead emphasizing the radical nature of the transformations that humans experience in the present. In this perspective, AI becomes one of the “hyperobjects,” like the Internet or climate change, in which humans are immersed. Morton’s hyperobjects delineate an uncanny view of the future; this uncanniness is not related to the supernatural but to the environment. The third section (“More-than-human-humanism”) further reflects on the “uncanniness” that human perceive in the encounters with the manifestations of hyperobjects. It also seeks to understand the human position in the face of the radical technological transformations induced by cybernetics and AI. This section discusses Anti-humanism, Transhumanism, and Posthumanism within the broader category of more-than-human thought, which seems to be a more appropriate term to clarify the possible misunderstandings induced by the word “posthuman” and “transhuman.” The central question is not to empower (Transhumanism) or disempower (Posthumanism) humans, but to see them in relation to what is not human, including other animals, the environment, and the machine. The analysis considers the works of Cary Wolfe, Jane Bennet, Bryant Levi, among others, and introduces ethical debates on cyborgs, robots, and Autonomous weapons systems (AWS). The fourth section (“Ethical Perspectives”) continues this inquiry, concentrating on the non-standard ethical theories of Luciano Floridi (Computer and Information Ethics) and David Gunkel (The question of the Machine). It examines the opportunity and feasibility of including in the discussion on the ethics of our time - characterized by the pervasiveness of AI - the notions of consciousness as theorized by Emmanuel Levinas’s Humanism of the Other and Paul Ricoeur’s Oneself as Another. Finally, the last section (“The time of the end?”) reflects on how the hyperobject, Anthropocene, re-establishes a sense of limits in human history and confirms the special responsibility of human beings, and supports the need for a more-than-human-humanism. The latter, in other words, means intertwining ourselves with a unique ecosystem which cannot be overlooked and which restores meaning to our relationship with the past, present, and future. The awareness of the current challenges of technology can and must express itself in different forms of resistance to the adverse effects of AI in our lives. The ethical approach based on the persisting role of human consciousness is essential, but it must be coupled with human decision-making and political action. (shrink)

“There’s Plenty of Room at the Bottom”, said the title of Richard Feynman’s 1959 seminal conference at the California Institute of Technology. Fifty years on, nanotechnologies have led computer scientists to pay close attention to the links between physical reality and information processing. Not all the physical requirements of optimal computation are captured by traditional models—one still largely missing is reversibility. The dynamic laws of physics are reversible at microphysical level, distinct initial states of a system leading to distinct final (...) states. On the other hand, as von Neumann already conjectured, irreversible information processing is expensive: to erase a single bit of information costs ~3 × 10−21 joules at room temperature. Information entropy is a thermodynamic cost, to be paid in non-computational energy dissipation. This paper addresses the problem drawing on Edward Fredkin’s Finite Nature hypothesis: the ultimate nature of the universe is discrete and finite, satisfying the axioms of classical, atomistic mereology. The chosen model is a cellular automaton with reversible dynamics, capable of retaining memory of the information present at the beginning of the universe. Such a CA can implement the Boolean logical operations and the other building bricks of computation: it can develop and host all-purpose computers. The model is a candidate for the realization of computational systems, capable of exploiting the resources of the physical world in an efficient way, for they can host logical circuits with negligible internal energy dissipation. (shrink)

Computers today are not only the calculation tools - they are directly (inter)acting in the physical world which itself may be conceived of as the universal computer (Zuse, Fredkin, Wolfram, Chaitin, Lloyd). In expanding its domains from abstract logical symbol manipulation to physical embedded and networked devices, computing goes beyond Church-Turing limit (Copeland, Siegelman, Burgin, Schachter). Computational processes are distributed, reactive, interactive, agent-based and concurrent. The main criterion of success of computation is not its termination, but the adequacy of (...) its response, its speed, generality and flexibility; adaptability, and tolerance to noise, error,faults, and damage. Interactive computing is a generalization of Turing computing, and it calls for new conceptualizations (Goldin, Wegner). In the info-computationalist framework, with computation seen as information processing, natural computation appears as the most suitable paradigm of computation and information semantics requires logical pluralism. (shrink)

What is it for a philosophical account to be atomist? What is the attraction of an atomistic metaphysics? These questions are best approached by considering representative varieties of atomism. The present paper offers a preliminary account of atomism in general and then, in order to shed light on atomism in general and its appeal, considers two very different varieties of atomism: that of Democritus and that of Fredkin’s “digital ontology.” Atomistic accounts are philosophically attractive for two related reasons. First, (...) on an atomistic account, the units of explanation are determinate, and for that reason are in principle ultimately intelligible, as are the complexes derived from them. Both examples of atomism that the author takes as examples display these features. Second, atomism is reductionistic. Ancient atomism has this feature, but it is not an inevitable result of an atomistic strategy. It is absent from Fredkin’s digital ontology. (shrink)