Accelerating Turing machines have attracted much attention in the last decade or so. They have been described as “the work-horse of hypercomputation” (Potgieter and Rosinger 2010: 853). But do they really compute beyond the “Turing limit”—e.g., compute the halting function? We argue that the answer depends on what you mean by an accelerating Turing machine, on what you mean by computation, and even on what you mean by a Turing machine. We show first that in the current literature the term (...) “accelerating Turing machine” is used to refer to two very different species of accelerating machine, which we call end-stage-in and end-stage-out machines, respectively. We argue that end-stage-in accelerating machines are not Turing machines at all. We then present two differing conceptions of computation, the internal and the external, and introduce the notion of an epistemic embedding of a computation. We argue that no accelerating Turing machine computes the halting function in the internal sense. Finally, we distinguish between two very different conceptions of the Turing machine, the purist conception and the realist conception; and we argue that Turing himself was no subscriber to the purist conception. We conclude that under the realist conception, but not under the purist conception, an accelerating Turing machine is able to compute the halting function in the external sense. We adopt a relatively informal approach throughout, since we take the key issues to be philosophical rather than mathematical. (shrink)

Accelerating Turing machines are Turing machines of a sort able to perform tasks that are commonly regarded as impossible for Turing machines. For example, they can determine whether or not the decimal representation of contains n consecutive 7s, for any n; solve the Turing-machine halting problem; and decide the predicate calculus. Are accelerating Turing machines, then, logically impossible devices? I argue that they are not. There are implications concerning the nature of effective procedures and the theoretical limits of computability. Contrary (...) to a recent paper by Bringsjord, Bello and Ferrucci, however, the concept of an accelerating Turing machine cannot be used to shove up Searle's Chinese room argument. (shrink)

European Computing and Philosophy conference, 2–4 July Barcelona The Seventh ECAP (European Computing and Philosophy) conference was organized by Jordi Vallverdu at Autonomous University of Barcelona. The conference started with the IACAP (The International Association for CAP) presidential address by Luciano Floridi, focusing on mechanisms of knowledge production in informational networks. The first keynote delivered by Klaus Mainzer made a frame for the rest of the conference, by elucidating the fundamental role of complexity of informational structures that can (...) be analyzed on different levels of organization giving place for variety of possible approaches which converge in this cross-disciplinary and multi-disciplinary research field. Keynotes by Kevin Warwick about re-embodiment of rats’ neurons into robots, Raymond Turner on syntax and semantics in programming languages, Roderic Guigo on Biocomputing Sciences and Francesco Subirada on the past and future of supercomputing presented different topics of philosophical as well as practical aspects of computing. Vonference tracks included: Philosophy of Information (Patrick Allo), Philosophy of Computer Science (Raymond Turner), Computer and Information Ethics (Johnny Søraker and Alison Adam), Computational Approaches to the Mind (Ruth Hagengruber), IT and Cultural Diversity (Jutta Weber and Charles Ess), Crossroads (David Casacuberta), Robotics, AI & Ambient Intelligence (Thomas Roth-Berghofer), Biocomputing, Evolutionary and Complex Systems (Gordana Dodig Crnkovic and Søren Brier), E-learning, E-science and Computer-Supported Cooperative Work (Annamaria Carusi) and Technological Singularity and Acceleration Studies (Amnon Eden). (shrink)

We present a novel algorithm for the fast computation of PageRank, a hyperlink-based estimate of the “importance” of Web pages. The original PageRank algorithm uses the Power Method to compute successive iterates that converge to the principal eigenvector of the Markov matrix representing the Web link graph. The algorithm presented here, called Quadratic Extrapolation, accelerates the convergence of the Power Method by periodically subtracting off estimates of the nonprincipal eigenvectors from the current iterate of the Power Method. In Quadratic Extrapolation, (...) we take advantage of the fact that the first eigenvalue of a Markov matrix is known to be 1 to compute the nonprincipal eigenvectors using successive iterates of the Power Method. Empirically, we show that using Quadratic Extrapolation speeds up PageRank computation by 50- 300% on a Web graph of 80 million nodes, with minimal overhead. (shrink)

What are the limits of physical computation? In his ‘Church’s Thesis and Principles for Mechanisms’, Turing’s student Robin Gandy proved that any machine satisfying four idealised physical ‘principles’ is equivalent to some Turing machine. Gandy’s four principles in effect define a class of computing machines (‘Gandy machines’). Our question is: What is the relationship of this class to the class of all (ideal) physical computing machines? Gandy himself suggests that the relationship is identity. We do not share this (...) view. We will point to interesting examples of (ideal) physical machines that fall outside the class of Gandy machines and compute functions that are not Turing-machine computable. (shrink)

Whale optimization algorithm, known as a novel nature-inspired swarm optimization algorithm, demonstrates superiority in handling global continuous optimization problems. However, its performance deteriorates when applied to large-scale complex problems due to rapidly increasing execution time required for huge computational tasks. Based on interactions within the population, WOA is naturally amenable to parallelism, prompting an effective approach to mitigate the drawbacks of sequential WOA. In this paper, field programmable gate array is used as an accelerator, of which the high-level synthesis utilizes (...) open computing language as a general programming paradigm for heterogeneous System-on-Chip. With above platform, a novel parallel framework of WOA named PWOA is presented. The proposed framework comprises two feasible parallel models called partial parallel and all-FPGA parallel, respectively. Experiments are conducted by performing WOA on CPU and PWOA on OpenCL-based FPGA heterogeneous platform, to solve ten well-known benchmark functions. Meanwhile, other two classic algorithms including particle swarm optimization and competitive swarm optimizer are adopted for comparison. Numerical results show that the proposed approach achieves a promising computational performance coupled with efficient optimization on relatively large-scale complex problems. (shrink)

Accelerated Turing machines are Turing machines that perform tasks commonly regarded as impossible, such as computing the halting function. The existence of these notional machines has obvious implications concerning the theoretical limits of computability.

