I explore physics implications of the External Reality Hypothesis (ERH) that there exists an external physical reality completely independent of us humans. I argue that with a sufficiently broad definition of mathematics, it implies the Mathematical Universe Hypothesis (MUH) that our physical world is an abstract mathematical structure. I discuss various implications of the ERH and MUH, ranging from standard physics topics like symmetries, irreducible representations, units, free parameters, randomness and initial conditions to broader issues like consciousness, parallel universes and (...) Gödel incompleteness. I hypothesize that only computable and decidable (in Gödel’s sense) structures exist, which alleviates the cosmological measure problem and may help explain why our physical laws appear so simple. I also comment on the intimate relation between mathematical structures, computations, simulations and physical systems. (shrink)

Niche construction theory (NCT) is distinctive for being explicit in recognizing environmental modification by organisms—niche construction—and its legacy—ecological inheritance—to be evolutionary processes in their own right. Humans are widely regarded as champion niche constructors, largely as a direct result of our capacity for the cultural transmission of knowledge and its expression in human behavior, engineering, and technology. This raises the question of how human ecological inheritance relates to human cultural inheritance. If NCT is to provide a conceptual framework for the (...) human sciences, then it is important that the relationship between these two legacies is clear. We suggest that cultural processes and cultural inheritance can be viewed as the primary means by which humans engage in the universal process of niche construction. (shrink)

A novel theory of reflective consciousness, will and self is presented, based on modeling each of these entities using self-referential mathematical structures called hypersets. Pattern theory is used to argue that these exotic mathematical structures may meaningfully be considered as parts of the minds of physical systems, even finite computational systems. The hyperset models presented are hypothesized to occur as patterns within the "moving bubble of attention" of the human brain and any roughly human-mind-like AI system. These ideas appear to (...) be compatible with both panpsychist and materialist views of consciousness, and probably other views as well. Their relationship with the CogPrime AI design and its implementation in the OpenCog software framework is elucidated in detail. (shrink)

The title of the present book suggests that scientific results obtained in mathematics and quantum physics can be in some way related to the question of the existence of God. This seems possible to us, because it is our conviction that reality in all its dimensions is intelligible. The really impressive progress in science and technology demonstrates that we can trust our intellect, and that nature is not offering us a collection of meaningless absurdities. We first of all intend to (...) show with results taken from mathematics and quantum physics: Mathematical Undecidability: man will never have a universal method to solve any mathematical problem. In arithmetic there always will be unsolved, solvable problems. Quantum Nonlocality: certain phenomena in nature seem to imply the existence of correlations based on faster-than-light influences. These influences, however, are not accessible to manipulation by man for use in, for example, faster than light communication. In the various contributions pieces of a puzzle are offered, which suggest that there exists more than the world of phenomena around us. The results discussed point to intelligent and unobservable causes governing the world. One is led to perceive the shade of a reality which many people would call God. (shrink)

It is common in cognitive science to equate computation (and in particular digital computation) with information processing. Yet, it is hard to find a comprehensive explicit account of concrete digital computation in information processing terms. An information processing account seems like a natural candidate to explain digital computation. But when ‘information’ comes under scrutiny, this account becomes a less obvious candidate. Four interpretations of information are examined here as the basis for an information processing account of digital computation, namely Shannon (...) information, algorithmic information, factual information and instructional information. I argue that any plausible account of concrete computation has to be capable of explaining at least the three key algorithmic notions of input, output and procedures. Whist algorithmic information fares better than Shannon information, the most plausible candidate for an information processing account is instructional information. (shrink)

Chaitin’s incompleteness result related to random reals and the halting probability has been advertised as the ultimate and the strongest possible version of the incompleteness and undecidability theorems. It is argued that such claims are exaggerations.

Gödel's Theorem is often used in arguments against machine intelligence, suggesting humans are not bound by the rules of any formal system. However, Gödelian arguments can be used to support AI, provided we extend our notion of computation to include devices incorporating random number generators. A complete description scheme can be given for integer functions, by which nonalgorithmic functions are shown to be partly random. Not being restricted to algorithms can be accounted for by the availability of an arbitrary random (...) function. Humans, then, might not be rule-bound, but Gödelian arguments also suggest how the relevant sort of nonalgorithmicity may be trivially made available to machines. (shrink)

