English
Related papers

Related papers: Uniformity_and_nonuniformity

200 papers

Life continuously changes its own components and states at each moment through interaction with the external world, while maintaining its own individuality in a cyclical manner. Such a property, known as "autonomy," has been formulated…

Category Theory · Mathematics 2023-05-25 Ryuzo Hirota , Hayato Saigo , Shigeru Taguchi

We review the philosophical framework of mathematical conceptualism as an alternative to set-theoretic foundations and show how mainstream mathematics can be developed on this basis. The paper includes an explicit axiomatization of the…

History and Overview · Mathematics 2009-05-12 Nik Weaver

We present a development of norms and discuss their relationship to factorization. In earlier work, the first named author introduced the notion of a normset, which is the image of the norm map. A normset is a monoid with its own…

Commutative Algebra · Mathematics 2024-06-24 Jim Coykendall , Richard Erwin Hasenauer

It is well known that ZFC, despite its usefulness as a foundational theory for mathematics, has two unwanted features: it cannot be written down explicitly due to its infinitely many axioms, and it has a countable model due to the…

General Mathematics · Mathematics 2021-06-15 Marcoen J. T. F. Cabbolet

A coherent mathematical overview of computation and its generalisations is described. This conceptual framework is sufficient to comfortably host a wide range of contemporary thinking on embodied computation and its models.

Logic in Computer Science · Computer Science 2013-03-12 S. Barry Cooper

We provide a formal introduction into the classic theorems of general topology and its axiomatic foundations in set theory. In this second part we introduce the fundamental concepts of topological spaces, convergence, and continuity, as…

History and Overview · Mathematics 2013-07-01 Felix Nagel

Teramoto et al. defined a new measure called the gap ratio that measures the uniformity of a finite point set sampled from $\cal S$, a bounded subset of $\mathbb{R}^2$. We generalize this definition of measure over all metric spaces by…

Computational Geometry · Computer Science 2015-12-07 Arijit Bishnu , Sameer Desai , Arijit Ghosh , Mayank Goswami , Subhabrata Paul

In this paper we provide a rigorous mathematical foundation for continuous approximations of a class of systems with piece-wise continuous functions. By using techniques from the theory of differential inclusions, the underlying piece-wise…

Chaotic Dynamics · Physics 2014-08-20 Marius-F. Danca

Nonuniformity is a central concept in computational complexity with powerful connections to circuit complexity and randomness. Nonuniform reductions have been used to study the isomorphism conjecture for NP and completeness for larger…

Computational Complexity · Computer Science 2018-01-19 John M. Hitchcock , Hadi Shafei

I think that the main reason why we do not understand the general principles of how knowledge works (and probably also the reason why we have not yet designed and built efficient machines capable of artificial intelligence), is not the…

Artificial Intelligence · Computer Science 2014-04-21 Devis Pantano

Order and symmetry are main structural principles in mathematics. We give five examples where on the face of it order is not apparent, but deeper investigations reveal that they are governed by order structures. These examples are finite…

History and Overview · Mathematics 2024-04-12 Gunnar Fløystad

We start by presenting a theory of finite sets using the approach which is essentially that taken by Whitehead and Russell in Principia Mathematica}, and which does not involve the natural numbers (or any other infinite set). This theory is…

History and Overview · Mathematics 2010-06-22 Chris Preston

Entropy can signify different things: For instance, heat transfer in thermodynamics or a measure of information in data analysis. Many entropies have been introduced and it can be difficult to ascertain their different importance and…

Mathematical Physics · Physics 2025-07-10 Henrik Jeldtoft Jensen , Piergiulio Tempesta

Systems thinking provides us with a way to model the algorithmic fairness problem by allowing us to encode prior knowledge and assumptions about where we believe bias might exist in the data generating process. We can then encode these…

Artificial Intelligence · Computer Science 2026-04-24 Chris Lam

It is shown that a separated sequence of points in the unit disc of the complex plane is in fact uniformly separated, if there exists a certain intermediate sequence whose separated subsequences are uniformly separated. This property is…

Classical Analysis and ODEs · Mathematics 2018-10-01 Janne Gröhn , Artur Nicolau

This book dwells on mathematical and algorithmic issues of data analysis based on generality order of descriptions and respective precision. To speak of these topics correctly, we have to go some way getting acquainted with the important…

Logic in Computer Science · Computer Science 2019-08-30 Sergei O. Kuznetsov

The problem of advancing coordinatization of mathematics is considered. The need to develop a theory for measuring value and complexity of mathematical implications and proofs is discussed including motivations, benefits and implementation…

History and Overview · Mathematics 2018-03-07 Peteris Daugulis

We investigate the concept of symmetry and its role in problem solving. This paper first defines precisely the elements that constitute a "problem" and its "solution," and gives several examples to illustrate these definitions. Given…

Artificial Intelligence · Computer Science 2013-03-06 M. A. El-Dosuky , M. Z. Rashad , T. T. Hamza , A. H. EL-Bassiouny

The argument of physical dimension/units is applied to electrical switched circuits, making the topic of the nonlinearity of such circuits simpler. This approach is seen against the background of a more general outlook (IEEE CAS MAG, III,…

General Physics · Physics 2011-06-17 Emanuel Gluskin

Since no fusion theory neither rule fully satisfy all needed applications, the author proposes a Unification of Fusion Theories and a combination of fusion rules in solving problems/applications. For each particular application, one selects…

Artificial Intelligence · Computer Science 2007-05-23 Florentin Smarandache