While calls to integrate ethics into computer science education go back decades, recent high-profile ethical failures related to computing technology by large technology companies, governments, and academic institutions have accelerated the adoption of computer ethics education at all levels of instruction. Discussions of how to integrate ethics into existing computer science programmes often focus on the structure of the intervention—embedded modules or dedicated courses, humanists or computer scientists as ethics instructors—or on the specific content to be included—lists of (...) case studies and essential topics to cover. While proponents of computer ethics education often emphasize the importance of closely connecting ethical and technical content in these initiatives, most do not reflect in depth on the variety of ways in which the disciplines can be combined. In this paper, I deploy a framework from cross- disciplinary studies that categorizes academic projects that work across disciplines as multidisciplinary, interdisciplinary, or transdisciplinary, depending on the degree of integration. When applied to computer ethics education, this framework is orthogonal to the structure and content of the initiative, as I illustrate using examples of dedicated ethics courses and embedded modules. It therefore highlights additional features of cross-disciplinary teaching that need to be considered when planning a computer ethics programme. I argue that computer ethics education should aim to be at least interdisciplinary—multidisciplinary initiatives are less aligned with the pedagogical aims of computer ethics—and that computer ethics educators should experiment with fully transdisciplinary education that could transform computer science as a whole for the better. (shrink)

Quantum computing technologies have become a hot topic in academia and industry receiving much attention and financial support from all sides. Building a quantum computer that can be used practically is in itself an outstanding challenge that has become the ‘new race to the moon’. Next to researchers and vendors of future computing technologies, national authorities are showing strong interest in maturing this technology due to its known potential to break many of today’s encryption techniques, which would have (...) significant and potentially disruptive impact on our society. It is, however, quite likely that quantum computing has beneficial impact on many computational disciplines. In this article we describe our vision of future developments in scientific computing that would be enabled by the advent of software-programmable quantum computers. We thereby assume that quantum computers will form part of a hybrid accelerated computing platform like GPUs and co-processor cards do today. In particular, we address the potential of quantum algorithms to bring major breakthroughs in applied mathematics and its applications. Finally, we give several examples that demonstrate the possible impact of quantum-accelerated scientific computing on society. (shrink)

We present a novel technique for speeding up the computation of PageRank, a hyperlink-based estimate of the “importance” of Web pages, based on the ideas presented in [7]. The original PageRank algorithm uses the Power Method to compute successive iterates that converge to the principal eigenvector of the Markov matrix representing the Web link graph. The algorithm presented here, called Power Extrapolation, accelerates the convergence of the Power Method by subtracting off the error along several nonprincipal eigenvectors from the current (...) iterate of the Power Method, making use of known nonprincipal eigenvalues of the Web hyperlink matrix. Empirically, we show that using Power Extrapolation speeds up PageRank computation by 30% on a Web graph of 80 million nodes in realistic scenarios over the standard power method, in a way that is simple to understand and implement. (shrink)

The paper considers the intellectual computer mathematics system InparSolver, which is designed to automatically explore and solve basic classes of computational mathematics problems on multi-core computers with graphics accelerators. The problems of results reliability of solving problems with approximate input data are outlined. The features of the use of existing computer mathematics systems are analyzed, their weaknesses are found. The functionality of InparSolver, some innovative approaches to the implementation of effective solutions to problems in a hybrid architecture are described. Examples (...) of applied usage of InparSolver for processes mathematical modeling in various subject areas are given. Nowadays, new more complex objects and phenomena in many subject areas are constantly emerging, which are subject to mathematical research on a computer. This encourages the development of new numerical methods and technologies of mathematical modeling, as well as the creation of more powerful computers for their implementation. With the advent and constant development of supercomputers of various architectures, the problems of their effective use, expansion of tasks range should be solved, ensuring the reliability of computer results and increasing the level of intellectual information support for users ‒ specialists in various fields. Today, the issues of solving these problems are given special attention by many specialists in the fields of information technology and parallel programming. The world's leadingscientists in the field of computer technology see the solution to the problems of efficient usage of modern supercomputers in algorithmic software creation that easily adapts to different computer architectures with different types of memory and coprocessors, supports efficient parallelism on millions of cores etc. In addition, improving the efficiency of high-performance computing on modern supercomputers is provided by their intellectualization, transferring to the computer to perform a significant part of the functions. The industry of development and usage of intelligent computer technologies is one of the main directions of science and technology development in modern society. (shrink)

Artificial intelligence algorithms, fueled by continuous technological development and increased computing power, have proven effective across a variety of tasks. Concurrently, quantum computers have shown promise in solving problems beyond the reach of classical computers. These advancements have contributed to a misconception that quantum computers enable hypercomputation, sparking speculation about quantum supremacy leading to an intelligence explosion and the creation of superintelligent agents. We challenge this notion, arguing that current evidence does not support the idea that quantum technologies enable (...) hypercomputation. Fundamental limitations on information storage within finite spaces and the accessibility of information from quantum states constrain quantum computers from surpassing the Turing computing barrier. While quantum technologies may offer exponential speed-ups in specific computing cases, there is insufficient evidence to suggest that focusing solely on quantum-related problems will lead to technological singularity and the emergence of superintelligence. Subsequently, there is no premise suggesting that general intelligence depends on quantum effects or that accelerating existing algorithms through quantum means will replicate true intelligence. We propose that if superintelligence is to be achieved, it will not be solely through quantum technologies. Instead, the attainment of superintelligence remains a conceptual challenge that humanity has yet to overcome, with quantum technologies showing no clear path toward its resolution. (shrink)

Introduction. At present, the issues of the Far East accelerated economic development remain in the focus of the state attention. Among the key mechanisms of state policy is the formation of advanced development territories (ADT). The article sets the task of studying the impact of the institutional measures taken on the welfare and the population’s life quality in the Far Eastern territories. Particular attention is paid to studying migration processes and analyzing the economic activity of the Far East population. (...) The purpose of the article is to study the effects of implementing mechanisms for accelerated economic growth, as well as assess their impact on the life quality in the Far East regions. Methods. The authors use the following methods: economic and mathematical modeling, computational and analytical methods, comparative and spatial analysis. Scientific novelty of the research. For a comprehensive assessment of the regional well-being, the authors propose to supplement the multiplicative model based on the A. Sen’s extended welfare function with a composite ecological index. It takes into account the ecological conditions of human life, which are an important aspect of well-being. The authors obtain ecologically adjusted indicators of well-being for the eastern regions of the Russian Federation and study their dynamics, as well as the relations with the data on the population’s migration activity during the formation of new institutions of advanced development in the East of the country. Results. The authors find out that most of the Far Eastern territories are still lagging behind the average Russian level in socio-economic development. The results of assessing the level of well-being of regions on the basis of a multiplicative model without taking into account the environmental factor show that the most prosperous areas are raw materials-based territories. It is shown that the role of environmental factors in the life quality in the Far Eastern territories of Russia is very significant - the ecologically adjusted level of well-being is noticeably lower than the indicator that does not take into account this aspect of well-being. The authors reveal that socio-economically disadvantaged regions with difficult natural and climatic living conditions have very high rates of migration outflow. Their coefficients of migration loss reflect the presence of a crisis in economic development, which has been increasing in recent years. An analysis of trends in economic activity shows a relationship between the dynamics of the number of employed and the implementation of ADT projects in the Far Eastern territories. Conclusions. The conclusion is that the measures taken by the state for the advanced economic development of the eastern territories of the country have not yet had a noticeable positive impact on the welfare and life quality in the Far East regions. (shrink)

