We examine two very different approaches to formalising real computation, commonly referred to as “Computable Analysis” and “the BSS approach”. The main models of computation underlying these approaches—bit computation and BSS, respectively—have also been put forward as appropriate foundations for scientific computing. The two frameworks offer useful computability and complexity results about problems whose underlying domain is an uncountable space. Since typically the problems dealt with in physical sciences, applied mathematics, economics, and engineering are also defined in (...) uncountable domains, it is fitting that we choose between these two approaches a foundational framework for scientific computing. However, the models are incompatible as to their results. What is more, the BSS model is highly idealised and unrealistic; yet, it is the de facto implicit model in various areas of computational mathematics, with virtually no problems for the everyday practice. This paper serves three purposes. First, we attempt to delineate what the goal of developing foundations for scientific computing exactly is. We distinguish between two very different interpretations of that goal, and on the separate basis of each one, we put forward answers about the appropriateness of each framework. Second, we provide an account of the fruitfulness and wide use of BSS, despite its unrealistic assumptions. Third, according to one of our proposed interpretations of the scope of foundations, the target domain of both models is a certain mathematical structure. In a clear sense, then, we are using idealised models to study a purely mathematical structure. The third purpose is to point out and explain this intriguing phenomenon and attempt to make connections with the typical case of idealised models of empirical domains. (shrink)

Modern computing is generally taken to consist primarily of symbol manipulation. But symbols are abstract, and computers are physical. How can a physical device manipulate abstract symbols? Neither Church nor Turing considered this question. My answer is that the bit, as a hardware-implemented abstract data type, serves as a bridge between materiality and abstraction. Computing also relies on three other primitive—but more straightforward—abstractions: Sequentiality, State, and Transition. These physically-implemented abstractions define the borderline between hardware and software and between physicality and (...) abstraction. At a deeper level, asking how a physical device can interact with abstract symbols is the wrong question. The relationship between symbols and physical devices begins with the realization that human beings already know what it means to manipulate symbols. We build and program computers to do what we understand to be symbol manipulation. To understand what that means, consider a light switch. A light switch doesn’t turn a light on or off. Those are abstractions. Light switches don’t operate with abstractions. We build light switches, so that when flipped, the world is changed in such a way that we understand the light to be on or off. Similarly, we build computers to perform operations that we understand as manipulating symbols. (shrink)

Computational Creativity, Concept Invention, and General Intelligence in their own right all are flourishing research disciplines producing surprising and captivating results that continuously influence and change our view on where the limits of intelligent machines lie, each day pushing the boundaries a bit further. By 2014, all three fields also have left their marks on everyday life – machine-composed music has been performed in concert halls, automated theorem provers are accepted tools in enterprises’ R&D departments, and cognitive architectures are being (...) integrated in pilot assistance systems for next generation airplanes. Still, although the corresponding aims and goals are clearly similar (as are the common methods and approaches), the developments in each of these areas have happened mostly individually within the respective community and without closer relationships to the goings-on in the other two disciplines. In order to overcome this gap and to provide a common platform for interaction and exchange between the different directions, the International Workshops on “Computational Creativity, Concept Invention, and General Intelligence” (C3GI) have been started. At ECAI-2012 and IJCAI-2013, the first and second edition of C3GI each gathered researchers from all three fields, presenting recent developments and results from their research and in dialogue and joint debates bridging the disciplinary boundaries. The chapters contained in this book are based on expanded versions of accepted contributions to the workshops and additional selected contributions by renowned researchers in the relevant fields. Individually, they give an account of the state-of-the-art in their respective area, discussing both, theoretical approaches as well as implemented systems. When taken together and looked at from an integrative perspective, the book in its totality offers a starting point for a (re)integration of Computational Creativity, Concept Invention, and General Intelligence, making visible common lines of work and theoretical underpinnings, and pointing at chances and opportunities arising from the interplay of the three fields. (shrink)

1. One theory or many? In 2004 a very interesting and readable article by Lenore Blum, entitled “Computing over the reals: Where Turing meets Newton,” appeared in the Notices of the American Mathematical Society. It explained a basic model of computation over the reals due to Blum, Michael Shub and Steve Smale (1989), subsequently exposited at length in their influential book, Complexity and Real Computation (1997), coauthored with Felipe Cucker. The ‘Turing’ in the title of Blum’s article refers (...) of course to Alan Turing, famous for his explication of the notion of mechanical computation on discrete data such as the integers. The ‘Newton’ there has to do to with the well known numerical method due to Isaac Newton for approximating the zeros of continuous functions under suitable conditions that is taken to be a paradigm of scientific computing. Finally, the meaning of “Turing meets Newton” in the title of Blum’s article has another, more particular aspect: in connection with the problem of controlling errors in the numerical solution of linear equations and inversion of matrices,Turing (1948) defined a notion of condition for the relation of changes in the output of a computation due to small changes in the input that is analogous to Newton’s definition of the derivative. The thrust of Blum’s 2004 article was that the BSS model of computation on the reals is the appropriate foundation for scientific computing in general. By way of response, two years later another very interesting and equally readable article appeared in the Notices, this time by Mark Braverman and Stephen Cook (2006) entitled “Computing over the reals: Foundations for scientific computing,” in which the authors argued that the requisite foundation is provided by a quite different “bit computation” model, that is in fact prima facie incompatible with the BSS model. The bit computation model goes back to ideas due to Stefan Banach and Stanislaw Mazur in the latter part of the 1930s, but the first publication was not made until Mazur (1963).. (shrink)

A computer's task is often taken to be that of starting with some input, grinding for a while, and eventually returning an output. Remarkably, all such tasks can be accomplished "reversibly", with an arbitrarily low intrinsic entropy cost, and in reasonable space and time relative to irreversible approaches.

Computers have far to go to match human strengths, and our estimates will depend on analogy and extrapolation. Fortunately, these are grounded in the first bit of the journey, now behind us. Thirty years of computer vision reveals that 1 MIPS can extract simple features from real-time imagery--tracking a white line or a white spot on a mottled background. 10 MIPS can follow complex gray-scale patches--as smart bombs, cruise missiles and early self-driving vans attest. 100 MIPS can follow moderately unpredictable (...) features like roads--as recent long NAVLAB trips demonstrate. 1,000 MIPS will be adequate for coarse-grained three-dimensional spatial awareness--illustrated by several mid-resolution stereoscopic vision programs, including my own. 10,000 MIPS can find three-dimensional objects in clutter--suggested by several "bin-picking" and high-resolution stereo-vision demonstrations, which accomplish the task in an hour or so at 10 MIPS. The data fades there--research careers are too short, and computer memories too small, for significantly more elaborate experiments. (shrink)

