SEARCH · Searcharxiv
Search indexed arXiv papers on artificial intelligence, large language models, computer vision and robotics. Read source abstracts and follow links to arXiv.
Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.
The authors discuss various objections and rejoinders in the collected responses [math.HO/9404229,math.HO/9404236] to their original article on the relationship between mathematics and theoretical physics [math.HO/9307227].
This note is a preface to various responses [math.HO/9404229,math.HO/9404236] to an opinion piece by Jaffe and Quinn [math.HO/9307227] on the relationship between mathematics and theoretical physics.
We give a brief discussion of some of the issues which have arisen in the course of formalizing some classical set-theoretical mathematics in the Coq system. This sprouts from, expands and replaces a chapter of math.HO/0311260 which will be removed in revision, and also contains as a tar-attachment to the source file the revised and expanded version of the proof development which had been attached to math.HO/0311260.
This is a translation into English of a paper written in French, published in Tatra Mountains Mathematical Publications, {L'ultrafiltre, un outil incomparable}, Tatra Mt. Math. Publ. {\bf 31} (2005), 131-176.It was also posted as {arXiv:math/0702587v1} [math.HO] 20 Feb 2007. This paper was meant for a series of talks at the Bratislava Workshop on the density concept, May 2004. A number of the very many facets of ultrafilters are reviewed (some of them, a bit cursorily, as is to be expected in a short space, and time) including Condorcet's Paradox, ultraproducts and the theory of infinitesimals (non-standard analysis), Banach generalized limits in sequence spaces, Choquet's limits for families of closed sets in general topology and intrinsic geometry, representations of topologies as binary relations among ultrafilters, additive bases in number theory.
This article is a collection of letters solicited by the editors of the Bulletin in response to a previous article by Jaffe and Quinn [math.HO/9307227]. The authors discuss the role of rigor in mathematics and the relation between mathematics and theoretical physics.
In response to Jaffe and Quinn [math.HO/9307227], the author discusses forms of progress in mathematics that are not captured by formal proofs of theorems, especially in his own work in the theory of foliations and geometrization of 3-manifolds and dynamical systems.
We cover rational and integer solutions for the equations $\mathbf{x^y = y^x}$ and $\mathbf{x^y y^x = v^w w^v}$. The former equation solutions go back to Euler, and the latter equation solutions appear to be new. Another definitely new related topic is application of VPV identities to give transforms of infinite products from our solutions. The present paper is essentially chapter 28 of the author's book appearing in June 2024.
This paper shows an elementary and direct proof of the Fundamental Theorem of Algebra, via Bolzano-Weierstrass Theorem on Minima and the Binomial Formula, that avoids: any root extraction other than the one used to define the modulus function over the complex plane, trigonometry, differentiation, integration, series, arguments by induction and arguments using epsilon's and delta's.
In this note we will discuss Euler's solution of the simple difference equation that he gave in his paper{\it ``De serierum determinatione seu nova methodus inveniendi terminos generales serierum"} \cite{E189} (E189:``On the determination of series or a new method of finding the general terms of series") and also present a derivation for the values of the Riemann $ζ$-function at positive integer numbers based on Euler's ideas.
We give a simple geometric proof that $e$ is irrational, using a construction of a nested sequence of closed intervals with intersection $e$. The proof leads to a new measure of irrationality for $e$: if $p$ and $q$ are integers with $q > 1$, then $|e - p/q| > 1/(S(q)+1)!$, where $S(q)$ is the smallest positive integer such that $S(q)!$ is a multiple of $q$. We relate this measure for $e$ to a known one and to the greatest prime factor of an integer. We make two conjectures and recall a theorem of Cantor that can be proved by a similar construction.
We give a brief historical overview of the Tait conjectures, made 120 years ago in the course of his pioneering work in tabulating the simplest knots, and solved a century later using the Jones polynomial. We announce the solution, again based on a substantial study of the Jones polynomial, of one (possibly his last remaining?) problem of Tait, with the construction of amphicheiral knots of almost all odd crossing numbers. An application to the non-triviality problem for the Jones polynomial is also outlined.
Diese kurze Einfuehrung in Theorie und Berechnung linearer Rekurrenzen versucht, eine Luecke in der Literatur zu fuellen. Zu diesem Zweck sind viele ausfuehrliche Beispiele angegeben. This short introduction to theory and usage of linear recurrences tries to fill a gap in the literature by giving many extensive examples.
It is a survey of the results obtained by K. Glazek's and his co-workers. We restrict our attention to the problems of axiomatizations of n-ary groups, classes of n-ary groups, properties of skew elements and homomorphisms induced by skew elements, constructions of covering groups, classifications and representations of n-ary groups. Some new results are added too.
During the whole of 1874, Camille Jordan and Leopold Kronecker quar- relled vigorously over the organisation of the theory of bilinear forms. That theory promised a "general" and "homogeneous" treatment of numerous questions arising in various 19th-century theoretical contexts, and it hinged on two theorems, stated independently by Jordan and Weierstrass, that would today be considered equivalent. It was, however, the perceived difference between those two theorems that sparked the 1874 controversy. Focusing on this quarrel allows us to explore the algebraic identity of the polynomial practices of the manipulations of forms in use before the advent of structural approaches to linear algebra. The latter approaches identified these practices with methods for the classification of similar matrices. We show that the prac- tices -- Jordan's canonical reduction and Kronecker's invariant computation -- reflect identities inseparable from the social context of the time. Moreover, these practices reveal not only tacit knowledge, local ways of thinking, but also -- in light of a long history tracing back to the work of Lagrange, Laplace, Cau- chy, and Hermite -- two internal philosophies regarding the significance of generality which are inseparable from two disciplinary ideals opposing algebra and arithmetic. By interrogating the cultural identities of such practices, this study aims at a deeper understanding of the history of linear algebra without focusing on issues related to the origins of theories or structures.
What did "algebra" mean before the development of the algebraic theories of the 20th century ? This paper stresses the identities taken by the algebraic practices developped during the century long discussion around the equation around the equation of secular inequalities (1766- 1874). In 1874, a strong controversy on the theory of bilinear and quadratic forms opposed Camille Jordan and Leopold Kronecker. The arithmetical ideal of Kronecker faced Jordan's claim for the simplicity of his algebraic canonical form. As the controversy combined mathematical and historical arguments, it gave rise to the writing of a history of the methods used by Lagrange, Laplace and Weierstrass in a century long mathematical discussion around the "equation of secular inequalities".
The ancient unsolved problem of congruent numbers has been reduced to one of the major questions of contemporary arithmetic: the finiteness of the number of curves over $\bf Q$ which become isomorphic at every place to a given curve. We give an elementary introduction to congruent numbers and their conjectural characterisation, discuss local-to-global issues leading to the finiteness problem, and list a few results and conjectures in the arithmetic theory of elliptic curves.
This is an essay that considering the knowledge structure and language of a different nature, attempts to build on an explanation of the object of study and characteristics of the mathematical science. We end up with a learning cycle of mathematics and a paradigm for education, namely Learn to structure.
Translation of "Methodus succincta summas serierum infinitarum per formulas differentiales investigandi" (1780). Euler wants to represent some given series of functions S(x)=X(x)+X(x+1)+X(x+2)+etc. in a different way. He writes S as a series in derivatives of X with unknown coefficients. He makes a generating function V(z) out of these coefficients, which is the same as a generating function that involves the Bernoulli numbers.