相关论文: Grothendieck's use of equality

We discuss how canonical and universal constructions, properties and characterizations interact with equality in the framework of Homotopy Type Theory, comparing it with Grothendieck's use of equality and shedding further light on…

Recently in symplectic geometry there arose an interest in bounding various functionals on spaces of matrices. It appears that Grothendieck's theorems about factorization are a useful tool for proving such bounds. In this note we present…

In this note some philosophical thoughts and observations about mathematics are expressed, arranged as challenges to some common claims.

We present and discuss a curated selection of recent literature related to the application of quantitative techniques, tools, and topics from mathematics and data science that have been used to analyze the mathematical sciences community.…

Over the past few decades the notion of symmetry has played a major role in physics and in the philosophy of physics. Philosophers have used symmetry to discuss the ontology and seeming objectivity of the laws of physics. We introduce…

In this article, we explore the celebrated Gr\"{u}ss inequality, where we present a new approach using the Gr\"{u}ss inequality to obtain new refinements of operator means inequalities. We also present several operator Gr\"{u}ss-type…

In recent paper "Quantifying Inequities and Documenting Elitism in PhD-granting Mathematical Sciences Departments in the United States" (arXiv:2308.13750) by a group of accomplished and/or aspiring mathematicians, the authors use data to…

We re-examine the old question to what extent mathematics may be compared with a game. Mainly inspired by Hilbert and Wittgenstein, our answer is that mathematics is something like a rhododendron of language games, where the rules are…

An inequality, which combines the concept of completely monotone functions with the theory of divided differences, is proposed. It is a straightforward generalization of a result, recently introduced by two of the present authors.

We survey connections of the Grothendieck inequality and its variants to combinatorial optimization and computational complexity.

Equivalence principles played a central role in the development of general relativity. Furthermore, they have provided operative procedures for testing the validity of general relativity, or constraining competing theories of gravitation.…

Some mathematical inequalities among various weighted means are studied. Inequalities on weighted logarithmic mean are given. Besides, the gap in Jensen's inequality is studied as a convex function approach. Consequently, some non-trivial…

Mathematicians occasionally discover interesting truths even when they are playing with mathematical ideas with no thoughts about possible consequences of their actions. This paper describes two specific instances of this phenomenon. The…

This paper examines various methods and ideas for humanizing mathematics. The term 'humanizing mathematics' which includes elements of 'aesthetic mathematics' refers to approaches that emphasize the aesthetic, philosophical, and subjective…

Mathematical research is often motivated by the desire to reach a beautiful result or to prove it in an elegant way. Mathematician's work is thus strongly influenced by his aesthetic judgments. However, the criteria these judgments are…

Socio-economic inequalities are manifested in different aspects of our social life. We discuss various aspects, beginning with the evolutionary and historical origins, and discussing the major issues from the social and economic point of…

The definition of who is or what makes a ``mathematician" is an important and urgent issue to be addressed in the mathematics community. Too often, a narrower definition of who is considered a mathematician (and what is considered…

This preprint is a text for students and teachers on inequalities. Some standard topics are covered on application of calculus to inequality proving. Many examples are considered, stated, solved or partially solved. Some problems are…

We establish an analogue of the Grothendieck inequality where the rectangular matrix is replaced by a symmetric/Hermitian matrix and the bilinear form by a quadratic form. We call this the symmetric Grothendieck inequality; despite its…

This essay considers ways that recent uses of computers in mathematics challenge contemporary views on the nature of mathematical understanding. It also puts these challenges in a historical perspective and offers speculation as to a…