Two analyzes of Spark engine performance strategies to implement the Spark technique in a matrix distributed computational algorithm, the multiplication of a sparse multiplication operational test model. The dimensions of the two input sparse matrices have been fixed to 30,000 × 30,000, and the density of the input matrix have been changed. The experimental results show that when the density reaches about 0.3, the original dense matrix multiplication performance can outperform the sparse-sparse matrix multiplication, which is basically consistent with the (...) relationship between the sparse matrix multiplication implementation in the single-machine sparse matrix test and the computational performance of the local native library. When the density of the fixed sparse matrix is 0.01, the distributed density-sparse matrix multiplication outperforms the same sparsity but uses the density matrix storage, and the acceleration ratio increases from 1.88× to 5.71× with the increase in dimension. The overall performance of distributed operations is improved. (shrink)

In this paper we will examine some ethical aspects of the role that computers and computing increasingly play in new genetics. Our claim is that there is no new genetics without computer science. Computer science is important for the new genetics on two levels: from a theoretical perspective, and from the point of view of geneticists practice. With respect to , the new genetics is fully impregnate with concepts that are basic for computer science. Regarding , recent developments in (...) the Human Genome Project have shown that computers shape the practices of molecular genetics; an important example is the Shotgun Method's contribution to accelerating the mapping of the human genome. A new challenge to the HGP is provided by the Open Source Philosophy , which is another way computer technologies now influence the shaping of public policy debates involving genomics. (shrink)

We investigate in detail the electromagnetic fields of a uniformly accelerated charge, in order to ascertain whether such a charge does ‘emit’ radiation, especially in view of the Poynting flow computed at large distances and taken as an evidence of radiation emitted by the charge. In this context, certain important aspects of the fields need to be taken into account. First and foremost is the fact that in the case of a uniformly accelerated charge, one cannot ignore the (...) velocity fields. This then leads to other equally vital points. The net field energy turns out to be exactly the same as that of a non-accelerated charge having a uniform velocity equal to the instantaneous velocity of the uniformly accelerated charge. Further, the Poynting vector, seen with respect to the ’present’ location of the uniformly accelerated charge, during the deceleration phase, possesses everywhere a radial component pointing inward toward the charge, becoming nil when the charge becomes momentarily stationary, and during the acceleration phase, points away from the charge position. Last, but not least, when the leading spherical front of the relativistically beamed Poynting flux, advances forward at a large time t to a far-off distance \, the charge too is not lagging far behind. In fact, these relativistically beamed fields, increasingly resemble fields of a charge moving in an inertial frame with a uniform velocity \, with a convective flow of fields in that frame along with the movement of the charge. There is no other Poynting flow in the far-zones that could be termed as radiation emitted by the charge which, in turn, is fully consistent with the absence of radiation reaction and is also fully conversant with the strong principle of equivalence. (shrink)

The INBIOSA project brings together a group of experts across many disciplines who believe that science requires a revolutionary transformative step in order to address many of the vexing challenges presented by the world. It is INBIOSA’s purpose to enable the focused collaboration of an interdisciplinary community of original thinkers. This paper sets out the case for support for this effort. The focus of the transformative research program proposal is biology-centric. We admit that biology to date has been more fact-oriented (...) and less theoretical than physics. However, the key leverageable idea is that careful extension of the science of living systems can be more effectively applied to some of our most vexing modern problems than the prevailing scheme, derived from abstractions in physics. While these have some universal application and demonstrate computational advantages, they are not theoretically mandated for the living. A new set of mathematical abstractions derived from biology can now be similarly extended. This is made possible by leveraging new formal tools to understand abstraction and enable computability. [The latter has a much expanded meaning in our context from the one known and used in computer science and biology today, that is "by rote algorithmic means", since it is not known if a living system is computable in this sense (Mossio et al., 2009).] Two major challenges constitute the effort. The first challenge is to design an original general system of abstractions within the biological domain. The initial issue is descriptive leading to the explanatory. There has not yet been a serious formal examination of the abstractions of the biological domain. What is used today is an amalgam; much is inherited from physics (via the bridging abstractions of chemistry) and there are many new abstractions from advances in mathematics (incentivized by the need for more capable computational analyses). Interspersed are abstractions, concepts and underlying assumptions “native” to biology and distinct from the mechanical language of physics and computation as we know them. A pressing agenda should be to single out the most concrete and at the same time the most fundamental process-units in biology and to recruit them into the descriptive domain. Therefore, the first challenge is to build a coherent formal system of abstractions and operations that is truly native to living systems. Nothing will be thrown away, but many common methods will be philosophically recast, just as in physics relativity subsumed and reinterpreted Newtonian mechanics. -/- This step is required because we need a comprehensible, formal system to apply in many domains. Emphasis should be placed on the distinction between multi-perspective analysis and synthesis and on what could be the basic terms or tools needed. The second challenge is relatively simple: the actual application of this set of biology-centric ways and means to cross-disciplinary problems. In its early stages, this will seem to be a “new science”. This White Paper sets out the case of continuing support of Information and Communication Technology (ICT) for transformative research in biology and information processing centered on paradigm changes in the epistemological, ontological, mathematical and computational bases of the science of living systems. Today, curiously, living systems cannot be said to be anything more than dissipative structures organized internally by genetic information. There is not anything substantially different from abiotic systems other than the empirical nature of their robustness. We believe that there are other new and unique properties and patterns comprehensible at this bio-logical level. The report lays out a fundamental set of approaches to articulate these properties and patterns, and is composed as follows. -/- Sections 1 through 4 (preamble, introduction, motivation and major biomathematical problems) are incipient. Section 5 describes the issues affecting Integral Biomathics and Section 6 -- the aspects of the Grand Challenge we face with this project. Section 7 contemplates the effort to formalize a General Theory of Living Systems (GTLS) from what we have today. The goal is to have a formal system, equivalent to that which exists in the physics community. Here we define how to perceive the role of time in biology. Section 8 describes the initial efforts to apply this general theory of living systems in many domains, with special emphasis on crossdisciplinary problems and multiple domains spanning both “hard” and “soft” sciences. The expected result is a coherent collection of integrated mathematical techniques. Section 9 discusses the first two test cases, project proposals, of our approach. They are designed to demonstrate the ability of our approach to address “wicked problems” which span across physics, chemistry, biology, societies and societal dynamics. The solutions require integrated measurable results at multiple levels known as “grand challenges” to existing methods. Finally, Section 10 adheres to an appeal for action, advocating the necessity for further long-term support of the INBIOSA program. -/- The report is concluded with preliminary non-exclusive list of challenging research themes to address, as well as required administrative actions. The efforts described in the ten sections of this White Paper will proceed concurrently. Collectively, they describe a program that can be managed and measured as it progresses. (shrink)