Brain-computer interface based on steady-state visual evoked potential has been widely studied due to the high information transfer rate, little user training, and wide subject applicability. However, there are also disadvantages such as visual discomfort and “BCI illiteracy.” To address these problems, this study proposes to use low-frequency stimulations, which can simultaneously elicit visual evoked potential and pupillary response to construct a hybrid BCI system. Classification accuracy was calculated using supervised and unsupervised methods, respectively, and the hybrid accuracy was obtained (...) using a decision fusion method to combine the information of VEP and PR. Online experimental results from 10 subjects showed that the averaged accuracy was 94.90 ± 2.34% for the supervised method and 91.88 ± 3.68% for the unsupervised method, which correspond to the ITR of 64.35 ± 3.07 bits/min and 33.19 ± 2.38 bpm, respectively. Notably, the hybrid method achieved higher accuracy and ITR than that of VEP and PR for most subjects, especially for the short data length. Together with the subjects’ feedback on user experience, these results indicate that the proposed h-BCI with the low-frequency stimulation paradigm is more comfortable and favorable than the traditional SSVEP-BCI paradigm using the alpha frequency range. (shrink)

Surprise – these much-publicized rules are not the least bit reassuring to people who specialize in the study of ethics. While attention to ethics is certainly welcome, these ethical codes provide a too-easy cop-out, a way to neatly dispose of attention to nagging and pervasive problems. The typical professional code is little more than a checklist of rules that enables professionals of any stripe to give lip service to ethical behavior without engaging in continuing dialogue on ethical dilemmas. Neatly packaged (...) commandments short-circuit development of the reasoning tools to work through ethical challenges meaningfully and with long-lasting impact on the actual behavior in any field. (shrink)

Unlike Martin‐Löf randomness and Schnorr randomness, computable randomness has not been defined, except for a few ad hoc cases, outside of Cantor space. This paper offers such a definition (actually, several equivalent definitions), and further, provides a general method for abstracting “bit‐wise” definitions of randomness from Cantor space to arbitrary computable probability spaces. This same method is also applied to give machine characterizations of computable and Schnorr randomness for computable probability spaces, extending the previously known results. The paper contains a (...) new type of randomness—endomorphism randomness—which the author hopes will shed light on the open question of whether Kolmogorov‐Loveland randomness is equivalent to Martin‐Löf randomness. The last section contains ideas for future research. (shrink)

In this paper we shed new light on the Argument from Disagreement by putting it to test in a computer simulation. According to this argument widespread and persistent disagreement on ethical issues indicates that our moral opinions are not influenced by any moral facts, either because no such facts exist or because they are epistemically inaccessible or inefficacious for some other reason. Our simulation shows that if our moral opinions were influenced at least a little bit by moral facts, we (...) would quickly have reached consensus, even if our moral opinions were affected by factors such as false authorities, external political shifts, and random processes. Therefore, since no such consensus has been reached, the simulation gives us increased reason to take seriously the Argument from Disagreement. Our conclusion is however not conclusive; the simulation also indicates what assumptions one has to make in order to reject the Argument from Disagreement. The simulation algorithm we use builds on the work of Hegselmann and Krause (J Artif Soc Social Simul 5(3); 2002, J Artif Soc Social Simul 9(3), 2006). (shrink)

Pattern recognition is represented as the limit, to which an infinite Turing process converges. A Turing machine, in which the bits are substituted with qubits, is introduced. That quantum Turing machine can recognize two complementary patterns in any data. That ability of universal pattern recognition is interpreted as an intellect featuring any quantum computer. The property is valid only within a quantum computer: To utilize it, the observer should be sited inside it. Being outside it, the observer would obtain quite (...) different result depending on the degree of the entanglement of the quantum computer and observer. All extraordinary properties of a quantum computer are due to involving a converging infinite computational process contenting necessarily both a continuous advancing calculation and a leap to the limit. Three types of quantum computation can be distinguished according to whether the series is a finite one, an infinite rational or irrational number. (shrink)

Replicability and reproducibility of computational models has been somewhat understudied by “the replication movement.” In this paper, we draw on methodological studies into the replicability of psychological experiments and on the mechanistic account of explanation to analyze the functions of model replications and model reproductions in computational neuroscience. We contend that model replicability, or independent researchers' ability to obtain the same output using original code and data, and model reproducibility, or independent researchers' ability to recreate a model without original code, (...) serve different functions and fail for different reasons. This means that measures designed to improve model replicability may not enhance (and, in some cases, may actually damage) model reproducibility. We claim that although both are undesirable, low model reproducibility poses more of a threat to long-term scientific progress than low model replicability. In our opinion, low model reproducibility stems mostly from authors' omitting to provide crucial information in scientific papers and we stress that sharing all computer code and data is not a solution. Reports of computational studies should remain selective and include all and only relevant bits of code. (shrink)

James E. Huchingson's Pandemonium Tremendum draws on a surprisingly fruitful analogy between metaphysics and thermodynamics, with the latter motivated through the more accessible language of communication theory. In Huchingson's model, God nurtures creation by the selective communication of bits of order that arise spontaneously in chaos.

The paper presents an approach to encrypt the color images using bit-level permutation and alternate logistic map. The proposed method initially segregates the color image into red, green, and blue channels, transposes the segregated channels from the pixel-plane to bit-plane, and scrambles the bit-plane matrix using Arnold cat map (ACM). Finally, the red, blue, and green channels of the scrambled image are confused and diffused by applying alternate logistic map that uses a four-dimensional Lorenz system to generate a pseudorandom number (...) sequence for the three channels. The parameters of ACM are generated with the help of Logistic-Sine map and Logistic-Tent map. The intensity values of scrambled pixels are altered by Tent-Sine map. One-dimensional and two-dimensional logistic maps are used for alternate logistic map implementation. The performance and security parameters histogram, correlation distribution, correlation coefficient, entropy, number of pixel change rate, and unified averaged changed intensity are computed to show the potential of the proposed encryption technique. (shrink)

Natural argument is represented as the limit, to which an infinite Turing process converges. A Turing machine, in which the bits are substituted with qubits, is introduced. That quantum Turing machine can recognize two complementary natural arguments in any data. That ability of natural argument is interpreted as an intellect featuring any quantum computer. The property is valid only within a quantum computer: To utilize it, the observer should be sited inside it. Being outside it, the observer would obtain quite (...) different result depending on the degree of the entanglement of the quantum computer and observer. All extraordinary properties of a quantum computer are due to involving a converging infinite computational process contenting necessarily both a continuous advancing calculation and a leap to the limit. Three types of quantum computation can be distinguished according to whether the series is a finite one, an infinite rational or irrational number. -/- . (shrink)

