相关论文: On proof and progress in mathematics

Eugene Wigner famously argued for the "unreasonable effectiveness of mathematics" for describing physics and other natural sciences in his 1960 essay. That essay has now led to some 55 years of (sometimes anguished) soul searching ---…

In this paper we review recent results by the author on the problem of quantization of measures. More precisely, we propose a dynamical approach, and we investigate it in dimensions 1 and 2. Moreover, we discuss a recent general result on…

These lecture notes are a personal introduction to signed graphs, concentrating on the aspects that have been most persistently interesting to me. They are just a few corners of signed graph theory; I am leaving out a great deal. The…

Most of the engineering and physical systems are generally characterized by differential and difference equations based on their continuous-time and discrete-time dynamics, respectively. Moreover, these dynamical models are analyzed using…

The importance of transformations and normal forms in logic programming, and generally in computer science, is well documented. This paper investigates transformations and normal forms in the context of Defeasible Logic, a simple but…

This essay, an excerpt of the author's Ph.D. in Philosophy of mathematics (2012) thought of as being a companion to recent discoveries of new explicit Cartan geometry curvatures, analyzes how Gauss, after having devised the isometrically…

We distinguish the axiomatic study of proofs in geometry from study about geometry from general axioms for mathematics. We briefly report on an abuse of that distinction and its unfortunate effect on US high school education. We review a…

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…

We explore the stability of floating objects through mathematical modeling and experimentation. Our models are based on standard ideas of center of gravity, center of buoyancy, and Archimedes' Principle. We investigate a variety of floating…

This article is devoted to the geometric construction which states a natural correspondence between topological coverings of a foliated manifolds and noncommutative coverings of the operator algebras. However this correspondence is not one…

The main directions in the development of the nonholonomic dynamics are briefly considered in this paper. The first direction is connected with the general formalizm of the equations of dynamics that differs from the Lagrangian and…

Formal logic has often been seen as uniquely placed to analyze mathematical argumentation. While formal logic is certainly necessary for a complete understanding of mathematical practice, it is not sufficient. Important aspects of…

Since ancient times, mathematics has proven unreasonably effective in its description of physical phenomena. As humankind enters a period of advancement where the completion of the much coveted theory of quantum gravity is at hand, there is…

The mathematical notion of foliated cobordism is presented, and its relationship to both the motion of extended particles and wave motion is detailed. The fact that wave motion, when represented in such a manner on a four-dimensional…

The article provides an overview of some advances in the mathematical understanding of the nature of the kinetic equations of quantum systems of many particles. The fundamental equations of modern mathematical physics are studied, in…

The use of the quantizer-dequantizer formalism to describe the evolution of a quantum system is reconsidered. We show that it is possible to embed a manifold in the space of quantum states of a given auxiliary system by means of an…

The classical platonist / formalist dilemma in philosophy of mathematics can be expressed in lay terms as a deceptively naive question: \emph{Is new mathematics discovered or invented? Using examples from my own mathematical work during the…

Using the theory of plugs and the self-insertion construction due to the second author, we prove that a foliation of any codimension of any manifold can be modified in a real analytic or piecewise-linear fashion so that all minimal sets…

In this course, I talk about the source of mathematical constructivism and its role in the future development of theoretical physics. I describe what physical constructivism is and why it is necessary for the penetration of exact methods of…

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…