相关论文: On proof and progress in mathematics
Riemann's mathematical papers contain many ideas that arise from physics, and some of them are motivated by problems from physics. In fact, it is not easy to separate Riemann's ideas in mathematics from those in physics. Furthermore,…
The received Hilbert-style axiomatic foundations of mathematics has been designed by Hilbert and his followers as a tool for meta-theoretical research. Foundations of mathematics of this type fail to satisfactory perform more basic and more…
It is considered, in the framework of constrained systems, the quantum dynamics of non-relativistic particles moving on a d-dimensional Riemannian manifold M isometrically embedded in $R^{d+n}$. This generalizes recent investigations where…
"Systems that Explain Themselves" appears a provocative wording, in particular in the context of mathematics education -- it is as provocative as the idea of building educational software upon technology from computer theorem proving. In…
We develop librationism, {\pounds}, and clarify some mathematical and philosophical matters which relate to the particular manner in which it deals with the paradoxes and to its usefulness as a foundation for mathematics and type free…
Expository notes which combine a historical survey of the development of quantum physics with a review of selected mathematical topics in quantization theory (addressed to students that are not complete novices in quantum mechanics). After…
To adequately model mathematical arguments the analyst must be able to represent the mathematical objects under discussion and the relationships between them, as well as inferences drawn about these objects and relationships as the…
Modular forms are highly self-symmetric functions studied in number theory, with connections to several areas of mathematics. But they are rarely visualized. We discuss ongoing work to compute and visualize modular forms as 3D surfaces and…
Finite-order invariants of knots in arbitrary 3-manifolds (including non-orientable ones) are constructed and studied by methods of the topology of discriminant sets. Obstructions to the integrability of admissible weight systems to…
This is the first paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In this paper, we lay the foundations for this study by introducing the…
We survey some results on non-uniform hyperbolicity, geometric pressure and equilibrium states in one-dimensional real and complex dynamics. We present some relations with Hausdorff dimension and measures with refined gauge functions of…
Contents 1. Algebraicity criterion: statement 2. Proof of the algebraicity criterion. 3. Pseudoeffectivity and movable classes. 4. Harder-Narasimhan filtrations and pseudo-effectivity. 5. Pseudo-effectivity of relative canonical bundles. 6.…
New elementary, self-contained proofs are presented for the topological and the smooth classification theorems of linear flows on finite-dimensional normed spaces. The arguments, and the examples that accompany them, highlight the…
It has been shown that the criticism of Pauli as well as of Susskind and Glogover may be avoided if the standard quantum-mechanical mathematical model has been suitably extended. There is not more any reason for Einstein's citicism, either,…
We describe and explain the desire, common among mathematicians, both for unity and independence in its major themes. In the dialogue that follows, we express our spontaneous and considered judgment and reservations by contrasting the…
I will discuss results of three different types in geometry and topology. (1) General vanishing and rigidity theorems of elliptic genera proved by using modular forms, Kac-Moody algebras and vertex operator algebras. (2) The computations of…
In this paper we study several dynamical properties of the riemannian $1$-dimensional foliation $\mathcal{L}$ on an oriented closed 3-manifold $M$. Carriere classified such pairs $(M,\mathcal{L})$. Using the classification we prove the…
Relationships between moduli spaces of curves and sheaves on 3-folds are presented starting with the Gromov-Witten/Donaldson-Thomas correspondence proposed more than 20 years ago with D. Maulik, N. Nekrasov, and A. Okounkov. The descendent…
We formalize the multi-graded Proj construction in Lean4, illustrating mechanized mathematics and formalization.
We survey recent progress on the birational geometry of foliations on complex varieties. We focus on the MMP viewpoint: singularities, adjunction and applications to the MMP for foliations on surfaces and to the existence of flips on…