Finite Arithmetic Axiomatization for the Basis of Hyperrational Non-Standard Analysis

The standard elementary number theory is not a finite axiomatic system due to the presence of the induction axiom scheme. Absence of a finite axiomatic system is not an obstacle for most tasks, but may be considered as imperfect since the induction is strongly associated with the presence of set theory external to the axiomatic system. Also in the case of logic approach to the artificial intelligence problems presence of a finite number of basic axioms and states is important. Axiomatic hyperrational analysis is the axiomatic system of hyperrational number field. The properties of hyperrational numbers and functions allow them to be used to model real numbers and functions of classical elementary mathematical analysis. However hyperrational analysis is based on well-known non-finite hyperarithmetic axiomatics. In the article we present a new finite first-order arithmetic theory designed to be the basis of the axiomatic hyperrational analysis and, as a consequence, mathematical analysis in general as a basis for all mathematical application including AI problems. It is shown that this axiomatics meet the requirements, i.e., it could be used as the basis of an axiomatic hyperrational analysis. The article in effect completes the foundation of axiomatic hyperrational analysis without calling in an arithmetic extension, since in the framework of the presented theory infinite numbers arise without invoking any new constants. The proposed system describes a class of numbers in which infinite numbers exist as natural objects of the theory itself. We also do not appeal to any “enveloping” set theory.

Applications of Non-Standard analysis in Topoi to Mathematical Neurosciences and Artificial Intelligence: Infons, Energons, Receptons (I)

The purpose of this paper is to promote new methods in mathematical modeling inspired by neuroscience—that is consciousness and subconsciousness—with an eye toward artificial intelligence as parts of the global brain. As a mathematical model, we propose topoi and their non-standard enlargements as models, due to the fact that their logic corresponds well to human thinking. For this reason, we built non-standard analysis in a special class of topoi; before now, this existed only in the topos of sets (A. Robinson). Then, we arrive at the pseudo-particles from the title and to a new axiomatics denoted by Intuitionistic Internal Set Theory (IIST); a class of models for it is provided, namely, non-standard enlargements of the previous topoi. We also consider the genetic–epigenetic interplay with a mathematical introduction consisting of a study of the Yang–Baxter equations with new mathematical results.

Nonstandard Analysis, Deformation Quantization and Some Logical Aspects of (Non)Commutative Algebraic Geometry

This paper surveys results related to well-known works of B. Plotkin and V. Remeslennikov on the edge of algebra, logic and geometry. We start from a brief review of the paper and motivations. The first sections deal with model theory. In the first part of the second section we describe the geometric equivalence, the elementary equivalence, and the isotypicity of algebras. We look at these notions from the positions of universal algebraic geometry and make emphasis on the cases of the first order rigidity. In this setting Plotkin’s problem on the structure of automorphisms of (auto)endomorphisms of free objects, and auto-equivalence of categories is pretty natural and important. The second part of the second section is dedicated to particular cases of Plotkin’s problem. The last part of the second section is devoted to Plotkin’s problem for automorphisms of the group of polynomial symplectomorphisms. This setting has applications to mathematical physics through the use of model theory (non-standard analysis) in the studying of homomorphisms between groups of symplectomorphisms and automorphisms of the Weyl algebra. The last sections deal with algorithmic problems for noncommutative and commutative algebraic geometry.The first part of it is devoted to the Gröbner basis in non-commutative situation. Despite the existence of an algorithm for checking equalities, the zero divisors and nilpotency problems are algorithmically unsolvable. The second part of the last section is connected with the problem of embedding of algebraic varieties; a sketch of the proof of its algorithmic undecidability over a field of characteristic zero is given.

Applications of Non-Standard Analysis in Topoi to Mathematical Neuroscience and Artificial Intelligence: Infons, Energons, Receptons (I)

This work promotes new methods in Mathematical Modeling, consisting in the use of the methods of Non-standard Analysis in Topoi, having as its main purpose, the mathematical definitions of the pseudoparticles from the title, with arguments from Biology/Physiology (Mathematical Neuroscience), Physics (String Theory and Emergent Quantum Mechanics), and Cybernetics (Global Brain, including Natural and Artificial Intelligence). The connections between brain and mind will be scketched via the genetic/epigenetic interplay. The topoi model the intuitionistic logic (multi-valued) and have been used in Quantum Physics while Non-Standard Analysis in SET (= the Category of sets) has been applied in Mathematical Economics; topics from Theory of Categories were also used in the study of Consciousness; however, the combination topoi - non-standard analysis was never used until now in Applied Mathematics. Another important objective is to produce progress in this aria of Pure Mathematics also - the build of non-standard analysis in classes of topoi, already used in Physics. We propose the logic of non-standard extensions in topoi as a model of the human thinking (based on infons/receptons), these theories representing new top and very difficult results in Abstract Mathematics either.

