相关论文: A trivial formalization of the theory of grossone
This paper introduces the concept of a generic finite set, and points out that a consistent and significant interpretation of the grossone notation of Yarolslav D. Sergeyev is that of a generic natural number. This means that the grossone…
The Mathematical Intelligencer recently published a note by Y. Sergeyev that challenges both mathematics and intelligence. We examine Sergeyev's claims concerning his purported Infinity computer. We compare his grossone system with the…
In this paper, we look at the improvement of our knowledge on a family of tilings of the hyperbolic plane which is brought in by the use of Sergeyev's numeral system based on grossone. It appears that the information we can get by using…
This commentary considers non-standard analysis and a recently introduced computational methodology based on the notion of \G1 (this symbol is called \emph{grossone}). The latter approach was developed with the intention to allow one to…
In this paper, we study the contribution of the theory of grossone to the study of infinigons in the hyperbolic plane. We can see that the theory of grossone can help us to obtain much more classification for these objects than in the…
We study projective manifolds with nonamenable and non-residually finite fundamental groups. We generalize the uniformization theorem of our earlier note. We generalize a classical theorem of Maltsev about finitely generated subgroups of…
In this paper, we look at how to count the number of elements of a set within the frame of Sergeyev's numeral system. We also look at the connection between the number of elements of a set and the notion of bijection in this new setting. We…
Let G be a simple simply-connected group scheme over a regular local scheme U. Let E be a principal G-bundle over A^1_U trivial away from a subscheme finite over U. We show that E is not necessarily trivial and give some criteria of…
In one perspective, the main theme of this research revolves around the inverse problem in the context of general rough sets that concerns the existence of rough basis for given approximations in a context. Granular operator spaces and…
After surveying classical results, we introduce a generalized notion of inference system to support structural recursion on non-well-founded data types. Besides axioms and inference rules with the usual meaning, a generalized inference…
We propose a notion of a generalized order, which can be used for the notion of a strict partial order. We introduce a weak order to replace the usual weak order defined from a strict partial order. In a constructive setting, that usual…
Let $\mathcal{L}$ be a first-order two-sorted language. Let $S$ be some fixed structure. A standard structure is an $\mathcal{L}$-structure of the form $(M,S)$, where $M$ is arbitrary. When $S$ is a compact topological space (and…
We introduce a geometric construction of a gauge field theory of a complex adaptive system. It is based on a suitable simplicial formulation of a discrete geometry that manifests relevant properties valid in the classical differentiable…
This paper is an invitation to the study and use of general theory of non-gaussian $r-$congruences in the theory of numbers. In this work we classify the two kinds of $r-$congruences that exist (namely the trivial and non-trivial types) and…
We explore the rational, formal and non-formal criteria of consistency, non-triviality and redundancy in the mathematical research now a days. We develop a paradigmatic discussion by analysing the different conceptions of those criteria,…
This short note introduces a formal system of truth and paradoxicality, outlining the main motivation, and proving its $\omega$-consistency. The system is called TP, for 'Truth and Paradoxicality'.
Regular groups and fields are common generalizations of minimal and quasi-minimal groups and fields, so the conjectures that minimal or quasi-minimal fields are algebraically closed have their common generalization to the conjecture that…
This paper provides a critical overview of Georg Kreisel's method of informal rigour, most famously presented in his 1967 paper `Informal rigour and completeness proofs'. After first considering Kreisel's own characterization in historical…
We present an overview of some recent developments in the theory of generalized formal series, grounded in diffeological geometric framework. These constructions aim to offer new tools for understanding infinite-dimensional phenomena in…
We discuss a formal system of mathematics. We use it to construct the natural numbers.