A generic computation of a subset $A$ of $\mathbb{N}$ consists of a computation that correctly computes most of the bits of $A$, and never incorrectly computes any bits of $A$, but which does not necessarily give an answer for every input. The motivation for this concept comes from group theory and complexity theory, but the purely recursion theoretic analysis proves to be interesting, and often counterintuitive. The primary result of this paper is that there are no minimal pairs (...) for generic computability, answering a question of Jockusch and Schupp. (shrink)

A set theory model of reality, representation and language based on the relation of completeness and incompleteness is explored. The problem of completeness of mathematics is linked to its counterpart in quantum mechanics. That model includes two Peano arithmetics or Turing machines independent of each other. The complex Hilbert space underlying quantum mechanics as the base of its mathematical formalism is interpreted as a generalization of Peano arithmetic: It is a doubled infinite set of doubled Peano arithmetics having a remarkable (...) symmetry to the axiom of choice. The quantity of information is interpreted as the number of elementary choices (bits). Quantum information is seen as the generalization of information to infinite sets or series. The equivalence of that model to a quantum computer is demonstrated. The condition for the Turing machines to be independent of each other is reduced to the state of Nash equilibrium between them. Two relative models of language as game in the sense of game theory and as ontology of metaphors (all mappings, which are not one-to-one, i.e. not representations of reality in a formal sense) are deduced. (shrink)

Landauer's principle, often regarded as the basic principle of the thermodynamics of information processing, holds that any logically irreversible manipulation of information, such as the erasure of a bit or the merging of two computation paths, must be accompanied by a corresponding entropy increase in non-information-bearing degrees of freedom of the information-processing apparatus or its environment. Conversely, it is generally accepted that any logically reversible transformation of information can in principle be accomplished by an appropriate physical mechanism operating in (...) a thermodynamically reversible fashion. These notions have sometimes been criticized either as being false, or as being trivial and obvious, and therefore unhelpful for purposes such as explaining why Maxwell's Demon cannot violate the second law of thermodynamics. Here I attempt to refute some of the arguments against Landauer's principle, while arguing that although in a sense it is indeed a straightforward consequence or restatement of the Second Law, it still has considerable pedagogic and explanatory power, especially in the context of other influential ideas in nineteenth and twentieth century physics. Similar arguments have been given by Jeffrey Bub. (shrink)

A practical viewpoint links reality, representation, and language to calculation by the concept of Turing (1936) machine being the mathematical model of our computers. After the Gödel incompleteness theorems (1931) or the insolvability of the so-called halting problem (Turing 1936; Church 1936) as to a classical machine of Turing, one of the simplest hypotheses is completeness to be suggested for two ones. That is consistent with the provability of completeness by means of two independent Peano arithmetics discussed in Section I. (...) Many modifications of Turing machines cum quantum ones are researched in Section II for the Halting problem and completeness, and the model of two independent Turing machines seems to generalize them. Then, that pair can be postulated as the formal definition of reality therefore being complete unlike any of them standalone, remaining incomplete without its complementary counterpart. Representation is formal defined as a one-to-one mapping between the two Turing machines, and the set of all those mappings can be considered as “language” therefore including metaphors as mappings different than representation. Section III investigates that formal relation of “reality”, “representation”, and “language” modeled by (at least two) Turing machines. The independence of (two) Turing machines is interpreted by means of game theory and especially of the Nash equilibrium in Section IV. Choice and information as the quantity of choices are involved. That approach seems to be equivalent to that based on set theory and the concept of actual infinity in mathematics and allowing of practical implementations. (shrink)

Since the emergence of computing as a mode of investigation in the sciences, computational approaches have revolutionised many fields of inquiry. Recently in philosophy, the question has begun rendering bit by bit—could computation be considered a deeper fundamental building block to all of reality? This paper proposes a continuum computing construct, predicated on a set of core computational principles: computability, discretisation, stability and optimisation. The construct is applied to the set of most fundamental physical laws, in the form of (...) non-relativistic conservation equations which underpin our governing physics. The discretisation approach divides all of space into a mesh of discrete computational cells, and evolution of data in those cells must obey pre-defined stability conditions from established continuum computing theory, namely, the Courant–Friedrichs–Lewy condition. Evolving cell-state data in a manner which logically optimises computational efficiency, combined with the defined stability condition, the construct derives a central coupling of space, time, and the fastest speed of information propagation. This coupling formed at the lowest level by the computing construct, naturally and inherently produces aspects of special relativity and general relativity at the macroscale. This paper therefore proposes a new explanation of why the nature of space and time may be fused, and explores simple emergent congruities with relativity. The theory invites us to reverse the philosophical premise of the original Simulation Argument. This argument currently leads us to consider: how might all of the observed physics of our reality be reproduced computationally in a simulation of our existence? This work asks instead: could foundations of the physics of our universe—namely spacetime coupling—emerge inherently, and necessarily, from fundamental principles of computation? (shrink)

The problem of initializing phase in a quantum computing system is considered. The initialization of phases is a problem when the system is initially present in a superposition state as well as in the application of the quantum gate transformations, since each gate will introduce phase uncertainty. The accumulation of these random phases will reduce the effectiveness of the recently proposed quantum computing schemes. The paper also presents general observations on the nonlocal nature of quantum errors and the expected performance (...) of the recently proposed quantum error-correction codes that are based on the assumption that the errors are either bit-flip or phase-flip or both. It is argued that these codes cannot directly solve the initialization problem of quantum computing. (shrink)

Basic Digital Education is already planned to be integrated with the forthcoming curriculum for Austrian primary schools as it was already implemented for lower secondary schools in 2018. BDE includes the most essential and novel developments of Computational Thinking, which are fundamentally responsible for nurturing students' problem-solving skills. Thus, evaluating teaching materials, scaffolding guidelines, and assessments is becoming increasingly important for the successful implementation of CT in Austrian classrooms. This study is a part of a longitudinal multi-cycle educational design research (...) project aiming to explore how to foster CT and to raise the awareness, importance, and confidence of teachers and students in applying CT for everyday uses. Our paper focuses on a sub-study in which teaching units for grade 3 and 4 students were designed by combining an Open Educational Resource textbook and Physical Computing with the micro:bit device. The designed learning environment consists of three units and was implemented in two classes over 3 weeks. The two classes were further split into two groups each, to ensure better support during implementation. The class teachers received upfront teacher training and conducted pre- and post-test assessments with the students. The resulting data was then analyzed to gain insights into the effects on CT skills of the young learners. Results showed that combining block-based programming and physical computing devices could become a promising approach to promote computational thinking skills in lower school grades. Furthermore, the observed direction of the designed units supports low-barrier access to increase the desired uses of CT in classrooms. (shrink)