Non-Standard Analysis for Regularization of Geometric-Zeno Behaviour in Hybrid Systems

Geometric-Zeno behaviour is a highly challenging problem in the analysis (including simulation) of hybrid systems. Geometric-Zeno can be defined as an infinite number of discrete mode switches in a finite time interval. Typically, for hybrid models exhibiting geometric-Zeno, the numerical simulation either halts or produces false results, because an infinite number of discrete events occur in a given simulation time-step. In this paper, we provide formal methods for regularization of geometric-Zeno behaviour by using a non-standard analysis. In particular, we provide formal conditions for the existence of geometric-Zeno in hybrid systems, and we propose methods to allow geometric-Zeno executions to be continued beyond geometric-Zeno limit points. The concepts are illustrated with a case study throughout the paper.

Applications of Non-Standard Analysis in Topoi to Mathematical Neuroscience and Artificial Intelligence: I. Mathematical Neuroscience

This work - in two parts - tries to promote a new method in Mathematical Modeling, not ever used before, namely the use of the methods of Non-standard Analysis in Topoi. For the general mathematical theory of topoi (Topoi Theory) we refer to the book [10] . For non-standard analysis in the particular Boolean topos SET (the category of sets) we refer to the book [11]. This first part of the work is related, from an applicative point of view, mainly with Mathematical Neuroscience, more precisely a model of the human thinking, consciousness and subconsciousness. The connections between brain and mind will be also scketched, but a closer study also need some further topics to be studied in Part II: Artificial Intelligence, namely (Quantum) neural networks and (Quantum) Turing machine. However both parts (I. and II.) should be considered together, because they complement each other. The topoi model the intuitionistic logic (multi-valued) and have been used in Quantum Physics (see [9] and its references) while Non-Standard Analysis in SET (introduced by Abraham Robinson[31]) has been applied in Mathematical Economics (see [2] and its references); however, the combination was never used until now in Applied Mathematics. Even more, the Non-standard Analysis in Topoi is not too much studied from the point of view of Pure Mathematics either. One of the main objective of this work is to produce progress in this aria of Mathematics also, mainly for the SET-type topoi and exponential topoi, those topoi used in Quantum Physics and in which we need Non-stantard Analysis for our purposes. Based on the paper [13] we propose the logic of non-standard extensions in topoi as a model of the human thinking (based on infons), these theories representing top and very difficult results in Abstract Mathematics. We will analise the relation between brain and mind via the genetic-epigenetic interplay. More details will be provided in the Introduction, followed by a short presentation of the general theory, later connected with the (Quantum) Yang-Baxter equations in topoi. The connections between these equations and braid groups and knots, with intended applications in Neuroscience and Artificial Intelligence will be further analysed in Part II. Besides promoting a new idea of modeling, the present paper aims to promote the building of a Research Proposal for the European $''$Human Brain Project$''$ (https://www.humanbrainproject.eu/en/), and the NSF-Europe Program $''$Collaborative Research in Computational Neuroscience$''$ (https://www.nsf.gov/funding/pgm\_summ.jsp?pims\_id=5147), jointly with the new founded $''$National Centre for the Research of the Brain$''$ of the Romanian Academy of Science (https://acad.ro/centreAR/CNCC/CNCC.pdf, in Romanian). $''$Blue Brain Project$''$ (https://www.epfl.ch/research/domains/bluebrain/) could also be of big interest. We hope that the journals edited by MDPI (Axioms, in particular) and by the Simion Stoilow Institute of the Romanian Academy - Revue Roumaine de Mathematique Pures et Appliqu (http://imar.ro/journals/Revue\_Mathematique/home\_page.html) - among others - will host special issues related to the research subjects described in both parts of this work, starting with this one. For further details and some of the progress on this research subject, see www.ovidiufpasarescu.com.}

Hyperfinite logics and non-standard extensions of Boolean algebras

Infinitary propositional logics, i.e., propositional logics with infinite conjunction and disjunction, have some deficiencies, e.g., these logics fail to be compact or complete, in general. Such kind of infinitary propositional logics are introduced, called hyperfinite logics, which are defined in a non-standard framework of non-standard analysis and have hyperfinite conjunctions and disjunctions. They have more nice properties than infinitary logics have, in general. Furthermore, non-standard extensions of Boolean algebras are investigated. These algebras can be regarded as algebraizations of hyperfinite logics, they have several unusual properties. These Boolean algebras are closed under the hyperfinite sums and products, they are representable by hyperfinitely closed Boolean set algebras and they are omega-compact. It is proved that standard Boolean algebras are representable by Boolean set algebras with a hyperfinite unit.