In evolutionary biology, niche construction is sometimes described as a genuine evolutionary process whereby organisms, through their activities and regulatory mechanisms, modify their environment such as to steer their own evolutionary trajectory, and that of other species. There is ongoing debate, however, on the extent to which niche construction ought to be considered a bona fide evolutionary force, on a par with natural selection. Recent formulations of the variational free-energy principle as applied to the life sciences describe the properties of (...) living systems, and their selection in evolution, in terms of variational inference. We argue that niche construction can be described using a variational approach. We propose new arguments to support the niche construction perspective, and to extend the variational approach to niche construction to current perspectives in various scientific fields. (shrink)

Cognitive science is an interdisciplinary conglomerate of various research fields and disciplines, which increases the risk of fragmentation of cognitive theories. However, while most previous work has focused on theoretical integration, some kinds of integration may turn out to be monstrous, or result in superficially lumped and unrelated bodies of knowledge. In this paper, I distinguish theoretical integration from theoretical unification, and propose some analyses of theoretical unification dimensions. Moreover, two research strategies that are supposed to lead to unification are (...) analyzed in terms of the mechanistic account of explanation. Finally, I argue that theoretical unification is not an absolute requirement from the mechanistic perspective, and that strategies aiming at unification may be premature in fields where there are multiple conflicting explanatory models. (shrink)

The mind-body problem is analyzed in a physicalist perspective. By combining the concepts of emergence and algorithmic information theory in a thought experiment employing a basic nonlinear process, it is argued that epistemically strongly emergent properties may develop in a physical system. A comparison with the significantly more complex neural network of the brain shows that also consciousness is epistemically emergent in a strong sense. Thus reductionist understanding of consciousness appears not possible; the mind-body problem does not have a reductionist (...) solution. The ontologically emergent character of consciousness is then identified from a combinatorial analysis relating to system limits set by quantum mechanics, implying that consciousness is fundamentally irreducible to low-level phenomena. In the perspective of a modified definition of free will, the character of the physical interactions of the brain's neural system is subsequently studied. As an ontologically open system, it is asserted that its future states are undeterminable in principle. We argue that this leads to freedom of the will. (shrink)

Mind-body problemet analyseras i ett reduktionistiskt perspektiv. Genom att kombinera emergensbegreppet med algoritmisk informationsteori visas i ett tankeexperiment att ett starkt epistemiskt emergent system kan konstrueras utifrån en relativt enkel, ickelinjär process. En jämförelse med hjärnans avsevärt mer komplexa neurala nätverk visar att även medvetandet kan karakteriseras som starkt epistemiskt emergent. Därmed är reduktionistisk förståelse av medvetandet inte möjlig; mind-body problemet har alltså inte en reduktionistisk lösning. Medvetandets ontologiskt emergenta karaktär kan därefter konstateras utifrån en kombinatorisk analys; det är därmed (...) principiellt oreducerbart till lägre-nivå-fenomen. I perspektivet av en modifierad definition av fri vilja diskuteras den fysiska växelverkan som äger rum i hjärnans neurala system. Trots att enskilda neurala lägre-nivå-processer är deterministiska, kan globala processer visas vara icke- deterministiska i ontologisk mening. Vi argumenterar för att detta leder till viljans frihet. (shrink)

Christopher Timpson proposes a deflationary view about information, according to which the term ‘information’ is an abstract noun and, as a consequence, information is not part of the material contents of the world. The main purpose of the present article consists in supplying a critical analysis of this proposal, which will lead us to conclude that information is an item even more abstract than what Timpson claims. From this view, we embrace a pluralist stance that recognizes the legitimacy of different (...) interpretations of the concept of information. (shrink)

The diagonal method is often used to show that Turing machines cannot solve their own halting problem. There have been several recent attempts to show that this method also exposes either contradiction or arbitrariness in other theoretical models of computation which claim to be able to solve the halting problem for Turing machines. We show that such arguments are flawed—a contradiction only occurs if a type of machine can compute its own diagonal function. We then demonstrate why such a situation (...) does not occur for the methods of hypercomputation under attack, and why it is unlikely to occur for any other serious methods. Introduction Issues with specific hypermachines Conclusions for hypercomputation. (shrink)