The explosion of data grows at a rate of roughly five trillion bits a second, giving rise to greater urgency in conceptualizing the infosphere and understanding its implications for knowledge and public policy. Philosophers of technology and information technologists alike who wrestle with ontological and epistemological questions of digital information tend to emphasize, as Floridi does, information as our new ecosystem and human beings as interconnected informational organisms, inforgs at home in ambient intelligence. But the linguistic and conceptual representations of (...) Big Data—the massive volume of both structured and unstructured data—and the real world practice of data-mining for patterns and meaningful interpretation of evidence reveal tension and ambiguity in the bold promise of data analytics. This paper explores the tacit epistemology of the rhetoric and representation of Big Data and suggests a richer account of its ambiguities and the paradox of its real world materiality. We argue that Big Data should be recognized as manifesting multiple and conflicting trajectories that reflect human intentionality and particular patterns of power and authority. Such patterns require attentive exploration and moral appraisal if we are to resist simplistic informationist ontologies of Big Data, and the subtle forms of control in the political ecology of Big Data that undermine its promise as transformational knowledge. (shrink)

Legal information certification and secured storage combined with documents electronic signature are of great interest when digital documents security and conservation are in concern. Therefore, these new and evolving technologies offer powerful abilities, such as identification, authentication and certification. The latter contribute to increase the global security of legal digital archives conservation and access. However, currently used cryptographic and hash coding concepts cannot intrinsically enclose cognitive information about both the signer and the signed content. Indeed, an evolution of these technologies (...) may be necessary to achieve full text researches within hundreds or thousands of electronically signed documents. This article aims at describing a possible model along with associated processes to create and make use of these new electronic signatures called “meaningful electronic signatures” as opposed to traditional electronic signatures based on bit per bit computation. (shrink)

Quantum computer is considered as a generalization of Turing machine. The bits are substituted by qubits. In turn, a "qubit" is the generalization of "bit" referring to infinite sets or series. It extends the consept of calculation from finite processes and algorithms to infinite ones, impossible as to any Turing machines (such as our computers). However, the concept of quantum computer mets all paradoxes of infinity such as Gödel's incompletness theorems (1931), etc. A philosophical reflection on how quantum computer might (...) implement the idea of "infinite calculation" is the main subject. (shrink)

This paper for a conference on computing in education included an extract from my 1978 book "The computer revolution in philosophy": -/- Another book on how computers are going to change our lives? Yes, but this is more about computing than about computers, and it is more about how our thoughts may be changed than about how housework and factory chores will be taken over ... Thoughts can be changed in many ways. The invention of painting and drawing permitted new (...) thoughts in the processes of creating and interpreting pictures. The invention of speaking and writing also permitted profound extensions of our abilities to think and communicate. Computing is a bit like the invention of paper (a new medium of expression) and the invention of writing (new symbolisms to be embedded in the medium) combined. But the writing is more important than the paper.... (The Preface) .. (shrink)

Building computational models of engineered exemplars, or prototypes, is a common practice in the bioengineering sciences. Computational models in this domain are often built in a patchwork fashion, drawing on data and bits of theory from many different domains, and in tandem with actual physical models, as the key objective is to engineer these prototypes of natural phenomena. Interestingly, such patchy model building, often combined with visualizations, whose format is open to a wide range of choice, leads to the discovery (...) of new concepts and control structures. Two key questions are raised by this practice: how could discoveries arise from building external representations for which there is wide latitude in choice of the components from which they are built, and thus can be considered significantly arbitrary, and how could such discoveries allow engineering a real-world prototype system. To examine these questions, we present two case studies of discoveries that emerged from the building of such computational models in the bioengineering sciences. We then develop a process model that accounts for the discovery and transfer problems raised by both these cases, focusing on the process of building the model. Specifically, to account for the discovery problem, we propose that the process of building such models gradually leads to a close coupling between the modeler’s internal processes and the external dynamic model. To account for the transfer problem, we propose that the process of building the model leads to the creation of an enactive model that is generic, which closely enacts, and thus reveals, the way the system-level behavior of the engineered prototype emerges in time through the interaction of its parts. This enactive replication process leads to the model and the prototype forming a new class, which allows concepts and control structures developed for the computational model to be transfered to the real-world prototype. We argue that this account requires rethinking correspondence in engineering sciences as a plastic and enactive relation. A closer focus on the process of building models is required to develop a general account of this emerging approach to discovery. (shrink)

Augmented reality-based brain–computer interface (AR–BCI) has a low signal-to-noise ratio (SNR) and high real-time requirements. Classical machine learning algorithms that improve the recognition accuracy through multiple averaging significantly affect the information transfer rate (ITR) of the AR–SSVEP system. In this study, a fast recognition method based on a separable convolutional neural network (SepCNN) was developed for an AR-based P300 component (AR–P300). SepCNN achieved single extraction of AR–P300 features and improved the recognition speed. A nine-target AR–P300 single-stimulus paradigm was designed to (...) be administered with AR holographic glasses to verify the effectiveness of SepCNN. Compared with four classical algorithms, SepCNN significantly improved the average target recognition accuracy (81.1%) and information transmission rate (57.90 bits/min) of AR–P300 single extraction. SepCNN with single extraction also attained better results than classical algorithms with multiple averaging. (shrink)

Could computers ever be conscious? Will they ever have ideas that one could attribute to them and not to the programmer? Will robots be able to 'feel pain', instead of processing bits from sensors informing about danger? Will they have true emotions? These questions may never be answered, but it makes sense to ask whether humans will ever attribute mind to artifacts. This paper suggests introducing a third level of claims regarding artificial intelligence (AI), which is in between 'weak AI' (...) and 'strong AI', the so-called 'attributed AI'. This level requires more than weak AI ('behave as if', which could be said of any desktop calculator), but is less presumptuous than strong AI ('computers that think', a claim that is hard to prove). Attributed AI can be measured. This paper discusses behavioral paradigms for measurements of attributed AI and presents first experimental data. (shrink)

