相关论文: White Hole, Black Whole, and The Book

Contemporary semantic description of logic is based on the ontology of all possible interpretations, an insufficiently clear metaphysical concept. In this article, logic is described as the internal organization of language. Logical…

Perfectoid spaces are sophisticated objects in arithmetic geometry introduced by Peter Scholze in 2012. We formalised enough definitions and theorems in topology, algebra and geometry to define perfectoid spaces in the Lean theorem prover.…

This book represents a continuation, an elaboration, and possibly a clear explanation of the ideas which were expounded in the previous book Time and Methods in Environmental Interfaces Modeling (henceforth abbreviated as TM, Mihailovic et…

Integrated information theory (IIT) starts from consciousness itself and identifies a set of properties (axioms) that are true of every conceivable experience. The axioms are translated into a set of postulates about the substrate of…

In this article we present and describe a notion of "logical perfection". We extract the notion of "perfection" from the contemporary logical concept of categoricity. Categoricity (in power) has become in the past half century a main driver…

Arguably, black hole is perhaps the most popular scientific term among the lay person. Perhaps it is the phrasing of the term 'black hole' which appeals to the popular imagination, offering some exotic visual of a cosmic object to the…

One often sees a sharp distinction in mathematics between descriptions from the outside and from the inside. Think of defining a set in the plane through an algebraic equation, or dynamically as the closure of the orbit of some point under…

In this speculative analysis, interdimensionality is introduced as the (co)existence of universes embedded into larger ones. These interdimensional universes may be isolated or intertwined, suggesting a variety of interdimensional intrinsic…

Here we will discuss the philosophical differences between an approach to the deep nature of physical space based on the concept of coordinates and one based on the concept of relation. The philosophical superiority of the second approach…

We set up a model for reasoning about metric spaces with belief theoretic measures. The uncertainty in these spaces stems from both probability and metric. To represent both aspect of uncertainty, we choose an expected distance function as…

In this article, the author proposes another way to define the completion of a metric space, which is different from the classical one via the dense property, and prove the equivalence between two definitions. This definition is based on…

The question of what should be meant by a measurement is tackled from a mathematical perspective whose physical interpretation is that a measurement is a fundamental process via which a finite amount of classical information is produced.…

Using black-hole arguments with widely accepted premises, we show that it is extremely improbable that space is Euclidean, and that it is unspeakably improbable that space is hyperbolic. Independently, using an argument which makes no…

First-order logic is typically presented as the study of deduction in a setting with elementary quantification. In this paper, we take another vantage point and conceptualize first-order logic as a linear space that encodes "plausibility".…

All visible bodies are bound dense vertices of overlapping astroparticles with extremely weak r^{-4} radial densities of elementary (and summary) matter beyond human perception and instrumental resolutions. The non-empty material space of…

In our previous articles ("The Information and the Matter", v1, v5; more systematically the informational conception is presented in arXiv paper "The Information as Absolute", 2010) it was rigorously shown that the Matter is some…

In this paper, the theoretical terms of contemporary cosmology are examined as intellectual artefacts. An ontology and methodology are introduced for this purpose, which includes defining the concept of a hypothetical object. Introducing a…

We suggest a concept of generalized `angles' in arbitrary real normed vector spaces. We give for each real number a definition of an `angle' by means of the shape of the unit ball. They all yield the well known Euclidean angle in the…

Compact sets in constructive mathematics capture our intuition of what computable subsets of the plane (or any other complete metric space) ought to be. A good representation of compact sets provides an efficient means of creating and…

This is an essay that considering the knowledge structure and language of a different nature, attempts to build on an explanation of the object of study and characteristics of the mathematical science. We end up with a learning cycle of…