相关论文: Meta Math! The Quest for Omega

The objective of this paper is to assess the quality of explanation heatmaps for image classification tasks. To assess the quality of explainability methods, we approach the task through the lens of accuracy and stability. In this work, we…

In the footsteps of the book \textit{Measure Theory and Integration By and For the Learner} of our series in Probability Theory and Statistics, we intended to devote a special volume of the very probabilistic aspects of the first cited…

The author describes some of his experiences as a mathematician cooperating with diabetes specialists.

The Square Kilometre Array is conceived as a telescope which will both test fundamental physical laws and transform our current picture of the Universe. However, the scientific challenges outlined in this book are today's problems--will…

The first half of the 20th century in the history of Russian mathematics is striking with a combination of dramaticism, sometimes a tragedy, and outstanding achievements. The paper is devoted to St. Petersburg-Leningrad Mathematical School.…

We present an overview of how certain computational tools currently interact with mathematical practice, and reflect on the implications for research mathematics in the short to medium term, as the field navigates the emerging age of AI and…

We survey the development of probability from 1900, starting with Bachelier's theory of speculation. Fisher information appears in the theory of estimation. We touch on Brownian motion, and the Wiener integral. The Ito calculus, and its…

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…

The goal of this paper is to experiment new math concepts and theories, especially if they run counter to the classical ones. To prove that contradiction is not a catastrophe, and to learn to handle it in an (un)usual way. To transform the…

Three years ago, we initiated a programme of research in which ideas and tools from statistical physics and network theory were applied to the field of comparative mythology. The eclecticism of the work, together with the perspectives it…

The theory of orthogonal polynomials on the unit circle (OPUC) dates back to Szeg\"o's work of 1915-21, and has been given a great impetus by the recent work of Simon, in particular his two-volume book [Si4], [Si5], the survey paper (or…

In the words of the twentieth-century British mathematician G. H. Hardy, "the human function is to 'discover or observe' mathematics" (1). For centuries, starting from the ancient Greeks, mankind has hunted for beauty and order in arts and…

This article serves as an introduction to the special volume on Positive Geometry in the journal Le Matematiche. We attempt to answer the question in the title by describing the origins and objects of positive geometry at this early stage…

This article is the written version of the closing talk presented at the conference `A Century of Cosmology' held at San Servolo, Italy, in August 2007. I focus on the prospects of constraining fundamental physics from cosmological…

The field of astronomy has arrived at a turning point in terms of size and complexity of both datasets and scientific collaboration. Commensurately, algorithms and statistical models have begun to adapt --- e.g., via the onset of artificial…

The role of probability in quantum mechanics is reviewed, with a discussion of the ``orthodox'' versus the statistical interpretive frameworks, and of a number of related issues. After a brief summary of sources of unease with quantum…

The article reconsiders the position of the foundations of mathematics after the discovery of HoTT. Discussion that this discovery has generated in the community of mathematicians, philosophers and computer scientists might indicate a new…

The mathematisation of the socio-economic sphere, where mathematics actively constructs social reality, presents a challenge for studies on ethics in mathematics and its education. While existing scholarship on ethics in mathematics offers…

We establish several new $\Omega$-theorems for logarithmic derivatives of the Riemann zeta function and Dirichlet $L$-functions. In particular, this improves on earlier work of Landau (1911), Bohr-Landau (1913), and recent work of Lamzouri.

We discuss the role of combinators in the development of the modern conception of computation over the course of the past century. We describe how ideas about formalism and mathematical logic led to the introduction of combinators in 1920…