In the the passage just quoted from the Dialogues concerning Natural Religion, David Hume developed a thought-experiment that contravened his better-known views about "chance" expressed in his Treatise and first Enquiry. For among other consequences of the 'eternal-recurrence' hypothesis Philo proposes in this passage, it may turn out that what the vulgar call cause is nothing but a secret and concealed chance. (In this sentence, I have simply reversed "cause" and "chance" in a well-known passage from Hume's Treatise, p. 130). (...) In the first eight sections of this essay, I develop one topological and model-theoretic analogue of Hume's thought-experiment, in which 'most' ('A-generic') models M of a 'scientific' theory U are both 'eternally recurrent' and topologically random (in a sense which will be made precise), even though they are 'inductively' defined, via a step-by-step ('empirical'?) procedure that Hume might have been inclined to endorse. The last aspect of this model-theoretic thought-experiment also serves to distinguish it from simpler measure-theoretic prototypes that are known to follow from Kolmogorov's Zero-One Law (cf. the Introduction, 5.2, 6.1 and 6.7 below). In the last three sections, I will argue more informally (1) that the metamathematical thought-experiments just mentioned do have a genuine metaphysical relevance, and that this relevance is predominantly skeptical in its implications; (2) that such 'nonstandard' instances of semantic underdetermination and 'pathology' seem to be the metatheoretic rule rather than the exception; and therefore, (3) that metamathematical and metatheoretic 'malign-genius' arguments are quite coherent, contrary (e.g.) to assertions such as that of Putnam (1980), pp. 7-8. In the essay's conclusion, finally, I assimilate (2) and (3) to the familiar datum that 'simplicity', rather than 'pathology', has more often than not turned out to be an anomalous 'special case' in the historical development of scientific and mathematical ontology. (shrink)

The aim of this paper is to comprehensively question the validity of the standard way of interpreting Chaitin's famous incompleteness theorem, which says that for every formalized theory of arithmetic there is a finite constant c such that the theory in question cannot prove any particular number to have Kolmogorov complexity larger than c. The received interpretation of theorem claims that the limiting constant is determined by the complexity of the theory itself, which is assumed to be good measure of (...) the strength of the theory. I exhibit certain strong counterexamples and establish conclusively that the received view is false. Moreover, I show that the limiting constants provided by the theorem do not in any way reflect the power of formalized theories, but that the values of these constants are actually determined by the chosen coding of Turing machines, and are thus quite accidental. (shrink)

All the attempts to find the justification of the privileged evolution of phenomena exclusively in the external world need to refer to the inescapable fact that we are living in such an asymmetric universe. This leads us to look for the origin of the “arrow of time” in the relationship between the subject and the world. The anthropic argument shows that the arrow of time is the condition of the possibility of emergence and maintenance of life in the universe. Moreover, (...) according to Bohr’s, Poincaré’s and Watanabe’s analysis, this agreement between the earlier-later direction of entropy increase and the past-future direction of life is the very condition of the possibility for meaningful action, representation and creation. Beyond this relationship of logical necessity between the meaning process and the arrow of time the question of their possible physical connection is explored. To answer affirmatively to this question, the meaning process is modelled as an evolving tree-like structure, called “Semantic Time”, where thermodynamic irreversibility can be shown. (shrink)

The mind–body problem is analyzed in a physicalist perspective. By combining the concepts of emergence and algorithmic information theory in a thought experiment, employing a basic nonlinear process, it is shown that epistemologically emergent properties may develop in a physical system. Turning to the significantly more complex neural network of the brain it is subsequently argued that consciousness is epistemologically emergent. Thus reductionist understanding of consciousness appears not possible; the mind–body problem does not have a reductionist solution. The ontologically emergent (...) character of consciousness is then identified from a combinatorial analysis relating to universal limits set by quantum mechanics, implying that consciousness is fundamentally irreducible to low-level phenomena. (shrink)

The mind-body problem is analyzed in a physicalist perspective. By combining the concepts of emergence and algorithmic information theory in a thought experiment employing a basic nonlinear process, it is shown that epistemically strongly emergent properties may develop in a physical system. Turning to the significantly more complex neural network of the brain it is subsequently argued that consciousness is epistemically emergent. Thus reductionist understanding of consciousness appears not possible; the mind-body problem does not have a reductionist solution. The ontologically (...) emergent character of consciousness is then identified from a combinatorial analysis relating to universal limits set by quantum mechanics, implying that consciousness is fundamentally irreducible to low-level phenomena. (shrink)

Certain enterprises at the fringes of science, such as intelligent design creationism, claim to identify phenomena that go beyond not just our present physics but any possible physical explanation. Asking what it would take for such a claim to succeed, we introduce a version of physicalism that formulates the proposition that all available data sets are best explained by combinations of “chance and necessity”—algorithmic rules and randomness. Physicalism would then be violated by the existence of oracles that produce certain kinds (...) of noncomputable functions. Examining how a candidate for such an oracle would be evaluated leads to questions that do not admit an easy resolution. Since we lack any plausible candidate for any such oracle, however, chance-and-necessity physicalism appears very likely to be correct. (shrink)

Scientists have attempted several times to define the notion of complexity. A proper definition uses elements of three sets: a set of sites, as set of connections, and a set of nodes coincides with the set. Sites and connections can be translated into terms of graph theory as vertices and edges, which enables to consider complexity as an associated graph.Thus complexity of a system (or a structure) will be defined as the number of possible figures and aspects which are obtained (...) by combining vertices and edges. Complexity is the product of two factors, the first factor is tied to the combination of nodes called mutability and the second is tied to the combination of edges called liability. (shrink)

Classical and quantal physics are fundamentally different in the way that each deals with complexity. We examine both the algorithmic and the computational aspects of this difference. Any comprehensive deterministic theory must contain a certain ineffectiveness in producing long-term predictions of the future, whereas a probabilistic theory is not so handicapped. The relevance of these considerations to chaos is discussed.

In the the passage just quoted from theDialogues concerning Natural Religion, David Hume developed a thought-experiment that contravened his better-known views about chance expressed in hisTreatise and firstEnquiry.For among other consequences of the eternal-recurrence hypothesis Philo proposes in this passage, it may turn out that what the vulgar call cause is nothing but a secret and concealed chance.

The concept of complexity has become very important in theoretical biology. It is a many faceted concept and too new and ill defined to have a universally accepted meaning. This review examines the development of this concept from the point of view of its usefulness as a criteria for the study of living systems to see what it has to offer as a new approach. In particular, one definition of complexity has been put forth which has the necessary precision and (...) rigor to be considered as a useful categorization of systems, especially as it pertains to those we call living. This definition, due to Robert Rosen, has been developed in a number of works and involves some deep new concepts about the way we view systems. In particular, it focuses on the way we view the world and actually practice science through the use of the modelling relation. This mathematical object models the process by which we assign meaning to the world we perceive. By using the modelling relation, it is possible to identify the subjective nature of our practices and deal with this issue explicitly. By so doing, it becomes clear that our notion of complexity and especially its most popular manifestations, is in large part a product of the historical processes which lead to the present state of scientific epistemology. In particular, it is a reaction to the reductionist/mechanistic view of nature which can be termed the Newtonian Paradigm. This approach to epistemology has dominated for so long that its use as a model has become implicit in most of what we do in and out of science. The alternative to this approach is examined and related to the special definition of complexity given by Rosen. Some historical examples are used to emphasize the dependence of our view of what is complex in a popular sense on the ever changing state of our knowledge. The role of some popular concepts such as chaotic dynamics are examined in this context. The fields of artificial life and related areas are also viewed from the perspective of this rigorous view of complexity and found lacking. The notion that in some way life exists at the edge of chaos is examined from the perspective of the second law of thermodynamics given by Schneider and Kay. Finally, the causal elements in complex systems are explored in relation to complexity. Rosen has shown that a clear difference in causal relations exists between complex and simple systems and that this difference leads to a uniquely useful definition of what we mean by living. Rosen makes it very clear that the class of systems which are complex is a much larger class than those which we call living. For that reason, the focus of this review will be on complexity as a stepping stone towards the deeper question of what makes a system alive. (shrink)

The social sciences and humanities are fragmented into specialized areas, each with their own parlance and procedures. This hinders information sharing and the growth of a coherent body of knowledge. Modeling and simulation can be the scientific lingua franca, or shared technical language, that can unite, integrate, and relate relevant parts of these diverse disciplines.Models are well established in the scientific community as mediators, contributors, and enablers of scientific knowledge. We propose a potentially revolutionary linkage between social sciences, humanities and (...) computer simulation, forging what we call “human simulation.” We explore three facets of human simulation, namely: the simulation of humans, the design of simulations for human use, and simulations that include humans as well as simulated agents among the actors. We describe the potential of human simulation using several illuminating examples. We also discuss computational, epistemological, and hermeneutical challenges constraining the use of human simulation. (shrink)

In the present paper we develop different arguments to show that there are no reasons to consider that there exists quantum information as qualitatively different than Shannon information. There is only one kind of information, which can be coded by means of orthogonal or non-orthogonal states. The analogy between Shannon’s theory and Schumacher’s theory is confined to coding theorems. The attempt to extend the analogy beyond this original scope leads to a concept of quantum information that becomes indistinguishable from that (...) of quantum state. But information is essentially linked with communication, as it is clear in both Shannon’s and Schumacher’s proposals. If we detach information from this link, we are not talking about information but about quantum mechanics. We also stress the neutrality of information with respect to the physical theories that describe the systems used for its implementation. This view opens the way towards a non-reductive unification of physics: if different physical theories can be reconstructed on the same neutral informational basis, they could be meaningfully compared with no need of searching for reductive links among them. (shrink)

In this philosophical paper, we explore computational and biological analogies to address the fine-tuning problem in cosmology. We first clarify what it means for physical constants or initial conditions to be fine-tuned. We review important distinctions such as the dimensionless and dimensional physical constants, and the classification of constants proposed by Lévy-Leblond. Then we explore how two great analogies, computational and biological, can give new insights into our problem. This paper includes a preliminary study to examine the two analogies. Importantly, (...) analogies are both useful and fundamental cognitive tools, but can also be misused or misinterpreted. The idea that our universe might be modelled as a computational entity is analysed, and we discuss the distinction between physical laws and initial conditions using algorithmic information theory. Smolin introduced the theory of "cosmological natural selection" with a biological analogy in mind. We examine an extension of. (shrink)

John organized a state lottery and his wife won the main prize. You may feel that the event of her winning wasn’t particularly random, but how would you argue that in a fair court of law? Traditional probability theory does not even have the notion of random events. Algorithmic information theory does, but it is not applicable to real-world scenarios like the lottery one. We attempt to rectify that.

The principle of complementarity in physics can be generalized and extended to information studies. It helps explain the dilemma faced by information studies today. The prevailing endeavor that going beyond the limitation of formal theories and to develop a unified theory of information falls in the dilemma which is structurally homologous to the dilemmas in quantum physics. The dilemma is caused by an epistemological paradox called assignment paradox. The paradox can be removed through generalized complementarity. It means that the concept (...) of information embodying in different theoretical contexts are different phenomenon. They are complementary to each other. The analysis brings bad news to methodologically reductionism and fundamentalism but good news to transdisciplinary approach. (shrink)

This thesis offers a naturalist revision of Alain Badiou’s philosophy. This goal is pursued through an encounter of Badiou’s mathematical ontology and theory of truth with contemporary trends in philosophy of mathematics and philosophy of science. I take issue with Badiou’s inability to elucidate the link between the empirical and the ontological, and his residual reliance on a Heideggerian project of fundamental ontology, which undermines his own immanentist principles. I will argue for both a bottom-up naturalisation of Badiou’s philosophical approach (...) to mathematics and a top-down naturalisation. Articulating my particular understanding of what realism and naturalism should commit us to, I propose a creative fusion of Badiou’s attention to metamathematical results with a structural-informational metaphysics, proposing a ‘matherialism’ uniting the more daring speculative insights of the former with the naturalist and empiricist commitments motivating the latter. (shrink)

This paper situates Bogdanov in the context of social theory generally and socialist theory in particular. It outlines briefly the principal characteristics of his mature system, and assesses the strengths and weaknesses of his approach to the fundamental problems of social thought. The paper devotes particular attention to the problem of just how systems develop from less complex to more complex forms of organization, and evaluates Bogdanov's solution to this problem against the background of populist, social democratic, and Leninist alternatives.

The article presents several examples of different mathematical structures and interprets their properties related to the existence of universal functions. In this context, relations between the problem of totality of elements and possible forms of universal functions are analyzed. Furthermore, some global and local aspects of the mentioned functional systems are distinguished and compared. In addition, the paper attempts to link universality and totality with the dynamic and static properties of mathematical objects and to consider the problem of limitations in (...) the construction of structures combining harmoniously the availability of information at the local and global level. (shrink)

An analogy between the evolution of organisms and some complex computational problems (cryptosystem cracking, determination of the shortest path in a graph) is considered. It is shown that in the absence of a priori information about possible species of organisms such a problem is complex (is rated in the class NP) and cannot be solved in a polynomial number of steps. This conclusion suggests the need for re-examination of evolution mechanisms. Ideas of a deterministic approach to the evolution are discussed.

We consider the question of randomness of the probability ΩU[X] that an optimal Turing machine U halts and outputs a string in a fixed set X. The main results are as follows: ΩU[X] is random whenever X is $\Sigma _{n}^{0}$-complete or $\Pi _{n}^{0}$-complete for some n ≥ 2. However, for n ≥ 2, ΩU[X] is not n-random when X is $\Sigma _{n}^{0}$ or $\Pi _{n}^{0}$ Nevertheless, there exists $\Delta _{n+1}^{0}$ sets such that ΩU[X] is n-random. There are $\Delta _{2}^{0}$ sets (...) X such that ΩU[X] is rational. Also, for every n ≥ 1, there exists a set X which is $\Delta _{n+1}^{0}$ and $\Sigma _{n}^{0}$-hard such that ΩU[X] is not random. We also look at the range of ΩU as an operator. We prove that the set {ΩU[X]: X ⊆ 2<ω} is a finite union of closed intervals. It follows that for any optimal machine U and any sufficiently small real r, there is a set X ⊆ 2<ω recursive in ∅′ ⊕ r, such that ΩU[X] = r. The same questions are also considered in the context of infinite computations, and lead to similar results. (shrink)

Continuity as appears to us immediately by intuition differs from its current formalization, the arithmetical continuum or equivalently the set of real numbers used in modern mathematical analysis. Motivated by the known mathematical and physical problems arising from this formalization of the continuum, our aim in this paper is twofold. Firstly, by interpreting Chaitin’s variant of Gödel’s first incompleteness theorem as an inherent uncertainty or fuzziness of the arithmetical continuum, a formal set-theoretic entropy is assigned to the arithmetical continuum. Secondly, (...) by analyzing Noether’s theorem on symmetries and conserved quantities, we argue that whenever the four dimensional space-time continuum containing a single, stationary, asymptotically flat black hole is modeled by the arithmetical continuum in the mathematical formulation of general relativity, the hidden set-theoretic entropy of this latter structure reveals itself as the entropy of the black hole, indicating that this apparently physical quantity might have a pure set-theoretic origin, too. (shrink)

In this paper I discuss possible ways of measuring the power of arithmetical theories, and the possiblity of making an explication in Carnap's sense of this concept. Chaitin formulates several suggestions how to construct measures, and these suggestions are reviewed together with some new and old critical arguments. I also briefly review a measure I have designed together with some shortcomings of this measure. The conclusion of the paper is that it is not possible to formulate an explication of the (...) concept. (shrink)

Akin''s determinism paradox involves a physical system that predicts its own behavior, and then spitefully defies it. Here this paradox is reformulated in purely computational language, in terms of virtual machines. The paradox is related to the theory of self-reproducing automata; and a mathematical conjecture is given which, if verified, would resolve the paradox.

This paper suggests an epistemic interpretation of Belnap’s branching space-times theory based on Everett’s relative state formulation of the measurement operation in quantum mechanics. The informational branching models of the universe are evolving structures defined from a partial ordering relation on the set of memory states of the impersonal observer. The totally ordered set of their information contents defines a linear “time” scale to which the decoherent alternative histories of the informational universe can be referred—which is quite necessary for assigning (...) them a probability distribution. The “historical” state of a physical system is represented in an appropriate extended Hilbert space and an algebra of multi-branch operators is developed. An age operator computes the informational depth of historical states and its standard deviation can be used to provide a universal information/energy uncertainty relation. An information operator computes the encoding complexity of historical states, the rate of change of its average value accounting for the process of correlation destruction inherent to the branching dynamics. In the informational branching models of the universe, the asymmetry of phenomena in nature appears as a mere consequence of the subject’s activity of measuring, which defines the flow of time-information. (shrink)