The INBIOSA project brings together a group of experts across many disciplines who believe that science requires a revolutionary transformative step in order to address many of the vexing challenges presented by the world. It is INBIOSA’s purpose to enable the focused collaboration of an interdisciplinary community of original thinkers. This paper sets out the case for support for this effort. The focus of the transformative research program proposal is biology-centric. We admit that biology to date has been more fact-oriented (...) and less theoretical than physics. However, the key leverageable idea is that careful extension of the science of living systems can be more effectively applied to some of our most vexing modern problems than the prevailing scheme, derived from abstractions in physics. While these have some universal application and demonstrate computational advantages, they are not theoretically mandated for the living. A new set of mathematical abstractions derived from biology can now be similarly extended. This is made possible by leveraging new formal tools to understand abstraction and enable computability. [The latter has a much expanded meaning in our context from the one known and used in computer science and biology today, that is "by rote algorithmic means", since it is not known if a living system is computable in this sense (Mossio et al., 2009).] Two major challenges constitute the effort. The first challenge is to design an original general system of abstractions within the biological domain. The initial issue is descriptive leading to the explanatory. There has not yet been a serious formal examination of the abstractions of the biological domain. What is used today is an amalgam; much is inherited from physics (via the bridging abstractions of chemistry) and there are many new abstractions from advances in mathematics (incentivized by the need for more capable computational analyses). Interspersed are abstractions, concepts and underlying assumptions “native” to biology and distinct from the mechanical language of physics and computation as we know them. A pressing agenda should be to single out the most concrete and at the same time the most fundamental process-units in biology and to recruit them into the descriptive domain. Therefore, the first challenge is to build a coherent formal system of abstractions and operations that is truly native to living systems. Nothing will be thrown away, but many common methods will be philosophically recast, just as in physics relativity subsumed and reinterpreted Newtonian mechanics. -/- This step is required because we need a comprehensible, formal system to apply in many domains. Emphasis should be placed on the distinction between multi-perspective analysis and synthesis and on what could be the basic terms or tools needed. The second challenge is relatively simple: the actual application of this set of biology-centric ways and means to cross-disciplinary problems. In its early stages, this will seem to be a “new science”. This White Paper sets out the case of continuing support of Information and Communication Technology (ICT) for transformative research in biology and information processing centered on paradigm changes in the epistemological, ontological, mathematical and computational bases of the science of living systems. Today, curiously, living systems cannot be said to be anything more than dissipative structures organized internally by genetic information. There is not anything substantially different from abiotic systems other than the empirical nature of their robustness. We believe that there are other new and unique properties and patterns comprehensible at this bio-logical level. The report lays out a fundamental set of approaches to articulate these properties and patterns, and is composed as follows. -/- Sections 1 through 4 (preamble, introduction, motivation and major biomathematical problems) are incipient. Section 5 describes the issues affecting Integral Biomathics and Section 6 -- the aspects of the Grand Challenge we face with this project. Section 7 contemplates the effort to formalize a General Theory of Living Systems (GTLS) from what we have today. The goal is to have a formal system, equivalent to that which exists in the physics community. Here we define how to perceive the role of time in biology. Section 8 describes the initial efforts to apply this general theory of living systems in many domains, with special emphasis on crossdisciplinary problems and multiple domains spanning both “hard” and “soft” sciences. The expected result is a coherent collection of integrated mathematical techniques. Section 9 discusses the first two test cases, project proposals, of our approach. They are designed to demonstrate the ability of our approach to address “wicked problems” which span across physics, chemistry, biology, societies and societal dynamics. The solutions require integrated measurable results at multiple levels known as “grand challenges” to existing methods. Finally, Section 10 adheres to an appeal for action, advocating the necessity for further long-term support of the INBIOSA program. -/- The report is concluded with preliminary non-exclusive list of challenging research themes to address, as well as required administrative actions. The efforts described in the ten sections of this White Paper will proceed concurrently. Collectively, they describe a program that can be managed and measured as it progresses. (shrink)

When software is written and then utilized in complex computer systems, problems often occur. Sometimes these problems cause a system to malfunction, and in some instances such malfunctions cause harm. Should any of the persons involved in creating the software be blamed and punished when a computer system failure leads to persons being harmed? In order to decide whether such blame and punishment are appropriate, we need to first consider if the people are “morally responsible”. Should any of the people (...) involved in creating the software be held morally responsible, as individuals, for the harm caused by a computer system failure?This article provides one view of moral responsibility and then discusses some barriers to holding people morally responsible. Next, it provides information about the Therac-25, a computer-controlled medical linear accelerator, and its computer systems failures that led to deaths and injuries. Finally it investigates whether two key people involved in the Therac-25 case could reasonably be considered to have some degree of moral responsibility for the deaths and injuries. The conclusions about whether or not these people were morally responsible necessarily rest upon a certain amount of speculation about what they knew and what they did. These limitations, however, should not cause us to conclude that discussions of moral responsibility are fruitless. In some cases, determinations of moral responsibility may be made and in others the investigation is still worthwhile, as the article demonstrates. (shrink)

