English
Related papers

Related papers: Atomism Axiomatised Using Mereological Composition…

200 papers

In a series of papers in the last ten years, various aspects of the mathematical foundations of the quantum theory of atoms in molecules have been considered by this author and his coworkers in some details. Although these considerations…

Chemical Physics · Physics 2018-08-28 Shant Shahbazian

We introduce an atomic formula intuitively saying that given variables are independent from given other variables if a third set of variables is kept constant. We contrast this with dependence logic. We show that our independence atom gives…

Logic in Computer Science · Computer Science 2012-08-28 Erich Grädel , Jouko Väänänen

Microscopic nuclear theory is based on the tenet that atomic nuclei can be accurately described as collections of point-like nucleons interacting via two- and many-body forces obeying nonrelativistic quantum mechanics -- and the concept of…

Nuclear Theory · Physics 2023-10-27 R. Machleidt

A relation algebra is called measurable when its identity is the sum of measurable atoms, and an atom is called measurable if its square is the sum of functional elements. In this paper we show that atomic measurable relation algebras have…

Logic · Mathematics 2025-02-12 S. Givant , H. Andréka

We combine the language of monoids with the language of preorders so as to refine some fundamental aspects of the classical theory of factorization and prove an abstract factorization theorem with a variety of applications. In particular,…

Rings and Algebras · Mathematics 2022-04-15 Salvatore Tringali

We analyze von Weizs\"acker view regarding the concept of information in physics. In his view, information arises from the reduction of properties of a physical object to their logical descriptive propositions. The smallest element of a…

History and Philosophy of Physics · Physics 2015-10-14 Iman Khatam , Afshin Shafiee

Being mathematics a natural language to Mankind and to physics, it must be constantly adapted to our necessities and our natural perception. Then, mathematical concepts are not absolute to reality. Although mathematical theories are…

General Physics · Physics 2007-05-23 Mauricio Ayala

We investigate the isomorphism problem in the setting of definable sets (equivalent to sets with atoms): given two definable relational structures, are they related by a definable isomorphism? Under mild assumptions on the underlying…

Logic in Computer Science · Computer Science 2023-06-22 Khadijeh Keshvardoost , Bartek Klin , Sławomir Lasota , Joanna Ochremiak , Szymon Toruńczyk

I argue that, contrary to the standard view, one cannot understand the structure and nature of our knowledge in physics without an analysis of the way that observers (and, more generally, measuring instruments and experimental arrangements)…

History and Philosophy of Physics · Physics 2020-06-05 Erik Curiel

The present essay provides a new metaphysical interpretation of Relational Quantum Mechanics (RQM) in terms of mereological bundle theory. The essential idea is to claim that a physical system in RQM can be defined as a mereological fusion…

History and Philosophy of Physics · Physics 2021-03-17 Andrea Oldofredi

Scientific studies of consciousness rely on objects whose existence is assumed to be independent of any consciousness. On the contrary, we assume consciousness to be fundamental, and that one of the main features of consciousness is…

Neurons and Cognition · Quantitative Biology 2021-02-26 Camilo Miguel Signorelli , Quanlong Wang , Ilyas Khan

Humans have the innate capability to answer diverse questions, which is rooted in the natural ability to correlate different concepts based on their semantic relationships and decompose difficult problems into sub-tasks. On the contrary,…

Computer Vision and Pattern Recognition · Computer Science 2023-03-21 Shi Chen , Qi Zhao

Does information play a significant role in the foundations of physics? Information is the abstraction that allows us to refer to the states of systems when we choose to ignore the systems themselves. This is only possible in very…

Quantum Physics · Physics 2014-03-05 Lluis Masanes , Markus P. Mueller , Remigiusz Augusiak , David Perez-Garcia

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

Motivated by a revision of the classical equations of electromagnetism that allow for the inclusion of solitary waves in the solution space, the material collected in these notes examines the consequences of adopting the modified model in…

General Physics · Physics 2019-09-27 Daniele Funaro

We extend the treatment of functional dependence, the basic concept of dependence logic, to include the possibility of dependence with a limited number of exceptions. We call this approximate dependence. The main result of the paper is a…

Logic · Mathematics 2014-08-20 Jouko Väänänen

Underlying any theory of physics is a layer of conceptual frames. They connect the mathematical structures used in theoretical models with physical phenomena, but they also constitute our fundamental assumptions about reality. Many of the…

Quantum Physics · Physics 2010-12-01 Thomas Filk , Albrecht von Mueller

Assembly theory (AT) quantifies selection using the assembly equation and identifies complex objects that occur in abundance based on two measurements, assembly index and copy number, where the assembly index is the minimum number of…

An (additive) commutative monoid is called atomic if every given non-invertible element can be written as a sum of atoms (i.e., irreducible elements), in which case, such a sum is called a factorization of the given element. The number of…

Commutative Algebra · Mathematics 2024-09-12 Henry Jiang , Shihan Kanungo , Harry Kim

Let $M$ be a cancellative and commutative monoid. A non-invertible element of $M$ is called an atom (or irreducible element) if it cannot be factored into two non-invertible elements, while an atom $a$ of $M$ is called strong if $a^n$ has a…

Commutative Algebra · Mathematics 2026-05-26 Jiya Dani , Anna Deng , Marly Gotti , Bryan Li , Arav Paladiya , Joseph Vulakh , Jason Zeng