We describe punctual categoricity in several natural classes, including binary relational structures and mono-unary functional structures. We prove that every punctually categorical structure in a finite unary language is${\text {PA}}(0')$-categorical, and we show that this upper bound is tight. We also construct an example of a punctually categorical structure whose degree of categoricity is$0''$. We also prove that, with a bit of work, the latter result can be pushed beyond$\Delta ^1_1$, thus showing that punctually categorical structures can possess arbitrarily complex (...) automorphism orbits.As a consequence, it follows that binary relational structures and unary structures are not universal with respect to primitive recursive interpretations; equivalently, in these classes every rich enough interpretation technique must necessarily involve unbounded existential quantification or infinite disjunction. In contrast, it is well-known that both classes are universal for Turing computability. (shrink)

Can quantum communication be more efficient than its classical counterpart? Holevo's theorem rules out the possibility of communicating more than n bits of classical information by the transmission of n quantum bits—unless the two parties are entangled, in which case twice as many classical bits can be communicated but no more. In apparent contradiction, there are distributed computational tasks for which quantum communication cannot be simulated efficiently by classical means. In some cases, the effect of transmitting quantum bits cannot be (...) achieved classically short of transmitting an exponentially larger number of bits. In a similar vein, can entanglement be used to save on classical communication? It is well known that entanglement on its own is useless for the transmission of information. Yet, there are distributed tasks that cannot be accomplished at all in a classical world when communication is not allowed, but that become possible if the non-communicating parties share prior entanglement. This leads to the question of how expensive it is, in terms of classical communication, to provide an exact simulation of the spooky power of entanglement. (shrink)

There is quite a bit of disagreement in cognitive science regarding the role that consciousness and control play in explanations of how people do what they do. The purpose of the present paper is to do the following: (1) examine the theoretical choice points that have lead theorists to conflicting positions, (2) examine the philosophical and empirical problems different theories encounter as they address the issue of conscious agency, and (3) provide an integrative framework (Wild Systems Theory) that addresses these (...) problems and potentially naturalizes conscious agency. It does so by grounding conscious and control in the notion of self-sustaining energy-transformation systems (i.e., living systems), versus computational or self- organizing systems, as is the case in information processing theory and dynamical systems theory, respectively. Given its assertion that content (and consciousness) emerges in self-sustaining systems, Wild Systems Theory may also provide a sound theoretical basis for a science of consciousness in general. (shrink)

There is quite a bit of disagreement in cognitive science regarding the role that consciousness and control play in explanations of how people do what they do. The purpose of the present paper is to do the following: (1) examine the theoretical choice points that have lead theorists to conflicting positions, (2) examine the philosophical and empirical problems different theories encounter as they address the issue of conscious agency, and (3) provide an integrative framework (Wild Systems Theory) that addresses these (...) problems and potentially naturalizes conscious agency. It does so by grounding conscious and control in the notion of self-sustaining energy-transformation systems (i.e., living systems), versus computational or self- organizing systems, as is the case in information processing theory and dynamical systems theory, respectively. Given its assertion that content (and consciousness) emerges in self-sustaining systems, Wild Systems Theory may also provide a sound theoretical basis for a science of consciousness in general. (shrink)

A remarkable thesis prevails in the physics of information, saying that the logical properties of operations that are carried out by computers determine their physical properties. More specifically, it says that logically irreversible operations are dissipative by klog2 per bit of lost information. (A function is logically irreversible if its input cannot be recovered from its output. An operation is dissipative if it turns useful forms of energy into useless ones, such as heat energy.) This is Landauer's dissipation thesis, hereafter (...) LDT. LDT underlies and motivates numerous researches in physics and computer science. Nevertheless, this paper shows that is it plainly wrong. This conclusion is based on a detailed study of LDT in terms of the various notions of entropy used in main stream statistical mechanics. It is supported by a counter example for LDT. Further support is found in an analysis of the phase space representation on which LDT relies. This analysis emphasises the constraints placed on the choice of probability distribution by the fact that it has to be the basis for calculating phase averages corresponding to thermodynamic properties of individual systems. An alternative representation is offered, in which logical irreversibility has nothing to do with dissipation. The strong connection between logic and physics, that LDT implies, is thereby broken off. (shrink)

A generic computation of a subsetAof ℕ is a computation which correctly computes most of the bits ofA, but which potentially does not halt on all inputs. The motivation for this concept is derived from complexity theory, where it has been noticed that frequently, it is more important to know how difficult a type of problem is in the general case than how difficult it is in the worst case. When we study this concept from a recursion theoretic (...) point of view, to create a transitive relationship, we are forced to consider oracles that sometimes fail to give answers when asked questions. Unfortunately, this makes working in the generic degrees quite difficult. Indeed, we show that generic reduction is$\Pi _1^1$―complete. To help avoid this difficulty, we work with the generic degrees of density-1 reals. We demonstrate how an understanding of these degrees leads to a greater understanding of the overall structure of the generic degrees, and we also use these density-1 sets to provide a new a characterization of the hyperartithmetical Turing degrees. (shrink)

Call a bit of scientific discourse a description of a missing system when (i) it has the surface appearance of an accurate description of an actual, concrete system (or kind of system) from the domain of inquiry, but (ii) there are no actual, concrete systems in the world around us fitting the description it contains, and (iii) that fact is recognised from the outset by competent practitioners of the scientific discipline in question. Scientific textbooks, classroom lectures, and journal articles abound (...) with such passages; and there is a widespread practice of talking and thinking as though there are systems which fit the descriptions they contain perfectly, despite the recognition that no actual, concrete systems do so—call this the face value practice. There are, furthermore, many instances in which philosophers engage in the face value practice whilst offering answers to epistemological and methodological questions about the sciences. Three questions, then: (1) How should we interpret descriptions of missing systems? (2) How should we make sense of the face value practice? (3) Is there a set of plausible answers to (1) and (2) which legitimates reliance on the face value practice in our philosophical work, and can support the weight of the accounts which are entangled with that practice? In this paper I address these questions by considering three answers to the first: that descriptions of missing systems are straightforward descriptions of abstract objects, that they are indirect descriptions of “property-containing” abstracta, and that they are (in a different way) indirect descriptions of mathematical structures. All three proposals are present in the literature, but I find them wanting. The result is to highlight the importance of developing a satisfactory understanding of descriptions of missing systems and the face value practice, to put pressure on philosophical accounts which rely on the practice, and to help us assess the viability of certain approaches to thinking about models, theory structure, and scientific representation. (shrink)

The previous chapters have provided a detailed overview of the variety of ethical challenges posed by the development of ICTs. By way of conclusion, in this epilogue I would like to invite the reader to look into the possible future of Information and Computer Ethics. More specifically, I shall try to forecast how the convergence of two fundamental trends of our times, globalization and the development of the information society, may interact with the ethical problems analysed in this book. The (...) exercise will not be based on some untenable technological determinism. Humanity is, and will remain, firmly in charge of its destiny and hence be responsible for it. Rather, it will mean adopting the farmer's view that, with enough intelligence, toil and a bit of luck, one might be able to tell today what one will probably reap tomorrow. Before trying to ‘look into the seeds of time, and say which grain will grow and which will not’ (Shakespeare, Macbeth, Act I, Scene III, 59–62), two clarifications might be in order. First, the future of globalization is a phenomenon too complex even to sketch in this brief epilogue. For a synthetic, well-balanced and informed overview, the reader may wish to consult Held and McGrew (2001) and consider that this chapter is written from what Held et al. (1999)) have defined as a ‘transformationalist perspective’, according to which ‘globalization does not simply denote a shift in the extensity or scale of social relations and activity. (shrink)

I recently discovered that work I was doing in the laboratory and in theoretical writings was implicitly taking a position on a set of questions that philosophers had been worrying about for much of the past 30 or more years. My clandestine involvement in philosophical issues began when a computer science colleague and I were trying to build a model of geometrical reasoning that would draw a diagram and notice things in the diagram as it drew it (Pylyshyn, Elcock, Marmor, (...) & Sander, 1978). One problem we found we had to face was that if the system discovered a right angle it had no way to tell whether this was the intersection of certain lines it had drawn earlier while constructing a certain figure, and if so which particular lines they were. Moreover, the model had no way of telling whether this particular right angle was identical to some bit of drawing it had earlier encountered and represented as, say, the base of a particular triangle. There was, in other words, no way to determined the identity of an element (I use the term “element” when referring to a graphical unit such as used in experiments. Otherwise when speaking informally I use the term “thing” on the grounds that nobody would mistake that term for a technical theoretical construct. Eventually I end up calling them “Visual Objects” to conform to usage in psychology) at two different times if it was represented differently at those times. This led to some speculation about the need for what we called a “finger” that could be placed at a particular element of interest and that could be used to identify it as particular token thing (the way you might identify a particular feature on paper by labeling it). In general we needed something like a finger that would stay attached to a particular element and could be used to maintain a correspondence between the individual element that was just noticed now and one that had been represented in some fashion at an earlier time. The idea of such fingers (which.... (shrink)

This article concerns the claim that it is possible to create living organisms, not merely models that represent organisms, simply by programming computers. I ask what sort of things these computer-generated organisms are supposed to be. I consider four possible answers to this question: The organisms are abstract complexes of pure information; they are material objects made of bits of computer hardware; they are physical processes going on inside the computer; and they are denizens of an entire artificial world, different (...) from our own, that the programmer creates. I argue that could not be right, that collapses into, and that would make strong alife either absurd or uninteresting. Thus, "virtual" strong alife amounts to the claim that, by programming a computer, one can literally bring bits of its hardware to life. (shrink)

I have very little disagreement with Carruthers' article, for our views are very similar. I think he is terminologically a bit hard on Michael Tye. I think that in invoking Swampman he is in danger of conflating teleological theories of representation with etiological theories of teleology. In response to his criticism of my own higher-order experience view, I argue that there is good reason to believe that we human beings sport as great a degree of computational complexity as is needed (...) for HOEs. If other animals do not exhibit a comparable degree, we should deny that they have "phenomenal-consciousness" in the strong sense of that term. (shrink)

In the first part of this talk I show how some ideas in the new "4EA" branch of cognitive science, which gets away from the computer metaphor to talk about affective cognition as the direction of action of an organism, can be illuminated by Deleuze's ontology. Now that may sound ridiculous, as Deleuze's terminology is notoriously baroque – how could it ever "illuminate" anything? So I'm going to be using plain English translations of his concepts; I think his concepts are (...) too good, too useful, for his terminology to be such a barrier to entry. Then I'm going to use this mixture of Deleuze and 4EA ideas to examine a case study which has, besides its metaphysical and psychological implications, some ethical, political, and legal ones as well. So to deal with them we'll deal just a bit with Agamben and Foucault. (shrink)

This is an overview article that contains the discussion of the connection between information and physics at the elementary level. We present a derivation of Lindauer’s bound for heat emission during irreversible logical operation. In this computation the Szilard’s version of Maxwell’s demon paradox is used as a model to design thermodynamic implementation of a single bit of computer memory. Lindauer’s principle also motivates the discussion on the practical and emergent nature of the information. Apart from physics, the principle (...) has implications in philosophy. (shrink)

Digital artifacts from iPads to databases pervade our lives, and the design decisions that shape them affect how we think, act, communicate, and understand the world. But the pace of change has been so rapid that technical innovation is outstripping design. Interactors are often mystified and frustrated by their enticing but confusing new devices; meanwhile, product design teams struggle to articulate shared and enduring design goals. With Inventing the Medium, Janet Murray provides a unified vocabulary and a common methodology for (...) the design of digital objects and environments. It will be an essential guide for both students and practitioners in this evolving field. Murray explains that innovative interaction designers should think of all objects made with bits--whether games or Web pages, robots or the latest killer apps--as belonging to a single new medium: the digital medium. Designers can speed the process of useful and lasting innovation by focusing on the collective cultural task of inventing this new medium. Exploring strategies for maximizing the expressive power of digital artifacts, Murray identifies and examines four representational affordances of digital environments that provide the core palette for designers across applications: computational procedures, user participation, navigable space, and encyclopedic capacity. Each chapter includes a set of Design Explorations--creative exercises for students and thought experiments for practitioners--that allow readers to apply the ideas in the chapter to particular design problems. Inventing the Medium also provides more than 200 illustrations of specific design strategies drawn from multiple genres and platforms and a glossary of design concepts. (shrink)

The epistemic modal auxiliaries must and might are vehicles for expressing the force with which a proposition follows from some body of evidence or information. Standard approaches model these operators using quantificational modal logic, but probabilistic approaches are becoming increasingly influential. According to a traditional view, must is a maximally strong epistemic operator and might is a bare possibility one. A competing account—popular amongst proponents of a probabilisitic turn—says that, given a body of evidence, must \ entails that \\) is (...) high but non-maximal and might \ that \\) is significantly greater than 0. Drawing on several observations concerning the behavior of must, might and similar epistemic operators in evidential contexts, deductive inferences, downplaying and retractions scenarios, and expressions of epistemic tension, I argue that those two influential accounts have systematic descriptive shortcomings. To better make sense of their complex behavior, I propose instead a broadly Kratzerian account according to which must \ entails that \ = 1\) and might \ that \ > 0\), given a body of evidence and a set of normality assumptions about the world. From this perspective, must and might are vehicles for expressing a common mode of reasoning whereby we draw inferences from specific bits of evidence against a rich set of background assumptions—some of which we represent as defeasible—which capture our general expectations about the world. I will show that the predictions of this Kratzerian account can be substantially refined once it is combined with a specific yet independently motivated ‘grammatical’ approach to the computation of scalar implicatures. Finally, I discuss some implications of these results for more general discussions concerning the empirical and theoretical motivation to adopt a probabilisitic semantic framework. (shrink)

