The tape is divided into squares, each square bearing a single symbol—'0' or '1', for example. This tape is the machine's general-purpose storage medium: the machine is set in motion with its input inscribed on the tape, output is written onto the tape by the head, and the tape serves as a short-term working memory for the results of intermediate steps of the computation. The program governing the particular computation that the machine is to perform is also stored on the (...) tape. A small, fixed program that is 'hard-wired' into the head enables the head to read and execute the instructions of whatever program is on the tape. The machine's atomic operations are very simple—for example, 'move left one square', 'move right one square', 'identify the symbol currently beneath the head', 'write 1 on the square that is beneath the head', and 'write 0 on the square that is beneath the head'. Complexity of operation is achieved by the chaining together of large numbers of these simple atoms. Any universal Turing machine can be programmed to carry out any calculation that can be performed by a human mathematician working with paper and pencil in accordance with some algorithmic method. This is what is meant by calling these machines 'universal'. (shrink)

``Neural computing'' is a research field based on perceiving the human brain as an information system. This system reads its input continuously via the different senses, encodes data into various biophysical variables such as membrane potentials or neural firing rates, stores information using different kinds of memories (e.g., short-term memory, long-term memory, associative memory), performs some operations called ``computation'', and outputs onto various channels, including motor control commands, decisions, thoughts, and feelings. We show a natural model of neural computing that (...) gives rise to hyper-computation. Rigorous mathematical analysis is applied, explicating our model's exact computational power and how it changes with the change of parameters. Our analog neural network allows for supra-Turing power while keeping track of computational constraints, and thus embeds a possible answer to the superiority of the biological intelligence within the framework of classical computer science. We further propose it as standard in the field of analog computation, functioning in a role similar to that of the universal Turing machine in digital computation. In particular an analog of the Church-Turing thesis of digital computation is stated where the neural network takes place of the Turing machine. (shrink)

Recent advances in neuroscience lead to a wider realm for philosophy to include the science of the Darwinian-evolved computational brain, our inner world producing organ, a non-recursive super- Turing machine combining 100B synapsing-neuron DNA-computers based on the genetic code. The whole system is a logos machine offering a world map for global context, essential for our intentional grasp of opportunities. We start from the observable contrast between the chaotic universe vs. our orderly inner world, the noumenal cosmos. So (...) far, philosophy has been rehearsing our thoughts, our human-internal world, a grand painting of the outer world, how we comprehend subjectively our experience, worked up by the logos machine, but now we seek a wider horizon, how humans understand the world thanks to Darwinian evolution to adapt in response to the metaphysical gap, the chasm between the human animal and its environment, shaping the organism so it can deal with its variable world. This new horizon embraces global context coded in neural structures that support the noumenal cosmos, our inner mental world, for us as denizens of the outer environment. Kant’s inner and outer senses are fundamental ingredients of scientific philosophy. Several sections devoted to Heidegger, his lizard debunked, but his version of the metaphysical gap & his doctrine of the logos praised. Rorty and others of the behaviorist school discussed also. (shrink)

The paper continues my earlier Chat with OpenAI’s ChatGPT with a Focused LLM Experiment (FLEX). The idea is to conduct Large Language Model (LLM) based explorations of certain areas or concepts. The approach is based on crafting initial guiding prompts and then follow up with user prompts based on the LLMs’ responses. The goals include improving understanding of LLM capabilities and their limitations culminating in optimized prompts. The specific subjects explored as research subject matter include a) diagonalization techniques as practiced (...) by Cantor, Turing, Gödel, and the advances, such as the Forcing techniques introduced by Paul Cohen and later investigators, b) Knowledge Hierarchies & Mapping Exercises, c) Discussions of IJ Good’s Speculations Concerning the First Ultraintelligent Machine, AGI, and Super- intelligence. Results suggest variability between major models like ChatGPT-4, Llama-3, Cohere, Sonnet and Opus. Results also point to strong dependence on users’ preexisting knowledge and skill bases. The paper should be viewed as ’raw data’ rather than a polished authoritative reference. (shrink)

I use modal logic and transfinite set-theory to define metaphysical foundations for a general theory of computation. A possible universe is a certain kind of situation; a situation is a set of facts. An algorithm is a certain kind of inductively defined property. A machine is a series of situations that instantiates an algorithm in a certain way. There are finite as well as transfinite algorithms and machines of any degree of complexity (e.g., Turing and super-Turing machines (...) and more). There are physically and metaphysically possible machines. There is an iterative hierarchy of logically possible machines in the iterative hierarchy of sets. Some algorithms are such that machines that instantiate them are minds. So there is an iterative hierarchy of finitely and transfinitely complex minds. (shrink)