Decoding the human genome in the past decades has brought into focus a computationally intensive operation through DNA profiling. The typical search space for these kinds of problems is extremely large and requires specialized hardware and algorithms to perform the necessary sequence analysis. In this paper, we propose an innovative and scalable approach to exact multi-pattern matching of nucleotide sequences by harnessing the massively parallel computing power found in commodity graphical processing units. Our approach places careful consideration on preprocessing (...) of DNA datasets and runtime performance, while exploiting the full capabilities of the heterogeneous platform it runs on. Finally, we evaluate our models against real-world DNA sequences. (shrink)

The equivalence principle, being one of the building blocks of general relativity, seems to be crucial for analysis of quantum effects in gravity. In this paper we consider the relation between the equivalence principle and the consistency of quantum information processing in gravitational field. We propose an analysis with a looped evolution consisting of steps both in the gravitational field and in the accelerated reference frame. We show that without the equivalence principle the looped quantum evolution cannot be unitary (...) and looses its consistency. For this reasoning the equivalence principle is formulated in terms of the gauge transformations and is analyzed for particles acquiring an appropriate phase associated with the action over the looped path. In consequence, to keep consistency of quantum operations in gravitational field, it is required to keep a quantum variant of the equivalence principle. This proves importance of the quantized version of this fundamental gravitational principle for quantum information processing. (shrink)

Mary Midgley's book Utopias, Dolphins and Computers will be needed to recharge our more philosophical approach to life as new problems present themselves to humanity at an accelerated rate. The most dangerous attitude to these challenges, Midgley argues, is an anti-intellectualism that fails to see that all approaches presuppose tacit or hidden assumptions, that is a philosophy. One part of our tacit philosophy that is now breaking up is the social contract, according to Mary Midgley in Utopias, Dolphins and (...) Computers It needs tempering with a vision of people in relationships bordering on the organic—ideas with their roots in ecology—rather than as fundamentally isolated atoms in contractual union. (shrink)

An important aspect of science-fiction is the creation of an imaginative setting by extrapolation from the present frontiers of science and technology. Such projections may be used not only to explore the ramifications which a particular development possesses in itself, but also to examine its significance for its creators. Through its projective analyses, science-fiction possesses a unique capacity to contend with an era in which the geometric accumulation of scientific knowledge is, at an accelerating pace of technological application, sweeping us (...) into an unknown and possibly dangerous future. (shrink)

The efficient processing of large-scale data has very important practical value. In this study, a data mining platform based on Hadoop distributed file system was designed, and then K-means algorithm was improved with the idea of max-min distance. On Hadoop distributed file system platform, the parallelization was realized by MapReduce. Finally, the data processing effect of the algorithm was analyzed with Iris data set. The results showed that the parallel algorithm divided more correct samples than the traditional algorithm; in the (...) single-machine environment, the parallel algorithm ran longer; in the face of large data sets, the traditional algorithm had insufficient memory, but the parallel algorithm completed the calculation task; the acceleration ratio of the parallel algorithm was raised with the expansion of cluster size and data set size, showing a good parallel effect. The experimental results verifies the reliability of parallel algorithm in big data processing, which makes some contributions to further improve the efficiency of data mining. (shrink)

This paper investigates the view that digital hypercomputing is a good reason for rejection or re-interpretation of the Church-Turing thesis. After suggestion that such re-interpretation is historically problematic and often involves attack on a straw man (the ‘maximality thesis’), it discusses proposals for digital hypercomputing with Zeno-machines , i.e. computing machines that compute an infinite number of computing steps in finite time, thus performing supertasks. It argues that effective computing with Zeno-machines falls into a dilemma: either they (...) are specified such that they do not have output states, or they are specified such that they do have output states, but involve contradiction. Repairs though non-effective methods or special rules for semi-decidable problems are sought, but not found. The paper concludes that hypercomputing supertasks are impossible in the actual world and thus no reason for rejection of the Church-Turing thesis in its traditional interpretation. (shrink)

If the computational theory of mind is right, then minds are realized by machines. There is an ordered complexity hierarchy of machines. Some finite machines realize finitely complex minds; some Turing machines realize potentially infinitely complex minds. There are many logically possible machines whose powers exceed the Church–Turing limit (e.g. accelerating Turing machines). Some of these supermachines realize superminds. Superminds perform cognitive supertasks. Their thoughts are formed in infinitary languages. They perceive and manipulate the infinite detail of fractal objects. They (...) have infinitely complex bodies. Transfinite games anchor their social relations. (shrink)

In their recent paper “Do Accelerating Turing Machines Compute the Uncomputable?” Copeland and Shagrir draw a distinction between a purist conception of Turing machines, according to which these machines are purely abstract, and Turing machine realism according to which Turing machines are spatio-temporal and causal “notional" machines. In the present response to that paper we concede the realistic aspects of Turing’s own presentation of his machines, pointed out by Copeland and Shagrir, but argue that Turing's treatment of symbols in the (...) course of that presentation opens the door for later purist conceptions. Also, we argue that a purist conception of Turing machines plays an important role not only in the analysis of the computational properties of Turing machines, but also in the philosophical debates over the nature of their realization. (shrink)

Infinite machines (IMs) can do supertasks. A supertask is an infinite series of operations done in some finite time. Whether or not our universe contains any IMs, they are worthy of study as upper bounds on finite machines. We introduce IMs and describe some of their physical and psychological aspects. An accelerating Turing machine (an ATM) is a Turing machine that performs every next operation twice as fast. It can carry out infinitely many operations in finite time. Many ATMs can (...) be connected together to form networks of infinitely powerful agents. A network of ATMs can also be thought of as the control system for an infinitely complex robot. We describe a robot with a dense network of ATMs for its retinas, its brain, and its motor controllers. Such a robot can perform psychological supertasks - it can perceive infinitely detailed objects in all their detail; it can formulate infinite plans; it can make infinitely precise movements. An endless hierarchy of IMs might realize a deep notion of intelligent computing everywhere. (shrink)

This paper describes the main features and goals of the speculative work in modern sciences that has greatly accelerated since World War II due to the exponential increase in computing power and newly available theoretical and conceptual tools. It points to the long historical strand of speculative philosophical work in symbiosis with the sciences, suggests the reasons for its unexpected neglect in contemporary professional philosophy of science, why it should be a major approach, and why such pursuit is (...) not inevitable. Finally, the paper outlines potential topics, fields, and tools for such collaborative work and argues it is likelier to be more fruitful today than at any point in the past hundred years. (shrink)