There has recently been a good deal of controversy about Landauer's Principle, which is often stated as follows: The erasure of one bit of information in a computational device is necessarily accompanied by a generation of kT ln 2 heat. This is often generalised to the claim that any logically irreversible operation cannot be implemented in a thermodynamically reversible way. John Norton (2005) and Owen Maroney (2005) both argue that Landauer's Principle has not been shown to hold in general, and (...) Maroney offers a method that he claims instantiates the operation reset in a thermodynamically reversible way. In this paper we defend the qualitative form of Landauer's Principle, and clarify its quantitative consequences (assuming the second law of thermodynamics). We analyse in detail what it means for a physical system to implement a logical transformation L, and we make this precise by defining the notion of an L-machine. Then we show that logical irreversibility of L implies thermodynamic irreversibility of every corresponding L-machine. We do this in two ways. First, by assuming the phenomenological validity of the Kelvin statement of the second law, and second, by using information-theoretic reasoning. We illustrate our results with the example of the logical transformation 'reset', and thereby recover the quantitative form of Landauer's Principle. (shrink)

In a previous paper a theory of program size formally identical to information theory was developed. The entropy of an individual finite object was defined to be the size in bits of the smallest program for calculating it. It was shown that this is − log2 of the probability that the object is obtained by means of a program whose successive bits are chosen by flipping an unbiased coin. Here a theory of the entropy of recursively enumerable sets of objects (...) is proposed which includes the previous theory as the special case of sets having a single element. The primary concept in the generalized theory is the probability that a computing machine enumerates a given set when its program is manufactured by coin flipping. The entropy of a set is defined to be − log2 of this probability. (shrink)