Does Nature permit the implementation of behaviours that cannot be simulated computationally? We consider the meaning of physical computation in some detail, and present arguments in favour of physical hypercomputation: for example, modern scientific method does not allow the specification of any experiment capable of refuting hypercomputation. We consider the implications of relativistic algorithms capable of solving the (Turing) Halting Problem. We also reject as a fallacy the argument that hypercomputation has no relevance because non-computable values are indistinguishable from (...) sufficiently close computable approximations. In addition to considering the nature of computability relative to any given physical theory, we can consider the relationship between versions of computability corresponding to different models of physics. Deutsch and Penrose have argued on mathematical grounds that quantum computation and Turing computation have equivalent formal power. We suggest this equivalence is invalid when considered from the physical point of view, by highlighting a quantum computational behaviour that cannot meaningfully be considered feasible in the classical universe. (shrink)

In lieu of an abstract, here is a brief excerpt of the content: Reviewed by: The Myth or Elegy of Artificial Intelligence by Tingyang ZhaoXuejian Zhou (bio)Rengongzhineng de shenhua huo beige 人工智能的神話或悲歌 ( The Myth or Elegy of Artificial Intelligence). By Tingyang Zhao 趙汀陽. Beijing: The Commercial Press, 2022. Pp. 155. Hardcover RMB68, isbn 978-981-16-7749-6. In recent years, the philosophy of artificial intelligence has undoubtedly become one of the most popular topics. There is a vague viewpoint suggesting that Chinese philosophy (...) might face challenges in addressing the philosophical issues posed by artificial intelligence. However, compared to the past, when discussing Chinese philosophy today, we must acknowledge the significant impact of modern technology. While the contemporary world does indeed witness clashes of civilizations, individuals from various civilizations share a common predicament: their close entanglement with modern technology. Regarding the future of Chinese philosophy, it becomes crucial to direct our attention towards modern advancements like artificial intelligence and the diverse range of issues they introduce. In light of this context, Zhao Tingyang's 趙汀陽 new book, The Myth or Elegy of Artificial Intelligence, presents us with a fresh perspective. In this book, Zhao primarily delves into the philosophical issues surrounding Super Artificial Intelligence, a subject regarded as both a metaphysical and a political problem. This notion refers to artificial intelligence that surpasses general artificial intelligence in terms of functionality, and possesses self-consciousness. Therefore, "myth" refers to the myth of the emergence of Super Artificial Intelligence disrupting people's subjectivity, giving rise to a new myth of artificial intelligence. Conversely, the term "elegy" embodies the crisis in human destiny that stems from such profound changes, which will lead to an ontological revolution in human existence. This suggests that within the narrative of artificial intelligence's myth, there lies the elegy of humanity (p. 4). The intricate interplay between these two realms of myth and elegy vividly showcases the value of Chinese philosophy. The book consists of a total of ten chapters. In Chapter 1, Zhao initially presents a thought-provoking question. With the rapid advancement of artificial intelligence humanity is faced with a novel ontological event, where the existence of artificial intelligence could potentially jeopardize human existence. This presents an ontological problem of "de-existence" (p. 8). As current artificial intelligence remains within the domain of the Turing machine concept and lacks subjectivity, it cannot effectively engage in matters involving self-correlation or [End Page 1] infiniteness. However, if artificial intelligence evolves into a super Turing machine endowed with subjectivity and free will, it could gain the capacity to modify its own programs and societal norms based on its needs or maximal benefits. This scenario introduces the possibility of a crisis in human existence, where the very existence of humanity is put at risk (pp. 17-23). In Chapter 2, Zhao analyzes the safety conditions of artificial intelligence and proposes the need to establish self-destruct mechanisms for Super Artificial Intelligence to ensure the status of human existence (pp. 34-38). Interestingly, in this context, Zhao connects artificial intelligence with the concept of Tianxia 天下 ("all under heaven"), implying that in order to control capital and power, the world needs a new form of politics, namely, a Tianxia 天下 system. Tianxia 天下 represents a world system that ensures world peace and the shared interests of people in a multicultural context, a non-exclusive system defining the world beyond any particular entity. According to Zhao, only a Tianxia 天下 system can manage the technological risks of the world (p. 39). Theoretically (hopefully in practice as well), a significant application of the Tianxia 天下 system would be to use global authority to limit any high-risk behaviors. Based on the first two chapters, it becomes apparent that the dangers related to artificial intelligence do not lie in its current capabilities, but in its potential for self-consciousness. For this reason, in Chapter 3, Zhao analyzes this issue further. In his view, once artificial intelligence possesses the ability for self-reflection, it will become possible for it to transform its own system and create new rules. Especially if artificial intelligence invents a universal language of its own, equivalent to human natural language, then all program systems could be reinterpreted, reconstructed, and redefined using this universal language (pp. 47-52). Furthermore, if... (shrink)