This article explores some of the ways in which the conceptual apparatus of A Thousand Plateaus, and especially its machinic metaphysics, can be connected to recent developments in computer modelling and social simulation, which provide new tools for thinking that are becoming increasingly popular among philosophers and social scientists. Conversely, the successful deployment of these tools provides warrant for the flat ontology articulated in A Thousand Plateaus and therefore contributes to the ‘reversal of Platonism’ for which Deleuze had called in (...) his earlier works, such as Logic of Sense. The first major section offers a brief exposition of some key concepts in A Thousand Plateaus in order to set the stage for the second and third major sections, which argue that the fabrication of a metaphysics of immanence can be accelerated by connecting its conceptual apparatus more explicitly to insights derived from philosophical analyses of computational modelling and simulation and the social scientific use of ‘assemblage theory’. The article concludes with a summary of the argument and a brief consideration of some of the potential ethical and political implications of this interdisciplinary engagement. (shrink)

In the present paper I develop a model of the evolutionary process associated to the widespread although controversial notion of a prevailing trend of increasing complexity over time. The model builds on a coupling of evolution to individual developmental programs and introduces an integrated view of evolution implying that human culture and science form a continuous extension of organic evolution. It is formed as a mathematical model that has made possible a quantitative estimation in relative terms of the growth of (...) complexity. This estimation is accomplished by means of computer simulations the result of which indicates a strong acceleration of complexity all the way from the appearance of multicellular organisms up to modern man. (shrink)

Today, large language models are very powerful, informational and analytical tools that significantly accelerate most of the existing methods and methodologies for processing informational processes. Scientific information is of particular importance in this capacity, which gradually involves the power of large language models. This interaction of science and qualitative new opportunities for working with information lead us to new, unique scientific discoveries, their great quantitative diversity. There is an acceleration of scientific research, a reduction in the time spent on its (...) implementation – the freed up time can be spent both on solving new scientific problems and on scientific creativity, which, although it may not necessarily lead to a specific solution to a particular scientific problem, but is able to demonstrate the beauty of science in various disciplinary areas. As a result, the interaction of large language models and scientific information is at the same time a research for solutions to scientific problems, scientific problems, and scientific creativity. Solving scientific problems requires the ability to efficiently process big data, which cannot be done without an effective method – one of the significant methods was the Transformer architecture, introduced in 2017 and comprehensively integrated into the GPT‑3 model, which, as of September 2020, was the largest and most advanced language model in the world. Therefore, GPT‑3 can be called the basis of most scientific developments carried out in the context of using large language models. The interaction of science and large language models has become a factor in the emergence of a large number of questions, among which are: «Is the result of data analysis new knowledge?», «What are the prospects for scientific creativity in the era of big computing?». Currently, these issues are extremely important, because they allow us to develop the foundations for effective human‑computer interaction. Therefore, this study analyzes the issues presented. (shrink)

The relevance of the study of this problem is that the concept of information-digital management contributes to the development of digital society, based on a new wave of technological progress. The purpose of the study is to show how the information revolution of the XXI century contributes to the reduction of manpower as a result of progressive robotization. There are different technologies that are used today to replace people; the need for human resources is reduced thanks to robots, computers and (...) other high-tech gadgets. Methods of theoretical analysis - deduction and induction, historical and logical, comparative and structural-genetic analysis, informatiological method, which contribute to the penetration into the essence of the phenomenon under study as a complex phenomenon and dynamic process. Results: It has been proven that, due to the various well-known developments in information-computer technologies and robotics, many experts believe that the society is at an early stage of the new industrial revolution, which in the future can change the way people live and work just like 200 years ago a steam engine did. Technological unemployment is one of the main reasons for the increase in the overall unemployment rate in Western countries over the past 30 years. Although to some extent this is connected with the demographic revolution and the changing structure of the economy in many countries, the development of information and computer technologies, as well as other types of automation and Internet have played a significant role, especially since 2000. Findings. We have shown that many jobs of cheap labor can disappear, because the digital society focuses on the development of human resources. The world is turning into a digital society and the world is ruled by a digit, world that is based on intelligence, mind, algorithms, digitalization. The digital society consists of a set of algorithms that are controlled by information and computer technologies that penetrate into digital management, which is based on intellectual right-minded force represented by human resources. It is human resources that develop robotics, artificial intelligence, computerization, mechanization, robotization, which are based on robotics, artificial intelligence. These varieties of digital society will accelerate the potential of the long-term productivity increase through intellectualization. Practical recommendations - to develop a small business that rests on the network of intelligent platforms and helps to create jobs on the Internet and create new types of employment. (shrink)

With the accelerated evolution of the internet in the form of web-sites, social networks, microblogs, and online portals, a large number of reviews, opinions, recommendations, ratings, and feedback are generated by writers or users. This user-generated sentiment content can be about books, people, hotels, products, research, events, etc. These sentiments become very beneficial for businesses, governments, and individuals. While this content is meant to be useful, a bulk of this writer-generated content requires using text mining techniques and sentiment analysis. (...) However, there are several challenges facing the sentiment analysis and evaluation process. These challenges become obstacles in analyzing the accurate meaning of sentiments and detecting suitable sentiment polarity specifically in the Bangla language. Sentiment analysis is the practice of applying natural language processing and text analysis techniques to identify and extract subjective information from text. This paper presents how the attention mechanism could be incorporated effectively and efficiently in analyzing the Bangla sentiment or opinion. (shrink)

Accelerating advancements in artificial intelligence (AI) have increased concerns about serious risks, including potentially catastrophic risks to humanity. Prevailing trends of AI R&D are leading to increasing humanization of AI, to the emergence of concerning behaviors, and toward possible recursive self-improvement. There has been increasing speculation that these factors increase the risk of an AI takeover of human affairs, and possibly even human extinction. The most extreme of such speculations result at least partly from anthropomorphism, but since AIs are being (...) humanized, it is challenging to disentangle valid from invalid anthropomorphic concerns. This publication identifies eight fundamentally unnatural attributes of digital AI, each of which should differentiate AI behaviors from those of biological organisms, including humans. All have the potential to accelerate AI evolution, which might increase takeover concerns; but surprisingly, most also have the potential to defuse the hypothetical conflicts that dominate takeover speculations. Certain attributes should give future AI long-term foresight and realism that are essentially impossible for humans. I conclude that claims of highly probable hostile takeover and human extinction suffer from excessive anthropomorphism and a lack of skepticism and scientific rigor. Given the evidence presented here, I propose a more plausible but still speculative future scenario: extensively humanized AIs will become vastly more capable than humans of making decisions that benefit humans, and rational people will want AI to assume progressively greater influence over human affairs. (shrink)

