English
Related papers

Related papers: Applied Philosophy in Mathematics

200 papers

Basic pairs and their morphisms are the most elementary framework in which standard topological notions can be defined. We present here a new interpretation of topological concepts as those which can be communicated faithfully between the…

Logic · Mathematics 2016-11-10 Samuele Maschio , Giovanni Sambin

This is my working paper on a proposed logical framework for the practice of mathematics, which is paralleled by philosophical considerations and a computer implementation (a variant of Automath). Updated 10/27/2016 with a version from…

Logic · Mathematics 2016-10-31 M. Randall Holmes

This book intends to give the main definitions and theorems in mathematics which could be useful for workers in theoretical physics. It gives an extensive and precise coverage of the subjects which are addressed, in a consistent and…

Mathematical Physics · Physics 2014-02-05 Jean Claude Dutailly

An abstract mathematical framework is presented in this paper as a unification of several deformed or generalized algebra proposed recently in the context of generalized statistical theories intended to treat certain complex thermodynamic…

Statistical Mechanics · Physics 2020-10-20 Aziz El Kaabouchi , Laurent Nivanen , Qiuping A. Wang , Jean-Pierre Badiali , Alain Le Méhauté

Perhaps one of the most intriguing questions in philosophy concerns the true nature of external reality. In this paper, we discuss some of the theories that have been put forth regarding the nature of reality and of our perceived universe.…

General Mathematics · Mathematics 2007-05-23 Ashwin Vaidya , Bong-Jae Chung

Since its existence, the computer tool has often supported mathematicians, whether it is to implement an approximation method (numerical calculation of a root, of an integral, ...) or to simulate a phenomenon (geometric in nature,…

Computers and Society · Computer Science 2023-08-29 Karim Zayana , Régis Queruel , Pierre Michalak

These notes outline some basic notions of Tropical Geometry and survey some of its applications for problems in classical (real and complex) geometry. To appear in the Proceedings of the Madrid ICM.

Algebraic Geometry · Mathematics 2007-05-23 Grigory Mikhalkin

We extend Langdon Winner's idea that artifacts have politics into the realm of mathematics. To do so, we first provide a list of examples showing the existence of mathematical artifacts that have politics. In the second step, we provide an…

History and Overview · Mathematics 2023-08-10 Dennis Müller , Maurice Chiodo

Finite metric spaces arise in many different contexts. Enormous bodies of data, scientific, commercial and others can often be viewed as large metric spaces. It turns out that the metric of graphs reveals a lot of interesting information.…

Combinatorics · Mathematics 2007-05-23 Nathan Linial

The paper discusses fundamental problems in mathematical description of social systems based on physical concepts, with so-called statistical social systems being the main subject of consideration. Basic properties of human beings and human…

Physics and Society · Physics 2011-04-11 Ihor Lubashevsky , Natalia Plawinska

We present a logical framework that enables us to define a formal theory of computational trust in which this notion is analysed in terms of epistemic attitudes towards the possible objects of trust and in relation to existing evidence in…

Logic in Computer Science · Computer Science 2025-06-19 Francesco A. Genco

Some boundedness properties of function spaces (considered as topological groups) are studied.

General Topology · Mathematics 2017-10-31 L'ubica Holá , Ljubiša D. R. Kočinac

This is an overview of higher structural constructions in physics. The main motivations of our current attempt are as follows: (i) to provide a brief introduction to derived algebraic geometry, (ii) to understand how derived objects…

Algebraic Geometry · Mathematics 2023-07-14 Kadri İlker Berktav

Many interesting and useful symbolic computation algorithms manipulate mathematical expressions in mathematically meaningful ways. Although these algorithms are commonplace in computer algebra systems, they can be surprisingly difficult to…

Logic in Computer Science · Computer Science 2019-05-07 Jacques Carette , William M. Farmer

The notion of an equational shell is studied to involve the objects and their environment. Appropriate methods are studied as valid embeddings of refined objects. The refinement process determines the linkages between the variety of…

Logic in Computer Science · Computer Science 2007-05-23 Larissa Ismailova

Applied ontology is a relatively new field which aims to apply theories and methods from diverse disciplines such as philosophy, cognitive science, linguistics and formal logics to perform or improve domain-specific tasks. To support the…

Artificial Intelligence · Computer Science 2012-10-05 Robert Hoehndorf , Michel Dumontier , Georgios V. Gkoutos

The chapter provides an introduction to the basic concepts of Algebraic Topology with an emphasis on motivation from applications in the physical sciences. It finishes with a brief review of computational work in algebraic topology,…

Mathematical Physics · Physics 2013-09-11 Vanessa Robins

In this paper, we generalize the fundamental theorems of functional analysis to the framework of bicomplex topological modules.

Functional Analysis · Mathematics 2011-09-16 Rajeev Kumar , Romesh Kumar , Dominic Rochon

We approach several themes of classical geometry of the circle and complete them with some original results, showing that not everything in traditional math is revealed, and that it still has an open character. The topics were chosen…

General Mathematics · Mathematics 2016-05-12 Ion Patrascu , Florentin Smarandache

We define the concept of self-similarity of an object by considering endomorphisms of the object as `similarity' maps. A variety of interesting examples of self-similar objects in geometry, algebra and arithmetic are introduced.…

Number Theory · Mathematics 2015-06-05 Arash Rastegar