continent. 1.1 (2011): 22-25. The Author gratefully acknowledges the financial support of CAPES (Coordenação de Aperfeiçoamento do Ensino Superior), Brazil. From the multifarious subdivisions of semiotics, be they naturalistic or culturalistic, the realm of semiotics of value is a ?eld that is getting more and more attention these days. Our entire political and economic systems are based upon structures of symbolic representation that many times seem not only to embody monetary value but also to determine it. The connection between monetary (...) and linguistic exchanges is self-evident: the former requires the latter and develops in direct relation to it. Creative experimentation and design of digital systems of value exchange are blossoming on the web. Dr. Gilson Schwartz, an economist turned media theorist and professor at the University of São Paulo, adopted the concept of Iconomics, originally created by Michael Kaplan, an author concerned with the linguistics of economic value. Empowering local communities and unlocking new levels of value creation and representation via digital technologies are the main goals of Dr. Schwartz’s projects, aiming at the re-designing of our relationship to the economic value of imagination and the social control of property. Schwartz is Assistant Professor at the School of Communication and Arts of the University of São Paulo, a former Chief Economist at BankBoston, Brazil and Advisor to the President of the National Social and Economic Development Bank (BNDES). FURTHER READING: Kaplan, Michael. “Iconomics: The Rhetoric of Speculation.” Public Culture . 15.3 (2003): 477-493. Renata Lemos-Morais: You have recently produced and directed a short documentary about Creative Currencies in Latin America. Could you tell us a bit about its process and its findings? Gilson Schwartz: The “Creative Currencies” project is a work-in-progress platform which unfolds as an action research agenda connected both to the production of audiovisual content and the development of social currency software. The initiative dates back to 2003 when I led an experimental project supported by the Presidency of Brazil. At that time, we issued paper currency in a small, touristic village in the Northeast Region which stimulated local cultural projects. But it was only in 2009 that the Central Bank of Brazil acknowledged “social currencies” as a legitimate economic agenda, calling for more debate at the I Financial Inclusion Forum. This year, the monetary authorities organized a second forum that also opened the room to discussions on mobile payment systems and new perspectives on poverty alleviation via State subsidies. The Ministry of Culture funded the “Creative Currencies” project in 2009-2010 and our next stage in this discovery process is to be supported by the National Social and Economic Development Bank (BNDES). In short, there is genuine interest among public officials in different areas and public funding for social currencies is on the rise in Brazil. However, after all these years we are still at a very early stage of research and practice. Some of the most successful initiatives (such as Banco Palmas) actually evolved out of local monetary creation to become correspondent banking operations for commercial banks and other financial groups. After eight years of price stability and social inclusion, Brazil stands out as a major opportunity for social experimentation, even the Grameen Bank is now entering the Brazilian market and many NGOs are geared towards different forms of entrepreneurialism in the base of the pyramid, riding solidarity economic models, microfinance and microcredit for local development. It is yet to be seen, however, whether these developments are just one more stage of “bankarization”, that is to say, an extension of regular banking services or actually a new form of social and symbolic self-determination at the local level. So far, the Central Bank of Brazil is open to new forms of credit and local finance as long as they are strictly territorial and very close to barter among the poor. In other words, whether the process of monetary creation could be made to fit an open source paradigm is yet to be seen. Community banking and social currencies might as well end up as just another channel for access to and use of banking services. The “Creative Currencies” project aims at promoting the discussion of more fundamental issues, such as the limits of central banking, the prospects for local financial development and the possibility of creating and managing financial icons as cultural assets. The purpose of this project is to produce short documentaries that will bear testimony to this evolving regulatory framework while inducing more discussion about the fundamental iconomic issues concealed in the process of money and wealth creation. RLM: What new potential is there in applying digital technologies to currency creation? GS: Globalization is a result of the virtualization of money, that is, the overcoming of illusions such as the “gold standard”. Money is an icon created by institutions, not on supposedly natural or material foundations but out of political and financial interests. The “dollar standard” is an outstanding evidence of this phenomenon and Kaplan´s paper, the first to use the expression “iconomics”, insists on the rhetoric and semiotic effects associated to a supposedly scientific model of money creation and management. This is a fundamental change that was perceived and discussed much before the digitalization of the world by unorthodox economists such as John Maynard Keynes since the early 20th century. The digitalization of global financial flows accelerated this immateriality and the creation of the Euro was yet another evidence of the political foundations of currencies. The banking establishment, however, is keen on the idea that scientific formulae hold the key to sound money creation. Keynesianism has been repeatedly associated to “inflationism” while the supposedly sound monetary policies of the Orthodoxy serve well the political and financial interests of a technocratic elite. Corporate media also serve this fictitious depiction of the monetary process despite the cyclical bust of monetary rules and financial regulations. The internet, however, has created numerous opportunities for the disintermediation in industries such as film, music and commodities. There is no reason to doubt that the financial industry can also be transformed by Peer-to-Peer (P2P) infrastructures. Money is media as well. Credit is but confidence. Once people realize that the distributed computing power of networks can also be the platform to weave new monetary and credit operations, there is room for grassroots emancipation out of the established owners of monetary institutions. So far, however, there has been a privatization of monetary management and there is not a clear path or model for the emergent (P2P) property democratization that is inherent to the internet. Digital assets, however, clearly have an inherent potential to escape central control and proprietary regulatory frameworks. RLM: How are social networks transforming the ways in which we exchange value? Do you believe that online influence and reputation might be translated into a new kind of currency? GS: The foundation for social currencies as envisaged by solidarity economics is the territory. Authorities are willing to concede local monetary creation as long as it is restricted to poor neighborhoods, as a proxy to barter. In this relevant but limited context, reputation, personal knowledge and informal ties form the matrix of local or “proximity” finance which are expected to keep credit and leverage to a sustainable level. Anything beyond that should and would lead to an integration of local finance into the established banking system. However, inasmuch as the internet promotes virtual territories and reputation is now subject to all sorts of digital manipulation and stardom becomes an everyday cultural process among teenagers and elders alike, the territorial “foundation” is substituted for more complex patterns of solidarity, cooperation and exchange that reach beyond the physical territory and even the “human.” Digital assets embody knowledge, technology, cultural and educational values that are exchanged at a global scale beyond the control of democratic States (Chinese-like intervention is the exception, not the rule). Hacktivism is unstoppable and so is monetary hacktivism. Especially in the Third World, mobile communications fast became conveyors of money transfers and other appropriation strategies. Banking and telecom sectors already battle for the control of these emerging markets and, as a matter of fact, have so far contributed to the containment of these processes. Governments serve these moguls and have usually adopted a wait-and-see attitude. If open source hardware and grassroots social movements combine to challenge these proprietary battles, then social networks may evolve into new forms of social capital and thus form the ground on which to design and implement social currencies. The global financial crisis, as well as the dollar demise, are an event of such a proportion that social networks may open the path for emancipator subjects to seize the opportunity. RLM: What are some of the social experiments that you think are revolutionizing the way in which value is exchanged? GS: There is a broad evolution of economic systems towards the valuation of intangible assets such as knowledge, reputation and sustainability. There are many examples of local as well as global events that call the traditional systems of exchange into question, from carbon credits to educational bonuses, digital barter frameworks and locally based solidarity and fair trade networks. These emerging examples, no matter how different in nature or scale, represent a challenge to the traditional value creation schemes and theories which are based on use and exchange value, supply and demand. This is not to say that utility and labour or scarcity are to be totally dismissed, but there is now an emerging perception that value is also a function of behavioral codes, symbolic patterns and the energy of institutional frameworks. The plasticity of digital platforms is relevant insofar as intellectual property becomes the central source of value creation. But when you discuss the property rights of public goods such as the environment or basic social rights (of minorities or localities), then a new paradigm seems to emerge. RLM: Are gaming and online storytelling digital practices that might have an impact on the way new currencies are created and developed? GS: “Play money” has been one of the early and most intriguing phenomena associated to the diffusion of virtual worlds. These virtual currencies have also been prone to “boom and bust” dynamics, speculation and pure theft (Second Life scams were common and led to “intervention” by the owners of the game). Storytelling is a major source of value, that is, the value of attention and the markets for audience. There are plenty of private monies created and managed by corporate entertainment groups, telecom operators (via mobile virtual network operators) and marketing frameworks. The casino economy, as already depicted by Keynes and other unorthodox economists, is always storytelling about future states of the world, confidence building and leverage of animal spirits. The novelty of current events is not the fictitious nature of any form of capital, but the potential for digital democratization of controls over the imaginary nature of value creation. But this is just a potential, a possibility, a figment that more often than not is appropriated by centralized and opaque private powers. The game industry is a testbed for new connections between storytelling and money creation. RLM: Monetary value was originally connected to the scarcity of precious metals, such as gold. Our entire monetary system seems therefore to function according to a logic of scarcity. Do you believe it is possible to reverse this logic into a logic of abundance? GS: The gold standard was a fiction itself, the “scarcity” is always produced by institutions that regulate confidence and access to credit. The key issue is not to fabricate abundance, but to question the institutions which produce scarcity out of any standard, gold or whatever. Central banks are at the service of private banks in the creation and management of scarcity. RLM: The promise that nanotechnology holds for our future is one of radical abundance (or so say transhumanists). The possibility of creating any kind of material substance through nanoengineering seems each day more feasible. What would this possibility entail in terms of systems of value exchange? GS: Nanotechnology, environmental concerns and grassroots appropriation of distributed knowledge are the frontiers of a new horizon of energy creation and management. Social groups in charge of managing scarcity for the sake of wealth and power concentration must be held accountable for the destruction of our future. Once this key political conundrum is accounted for, new systems of value exchange and even a non-mercantile society will come into existence. Revolutionary theorists such as Marx envisaged transformation via the extreme clash of contradictions between capital and labour. This approach has never led to a change in the systemic logic of scarcity for the sake of social control. We are once again facing the threshold of large scale societal change, but the outcome of the current crisis should come from our imagination, not from yet another paradox of abundance and scarcity. As long as we remain attached to the materiality of value, the illusion of freedom will but reinforce the massive manipulation of necessity. RLM: What do you think is the role of crowdfunding in this context? GS: Crowdsourcing as well as crowdfunding are examples of the peer to peer opportunities that come along with distributed computer power. However, the power structure behind wealth and scarcity creation may or may not be changed by crowd management. But it should not be taken at face value, so to speak. The stock market of course is an early form of crowdfunding without calling into question the proprietary framework of the companies offering their investment projects to the market. Any market is a form of crowdsourcing, that is to say, of distributed forms of supply and demand matchmaking. The wealth of networks, however, depends on the contractual ecosystem, the institutional framework, the channeling of social imagination, not on the purely quantitative distribution of bids and offers. I see economics as supply, demand and code. Once you have access to the code, once openness becomes part of the game, then there is a chance of crowd behavior becoming collective intelligence and sustainable imagination. RLM: Is the development of digital currencies headed towards a pluralistic ecology in which many micro currency systems co-exist, or is it penetrating the mainstream monetary system? If it is affecting the mainstream financial system, what would be its effect in the long-term? GS: The same issue is at stake both at local and global levels. The global system is, as a matter of fact, an unstable ecosystem of “micro currencies” whereas the dollar has so far exerted an overwhelming influence. Local currencies and private monies coexist with national currencies only to the extent that the Central Bank admits, for instance, that grassroots monetary emissions remain territorial and strictly connected to poverty. However, the question of how new developments in digital technologies and nanotechnologies might alter not only our current monetary systems but also our understanding of value in itself, is still an open question. (shrink)