BackgroundAlthough gait patterns disturbances are known to be related to cognitive decline, there is no consensus on the possibility of predicting one from the other. It is necessary to find the optimal gait features, experimental protocols, and computational algorithms to achieve this purpose.PurposesTo assess the efficacy of the Stable Sparse Classifiers procedure for discriminating young and healthy older adults, as well as healthy and cognitively impaired elderly groups from their gait patterns. To identify the walking tasks or combinations of tasks (...) and specific spatio-temporal gait features that allow the best prediction with SSC.MethodsA sample of 125 participants was studied. They underwent assessment with five neuropsychological tests that explore different cognitive domains. A summarized cognitive index, based on the Mahalanobis distance from normative data, was calculated. The sample was divided into three groups using k-means clustering of MDCog in addition to Age. The participants executed four walking tasks and their gait patterns, measured with a body-fixed Inertial Measurement Unit, were used to calculate 16 STGF and dual-task costs. SSC was then employed to predict which group the participants belonged to. The classification's performance was assessed using the area under the receiver operating curves and the stable biomarkers were identified.ResultsThe discrimination HE vs. MCI-E revealed that the combination of the easy dual-task and the fast walking task had the best prediction performance. The features related to gait variability and to the amplitude of vertical acceleration had the largest predictive power. SSC prediction accuracy was better than the accuracies obtained with linear discriminant analysis and support vector machine classifiers.ConclusionsThe study corroborated that the changes in gait patterns can be used to discriminate between young and healthy older adults and more importantly between healthy and cognitively impaired adults. A subset of gait tasks and STGF optimal for achieving this goal with SSC were identified, with the latter method superior to other classification techniques. (shrink)

Although decision‐making algorithms are not new to medicine, the availability of vast stores of medical data, gains in computing power, and breakthroughs in machine learning are accelerating the pace of their development, expanding the range of questions they can address, and increasing their predictive power. In many cases, however, the most powerful machine learning techniques purchase diagnostic or predictive accuracy at the expense of our ability to access “the knowledge within the machine.” Without an explanation in terms of reasons (...) or a rationale for particular decisions in individual cases, some commentators regard ceding medical decision‐making to black box systems as contravening the profound moral responsibilities of clinicians. I argue, however, that opaque decisions are more common in medicine than critics realize. Moreover, as Aristotle noted over two millennia ago, when our knowledge of causal systems is incomplete and precarious—as it often is in medicine—the ability to explain how results are produced can be less important than the ability to produce such results and empirically verify their accuracy. (shrink)

This article examines Olivier Rolin's use of stream of consciousness narration in L'invention du monde (1993). It draws upon philosophers Peter Sloterdijk and Paul Virilio to propose that the novel—with its obsessions for information, technology, and space—depicts a crossroads of subjectivity. At that crossroads, natural and computational connotations of "stream" collide, fueling the novel's central crisis. The misadventures of Rolin's postmodern, post-industrial, satellite-inspired Phileas Fogg reveal a central conundrum of accelerated globalization: namely, that the informational and technological mastery of (...) our world comes at the price of sacrificing the ability to meaningfully position oneself within it. (shrink)

The technologies, markets, and administrations of today's knowledge society are in crisis. We face recurring disasters in every domain: climate change, energy shortages, economic meltdown. The system is broken, despite everything the technocrats claim to know about science, technology, and economics. These problems are exacerbated by the fact that today powerful technologies have unforeseen effects that disrupt everyday life; the new masters of technology are not restrained by the lessons of experience, and accelerate change to the point where society is (...) in constant turmoil. In Between Reason and Experience, leading philosopher of technology Andrew Feenberg makes a case for the interdependence of reason--scientific knowledge, technical rationality--and experience. Feenberg examines different aspects of the tangled relationship between technology and society from the perspective of critical theory of technology, an approach he has pioneered over the past twenty years. Feenberg points to two examples of democratic interventions into technology: the Internet and the environmental movement. He examines methodological applications of critical theory of technology to the case of the French Minitel computing network and to the relationship between national culture and technology in Japan. Finally, Feenberg considers the philosophies of technology of Heidegger, Habermas, Latour, and Marcuse. The gradual extension of democracy into the technical sphere, Feenberg argues, is one of the great political transformations of our time. (shrink)

While the ethics of technology is analyzed across disciplines from science and technology studies, engineering, computer science, critical management studies, and law, less attention is paid to the role that firms and managers play in the design, development, and dissemination of technology across communities and within their firm. Although firms play an important role in the development of technology, and make associated value judgments around its use, it remains open how we should understand the contours of what firms owe society (...) as the rate of technological development accelerates. We focus here on digital technologies: devices that rely on rapidly accelerating digital sensing, storage, and transmission capabilities to intervene in human processes. This symposium focuses on how firms should engage ethical choices in developing and deploying these technologies. In this introduction, we, first, identify themes the symposium articles share and discuss how the set of articles illuminate diverse facets of the intersection of technology and business ethics. Second, we use these themes to explore what business ethics offers to the study of technology and, third, what technology studies offers to the field of business ethics. Each field brings expertise that, together, improves our understanding of the ethical implications of technology. Finally we introduce each of the five papers, suggest future research directions, and interpret their implications for business ethics. (shrink)

Recent technological advances have accelerated the use of artificial intelligence (AI) in the world. Public concerns over AI in ethical, legal, and social issues (ELSI) may have been enhanced, but their awareness has not been fully examined between countries and cultures. We created four scenarios regarding the use of AI: “voice,” “recruiting,” “face,” and “immigration,” and compared public concerns in Japan, the US, Germany, and the Republic of Korea (hereafter Korea). Additionally, public ELSI concerns in respect of AI were (...) measured using four items: ethics, tradition, law and social benefit. Respondents with AI knowledge tended to exhibit stronger concern about ELSI in various situations. In terms of law concerns, Japanese respondents displayed greater concerns. In contrast, the US, when compared Japan, expressed a relatively optimistic view of the current law landscape. Regarding social benefits, Korea, compared to Japan, exhibited a more positive outlook, whereas Germany, in comparison to Japan, expressed heightened concerns about it across different scenarios. (shrink)