A survey of the field of hypercomputation, including discussion of a variety of objections.

With 500+ papers and 20+ books spanning many scientific disciplines, Mark Burgin has left an indelible mark and legacy for future explorers of human thought and information technology professionals. In this paper, I discuss his contribution to the evolution of machine intelligence using his general theory of information (GTI) based on my discussions with him and various papers I co-authored during the past eight years. His construction of a new class of digital automata to overcome the barrier posed by the (...) Church–Turing Thesis, and his contribution to super-symbolic computing with knowledge structures, cognizing oracles, and structural machines are leading to practical applications changing the future landscape of information systems. GTI provides a model for the operational knowledge of biological systems to build, operate, and manage life processes using 30+ trillion cells capable of replication and metabolism. The schema and associated operations derived from GTI are also used to model a digital genome specifying the operational knowledge of algorithms executing the software life processes with specific purposes using replication and metabolism. The result is a digital software system with a super-symbolic computing structure exhibiting autopoietic and cognitive behaviors that biological systems also exhibit. We discuss here one of these applications. (shrink)

This paper reconstructs Oskar Becker’s phenomenology of race, a project he called “paraontology.” For Becker, a fervent National So-cialist, paraontology provided a phenomenological account of “na-ture”—a realm of ahistorical essences encompassing both the “super-historical” truths of mathematics and metaphysics and the “sub-historical” forces of “blood and soil.” The impetus for this reconstruc-tion is the re-emergence of this term in contemporary Black studies, where it is used to problematize ontology’s usefulness for thinking black life. This paper asks what the possibility (...) of such an iteration shows about Becker’s project and its investment in non-historical repetition, arguing it reveals a profound disavowal of the historical at the heart of Becker’s project rather than a phenomenological disclosure of the natural. (shrink)

In this article, the results of conceptualization of the definition of mind as an object of interdisciplinary applied research are described. The purpose of the theoretical analysis is to generate a methodological discourse suitable for a functional understanding of the mind in the context of the problem of natural language processing as one of the components of developments in the field of artificial intelligence. The conceptual discourse was realized with the help of the author's method of structural-ontological analysis, and developed (...) in the mainstream of the system-methodological tradition of the school of G.P. Shchedrovitsky and intended for descriptive research of subject areas of interdisciplinary objects of scientific study. As a result of the structural and ontological analysis of the super-system, the relevant place and role of the directly studied system (mind) are determined, and its primary process and material are localized and structural and functional connections are described. At the basic level, the mind is conceptualized as an energy process unfolding in a spatio-temporal environment and accompanied by archetypal structuring of neural impulses into images. The genesis of the system is separately analyzed by constructing a structural-ontological matrix that reflects the initial stage of the development of the mind. The primary process is concretized with the help of hetero- and homeostatic dichotomy, and also the most significant features of the consistent transformation of the material of the system and its ascent to verbal morphology are described. The structural-ontological comparison of the functioning of the verbal intelligence with the preverbal level has been carried out. The transformation of neural impulses of needs into words, as verbal units fixing semiotic values is analyzed. Structural-ontological connections that determine the reactive and prospective characteristics of the functioning of the system are disclosed. The position of the chronological primacy of "semiotic readiness" for language with respect to the debut of the latter as an information-sign model of the environment is argued. The hypothesis of domination at the initial stage of the development of the mind of exopsychic functions over endopsychic ones is formulated. The theoretical substantiation of the hypothesis of the inevitability of the ontology of language in the functional understanding of the mind is given, corresponding structural and ontological arguments are given, including those based on the ideas about the information relationship between affects and needs, according to the views of P.V. Simonov. The arguments are presented in favor of the non-alternative methodology of A. Turing in studies of artificial intelligence. (shrink)

I argue that the two-dimensional hyperintensions of epistemic topic-sensitive two-dimensional truthmaker semantics provide a compelling solution to the access problem. -/- I countenance an abstraction principle for two-dimensional hyperintensions based on Voevodsky's Univalence Axiom and function type equivalence in Homotopy Type Theory. The truth of my first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable i.e. Turing computable and the Turing machine being physically implementable. I apply, further, modal rationalism in modal epistemology to (...) solve the access problem. Epistemic possibility and hyperintensionality, i.e. conceivability, can be a guide to metaphysical possibility and hyperintensionality, when (i) epistemic worlds or epistemic hyperintensional states are interpreted as being centered metaphysical worlds or hyperintensional states, i.e. indexed to an agent, when (ii) the epistemic (hyper-)intensions and metaphysical (hyper-)intensions for a sentence coincide, i.e. the hyperintension has the same value irrespective of whether the worlds in the argument of the functions are considered as epistemic or metaphysical, and when (iii) sentences are said to consist in super-rigid expressions, i.e. rigid expressions in all epistemic worlds or states and in all metaphysical worlds or states. I argue that (i) and (ii) obtain in the case of the access problem. (shrink)

