Jerzy Krol

We consider consciousness attributed to systems in space-time which can be purely physical without biological background and focus on the mathematical understanding of the phenomenon. It is shown that the set theory based on sets in the foundations of mathematics, when switched to set theory based on ZFC models, is a very promising mathematical tool in explaining the brain/mind complex and the emergence of consciousness in natural and artificial systems. We formalise consciousness-supporting systems in physical space-time, but this is localised in open domains of spatial regions and the result of this process is a family of different ZFC models. Random forcing, as in set theory, corresponds precisely to the random influence on the system of external stimuli, and the principles of reflection of set theory explain the conscious internal reaction of the system. We also develop the conscious Turing machines which have their external ZFC environment and the dynamics is encoded in the random forcing changing models of ZFC in which Turing machines with oracles are formulated. The construction is applied to cooperating families of conscious agents which, due to the reflection principle, can be reduced to the implementation of certain concurrent games with different levels of self-reflection.

We build a topological model, based on intuitionistic logic, for multi-agent biological systems (such as _Physarum polycephalum_, bacterial colonies or any other swarm), reacting to external nourishment stimuli. Our construction follows the topological description of brain activity, where particles (neurons) are activated by an external environment, represented by a topological space _X_ with an open cover \(\{U_i:i\in I\}\). The brain builds the model of this external space via the nerve (trace) of a topological space _X_. Here the body of _Physarum polycephalum_ or a swarm made of networks of tubular structures represents a nerve (trace) of _X_ also which means that _Physarum polycephalum_ or a swarm gains orientation in the space of external stimuli even in the absence of any neural system. The logic of living organisms is based on open subsets of _X_ and thus can be represented by Heyting algebra (i.e. intuitionistically). We also consider the generalisation of the nerve construction to a categorical context, where the category is determined by the network structures of multi-agent biological system. This model can be generalised up to simulating the behaviour of any swarm by means of intuitionistic logic.

Quantum mechanics (QM) predicts probabilities on the fundamental level which are, via Born probability law, connected to the formal randomness of infinite sequences of QM outcomes. Recently it has been shown that QM is algorithmic 1-random in the sense of Martin–Löf. We extend this result and demonstrate that QM is algorithmic $$\omega$$ -random and generic, precisely as described by the ’miniaturisation’ of the Solovay forcing to arithmetic. This is extended further to the result that QM becomes Zermelo–Fraenkel Solovay random on infinite-dimensional Hilbert spaces. Moreover, it is more likely that there exists a standard transitive ZFC model M, where QM is expressed in reality, than in the universe V of sets. Then every generic quantum measurement adds to M the infinite sequence, i.e. random real $$r\in 2^{\omega }$$, and the model undergoes random forcing extensions M[r]. The entire process of forcing becomes the structural ingredient of QM and parallels similar constructions applied to spacetime in the quantum limit, therefore showing the structural resemblance of both in this limit. We discuss several questions regarding measurability and possible practical applications of the extended Solovay randomness of QM. The method applied is the formalization based on models of ZFC; however, this is particularly well-suited technique to recognising randomness questions of QM. When one works in a constant model of ZFC or in axiomatic ZFC itself, the issues considered here remain hidden to a great extent.

Based on formal arguments from Zermelo–Fraenkel set theory we develop the environment for explaining and resolving certain fundamental problems in physics. By these formal tools we show that any quantum system defined by an infinite dimensional Hilbert space of states interferes with the spacetime structure M. M and the quantum system both gain additional degrees of freedom, given by models of Zermelo–Fraenkel set theory. In particular, M develops the ground state where classical gravity vanishes. Quantum mechanics distinguishes set-theoretic random forcing such that M and gravitational degrees of freedom are parameterized by extended real line. The large scale smooth geometry compatible with the forcing extensions is one of exotic smoothness structures of \. The amoeba forcing makes the old real line to have Lebesgue measure zero in the extended one. We apply the entire procedure to the cosmological constant problem, especially to discard the zero-modes contributions to the gravitational vacuum density. Moreover, there exists certain exotic smooth \ from which one determines the realistic, agreeing with observation, small value of the vacuum energy density.

Recently the cosmological evolution of the universe has been considered where 3-dimensional spatial topology undergone drastic changes. The process can explain, among others, the observed smallness of the neutrino masses and the speed of inflation. However, the entire evolution is perfectly smooth from 4-dimensional point of view. Thus the raison d’être for such topology changes is the existence of certain non-standard 4-smoothness on R4 already at very early stages of the universe. We show that the existence of such smoothness can be understood as a byproduct of the quantumness of the origins of the universe. Our analysis is based on certain formal aspects of the quantum mechanical lattice of projections of infinite dimensional Hilbert spaces where formalization reaches the level of models of axiomatic set theory.

We give an almost explicit presentation of exotic functions corresponding to some exotic smooth structure on topologically trivial R4. The construction relies on the model-theoretic tools from the previous paper. We can formulate unexpected, yet direct connection between ‘‘localized’’ exotic small R4’s and some noncommutative spaces. The formalism of QM can be interpreted in terms of exotic smooth R4’s localized in spacetime. A new way of looking at the problem of decoherence is suggested. The 4-dimensional spacetime itself has built-in means which may enforce a kind of decoherence.

We show that in 4-spacetime modified at very short distances due to the weakening of classical logic, the higher dimensions emerge. We analyse the case of some smooth topoi, and the case of some class of pointless topoi. The pointless topoi raise the dimensionality due to the forcing adding “string” objects and thus replacing classical points in spacetime. Turning to strings would be something fundamental and connected with set theoretical forcing. The field theory/strings dualities originate at the set theoretical level of the theories. It is argued that this fundamental level can help solving some difficulties of the physical dualities

We analyse the proposition that the spacetime structure is modified at short distances or at high energies due to weakening of classical logic. The logic assigned to the regions of spacetime is intuitionistic logic of some topoi. Several cases of special topoi are considered. The quantum mechanical effects can be generated by such semi-classical spacetimes. The issues of: background independence and general relativity covariance, field theoretic renormalization of divergent expressions, the existence and definition of path integral measures, are briefly discussed in the proposal. The connection with some problems in foundations of mathematics and differential topology are also discussed

A general duality connecting the level of a formal theory and of a metatheory is proposed. Because of the role of natural numbers in a metatheory the existence of a dual theory is conjectured, in which the natural numbers become formal in the theory but in formalizing non-formal natural numbers taken from the dual metatheory these numbers become nonstandard. For any formal theory there may be in principle a dual theory. The dual shape of the lattice of projections over separable Hilbert space is exhibited. The crucial ingredient of this dual theory is set-theoretical (Cohen) forcing. Then, some attempts have been made to exhibit the dual shape of the exotic smooth (small) structures on topological ℝ4. There are striking similarities of both pictures. Nonstandard solutions of the equations of motion of 10-dimensional superstring of IIB type are described as a model theoretic extension of standard ones. Based on Brans conjecture one can predict the existence of sources of gravity in 4 dimensions. By their dual origins they carry quantum information as well. The generalized Maldacena conjecture appears naturally, which sheds light on a definition of background independent string theory