Teilhard is among the first to seriously explore the future of human evolution. He advocates both bio-technologies (e.g. genetic engineering) and intelligence technologies. He discusses the emergence of a global computation - communication system (and is said by some to have been the first to have envisioned the Internet). He advocates the development of a global society. He is almost surely the first to discuss the acceleration of technological progress to a Singularity in which human intelligence will become super-intelligence. He (...) discusses the spread of human intelligence into the universe and its amplification into a cosmic-intelligence. His work has been taken up by Barrow and Tipler; Tipler; Moravec; and Kurzweil. Of course, Teilhard's Omega Point Theory is deeply Christian. For secular transhumanists, this may be difficult. But transhumanism cannot avoid a fateful engagement with Christianity. Christian institutions may support or oppose transhumanism. Since Christianity is an extremely powerful cultural force in the West, it is imperative for transhumanism to engage it carefully. A serious study of Teilhard can help that engagement and will thus be rewarding to both communities. (shrink)

The emergence of the “4th Industrial Revolution,” i.e. the convergence of artificial intelligence, the Internet of Things, advanced materials, and bioengineering technologies, could accelerate socioeconomic insecurities and anxieties or provide beneficial alternatives to the status quo. In the post-Covid-19 era, the entities that are best positioned to capitalize on these innovations are large firms, which use digital platforms and big data to orchestrate vast ecosystems of users and extract market share across industry sectors. Nonetheless, these technologies also have the potential (...) to democratize ownership, broaden political-economic participation, and reduce environmental harms. We articulate the potential sociotechnical pathways in this high-stakes crossroads by analyzing cellular agriculture, an exemplary 4th Industrial Revolution technology that synergizes computer science, biopharma, tissue engineering, and food science to grow cultured meat, dairy, and egg products from cultured cells and/or genetically modified yeast. Our exploration of this space involved multi-sited ethnographic research in both the cellular agriculture community and alternative economic organizations devoted to open source licensing, member-owned cooperatives, social financing, and platform business models. Upon discussing how these latter approaches could potentially facilitate alternative sociotechnical pathways in cellular agriculture, we reflect upon the broader implications of this work with respect to the 4th Industrial Revolution and the enduring need for public policy reform. (shrink)

Singularity Hypotheses: A Scientific and Philosophical Assessment offers authoritative, jargon-free essays and critical commentaries on accelerating technological progress and the notion of technological singularity. It focuses on conjectures about the intelligence explosion, transhumanism, and whole brain emulation. Recent years have seen a plethora of forecasts about the profound, disruptive impact that is likely to result from further progress in these areas. Many commentators however doubt the scientific rigor of these forecasts, rejecting them as speculative and unfounded. We therefore invited prominent (...) computer scientists, physicists, philosophers, biologists, economists and other thinkers to assess the singularity hypotheses. Their contributions go beyond speculation, providing deep insights into the main issues and a balanced picture of the debate. (shrink)

Sensory and tracking technologies are being introduced into workplaces in ways Taylor and the Gilbreths could only have imagined. New work design experiments merge wellness with productivity to measure and modulate the affective and emotional labour of resilience that is necessary to survive the turbulence of the widespread incorporation of agile management systems, in which workers are expected to take symbolic direction from machines. The Quantified Workplace project was carried out by one company that fitted sensory algorithmic devices to workers’ (...) computers and bodies, which, this article argues, identify workers’ so-called agility and reveal management practices that track affective and emotional labour, categorized in the project as stress, subjective productivity and wellbeing. Capital’s accelerated attempts to capture more areas of work and workers’ capacities facilitate the conversion of labour power into a source of value but also results in alienation and abstraction. Participants’ resistance to participation in the Quantified Workplace reveals tensions in the labour process when affect is measured in processes of corporate change. (shrink)

Since the mid-twentieth century, the concept of the Turing machine has dominated thought about effective procedures. This paper presents an alternative to Turing's analysis; it unifies, refines, and extends my earlier work on this topic. I show that Turing machines cannot live up to their billing as paragons of effective procedure; at best, they may be said to provide us with mere procedure schemas. I argue that the concept of an effective procedure crucially depends upon distinguishing procedures as definite courses (...) of action(- types) from the particular courses of action(-tokens) that actually instantiate them and the causal processes and/or interpretations that ultimately make them effective. On my analysis, effectiveness is not just a matter of logical form; `content' matters. The analysis I provide has the advantage of applying to ordinary, everyday procedures such as recipes and methods, as well as the more refined procedures of mathematics and computer science. It also has the virtue of making better sense of the physical possibilities for hypercomputation than the received view and its extensions, e.g. Turing's o-machines, accelerating machines. (shrink)

The ‘Turing barrier’ is an evocative image for 0′, the degree of the unsolvability of the halting problem for Turing machines—equivalently, of the undecidability of Peano Arithmetic. The ‘barrier’ metaphor conveys the idea that effective computability is impaired by restrictions that could be removed by infinite methods. Assuming that the undecidability of PA is essentially depending on the finite nature of its computational means, decidability would be restored by the ω-rule. Hypercomputation, the hypothetical realization of infinitary machines through relativistic and (...) quantium models, would thus be capable of breaking the Turing barrier. The speculation is unfounded in principle, apart from issues of physical realizability: The point is that the ω-rule does not cope with all objects entailing the undecidability of PA. As long as the system is consistent, the computational boundary can be established by paradox-like constructions, such as Gödel-Rosser’s and Yablo’s, which are refractory to infinite induction, and do stand as the barrier’s buttresses. (shrink)

In the age of artificial intelligence, writing machines or robot authors have already begun to produce narrative texts in a variety of genres, including short stories and poetry, as well as journalistic articles. This article is based on the prospect that the narrative ecosystem is in a transitional period of decisive disconnection as it enters the era of artificial intelligence. The primary force driving this transition is the formidable execution of artificial intelligence algorithms, which fully automate narrative communication and narrative (...) works. This article attempts to lay the groundwork for building a new paradigm of post-narrativity through a critical examination of several detailed themes in narrative semiotics and non-anthropocentric narratology. The process of narrative creation based on artificial intelligence algorithms is a key condition that constitutes post-narrativity. This presupposes a non-anthropocentric view. In the landscape of post-narrativity, human writers, paper books, computer screens, and invisible narrative algorithms are all agents with equal influence. Automated narrative production by algorithms accelerates the repositioning of other existing media and actors, and changes the narrative ecosystem by incorporating new elements into activities such as production, distribution, and reception of narratives. (shrink)