Related papers: Logical Dreams
We define a notion of an arithmetic set in an arbitrary countable group and study properties of these sets in the cases of Abelian groups and non-abelian free groups.
This paper describes problems concerning the range of cardinalities of sumsets and restricted sumsets of finite subsets of the integers and finite subsets of ordered abelian groups.
The idea of predicting the future from the knowledge of the past is quite natural when dealing with systems whose equations of motion are not known. Such a long-standing issue is revisited in the light of modern ergodic theory of dynamical…
We consider the problem of deciding the satisfiability of quantifier-free formulas in the theory of finite sets with cardinality constraints. Sets are a common high-level data structure used in programming; thus, such a theory is useful for…
We review a few off-the-beaten-track ideas in cosmology. They solve a variety of fundamental problems; also they are fun. We start with a description of non-singular dilaton cosmology. In these scenarios gravity is modified so that the…
We discuss the connections between the failure of the axiom of choice in set theory, and certain model-theoretic structures with enough symmetry.
Algebras of Logic deal with some algebraic structures, often bounded lattices, considered as models of certain logics, including logic as a domain of order theory. There are well known their importance and applications in social life to…
The foundational concepts of semantic numeration systems theory are briefly outlined. The action of cardinal semantic operators unfolds over a set of cardinal abstract entities belonging to the cardinal semantic multeity. The cardinal…
We present an elementary account of mathematical cosmology through a series of important unsolved problems. We introduce the fundamental notion of `a cosmology' and focus on the issue of singularities as a theme unifying many current,…
Based upon the axiom of choice it is proved that the cardinality of the rational numbers is not less than the cardinality of the irrational numbers. This contradicts a main result of transfinite set theory and shows that the axiom of choice…
In this manuscript we discuss the notion of (statistical) independence embedded in its historical context. We focus in particular on its appearance and role in number theory, concomitantly exploring the intimate connection of independence…
I will review recent progress on addressing large N gauge theories on the lattice. The focus will be put on the use of large N volume independence as an effective tool to compute non-perturbative dynamics at, otherwise unreachable, large…
In this paper, we intend to generalize the classical set theory as much as possible. we will do this by freeing sets from the regular properties of classical sets; e.g., the law of excluded middle, the law of non-contradiction, the…
We review current theoretical cosmology, including fundamental and mathematical cosmology and physical cosmology (as well as cosmology in the quantum realm), with an emphasis on open questions.
We clarified the connection between measurements and partitions, and discussed the meaning of semiotics for measurements based on functions. The terms of property and relation quantity were defined by our understanding of partitions and…
Fractional calculus is a generalization of classical theories of integration and differentiation to arbitrary order (i.e., real or complex numbers). In the last two decades, this new mathematical modeling approach has been widely used to…
We present a novel approach for learning to predict sets using deep learning. In recent years, deep neural networks have shown remarkable results in computer vision, natural language processing and other related problems. Despite their…
A selection of the relevant theorems of Probability Theory that comes directly from Kolmogorov's axioms, Set Theory basic results, definitions and rules of inference are listed and proven in a systematic approach, aiming the student who…
Dynamical Systems theory generally deals with fixed point iterations of continuous functions. Computation by Turing machine although is a fixed point iteration but is not continuous. This specific category of fixed point iterations can only…
We analyze, from a theoretical viewpoint, the bidirectional interdisciplinary relation between mathematics and psychology, focused on the mathematical theory of deterministic dynamical systems, and in particular, on the theory of chaos. On…