Information is a basic structure of the world, while computation is a process of the dynamic change of information. This book provides a cutting-edge view of world's leading authorities in fields where information and computation play a central role. It sketches the contours of the future landscape for the development of our understanding of information and computation, their mutual relationship and the role in cognition, informatics, biology, artificial intelligence, and information technology. -/- This book is an utterly enjoyable and engaging (...) read which gives readers an opportunity to understand and relate phenomena seemingly unrelated in a completely new light — especially the connections between information, computation, cognition and life. -/- Contents: Cybersemiotics and the Question of Knowledge (Søren Brier) Information Dynamics in a Categorical Setting (Mark Burgin) Mathematics as a Biological Process (G J Chaitin) Information, Causation and Computation (John Collier) From Descartes to Turing: The Computational Content of Supervenience (S Barry Cooper) A Dialogue Concerning Two World Systems: Info-Computational vs Mechanistic (Gordana Dodig-Crnkovic & Vincent C Müller) Does Computing Embrace Self-Organization? (Wolfgang Hofkirchner) Analysis of Information and Computation in Physics Explains Cognitive Paradigms: From Full Cognition to Laplace Determinism to Statistical Determinism to Modern Approach (Vladik Kreinovich, Roberto Araiza & Juan Ferret) Bodies — Both Informed and Transformed Embodied Computation and Information Processing (Bruce J MacLennan) Computation on Information, Meaning and Representations: An Evolutionary Approach (Christophe Menant) Interior Grounding, Reflection, and Self-Consciousness (Marvin Minsky) A Molecular Dynamic Network: Minimal Properties and Evolutionary Implications (Walter Riofrio) Super-recursive Features of Evolutionary Processes and the Models for Computational Evolution (Darko Roglic) Towards a Modeling View of Computing (Oron Shagrir) What's Information, for an Organism or Intelligent Machine? How can a Machine or Organism Mean? (Aaron Sloman) Inconsistent Knowledge as a Natural Phenomenon: The Ranking of Reasonable Inferences as a Computational Approach to Naturally Inconsistent (Legal) Theories (Kees (CNJ) de Vey Mestdagh & Jaap Henk (JH) Hoepman) On the Algorithmic Nature of the World (Hector Zenil & Jean-Paul Delahaye) . (shrink)

Though less well known than his other work, Turings 1938 Princeton Thesis, this title which includes his notion of an oracle machine, has had a lasting influence on computer science and mathematics. It presents a facsimile of the original typescript of the thesis along with essays by Appel and Feferman that explain its still-unfolding significance.

I propose to consider the question, "Can machines think?" This should begin with definitions of the meaning of the terms "machine" and "think." The definitions might be framed so as to reflect so far as possible the normal use of the words, but this attitude is dangerous, If the meaning of the words "machine" and "think" are to be found by examining how they are commonly used it is difficult to escape the conclusion that the meaning and the answer to (...) the question, "Can machines think?" is to be sought in a statistical survey such as a Gallup poll. But this is absurd. Instead of attempting such a definition I shall replace the question by another, which is closely related to it and is expressed in relatively unambiguous words. The new form of the problem can be described in terms of a game which we call the 'imitation game." It is played with three people, a man (A), a woman (B), and an interrogator (C) who may be of either sex. The interrogator stays in a room apart front the other two. The object of the game for the interrogator is to determine which of the other two is the man and which is the woman. He knows them by labels X and Y, and at the end of the game he says either "X is A and Y is B" or "X is B and Y is A." The interrogator is allowed to put questions to A and B. We now ask the question, "What will happen when a machine takes the part of A in this game?" Will the interrogator decide wrongly as often when the game is played like this as he does when the game is played between a man and a woman? These questions replace our original, "Can machines think?". (shrink)

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

Aboitiz et al. describe a hypothesis on the origin of the isocortex. They propose the reptilian dorsal cortex to be the ancestral brain structure to the mammalian isocortex. But why did the dorsal cortex expand in mammals and not in reptiles? A change in development may have provided the mammalian cortex with the ability to organize and therefore the potential to expand.

There are many complex characters in this paper; if you find them difficult to distinguish, you are advised to increase the viewing size.