历史与综述
We give an apparently new proof of Stirling's original asymptotic formula for the behavior of $\ln z!$ for large $z$. Stirling's original formula is not the formula widely known as "Stirling's formula", which was actually due to De Moivre.…
In this article, we use the 75th anniversary of the publication of \emph{Introducci\'on al An\'alisis Matem\'atico} by Mario O. Gonz\'alez to study its importance. Besides, we give new biographical data from his author in the previous years…
In the present article we study the decisive contributions of three members of the German mathematical school to the separation of the concept of number from the physical concept of magnitude, during the second half of the XIXth century.…
It is usually considered that the structuralist tendency in mathematics began in the twentieth century, at some point after the works on set theory and obtained its spreading through the works made by the Bourbaki group. In the present…
A proof of the main theorem of the Galois theory is presented using the main theorem of symmetric polynomials. The idea originated from studying the "M\'emoire sur les conditions de r\'esolubilit\'e des \'equations par radicaux" of Evariste…
Informal logic is a method of argument analysis which is complementary to that of formal logic, providing for the pragmatic treatment of features of argumentation which cannot be reduced to logical form. The central claim of this paper is…
Most undergraduate level abstract algebra texts use $\mathbb{Z}[\sqrt{-5}]$ as an example of an integral domain which is not a unique factorization domain (or UFD) by exhibiting two distinct irreducible factorizations of a nonzero element.…
In this pages I give an overview of the relationship between Model Theory, Arithmetic and Algebraic Geometry. The topics will be the basic ones in the area, so this is just an invitation, in the presentation of topics I mainly follow the…
Let the Euclidean plane be simultaneously and independently endowed with a Poisson point process and a Poisson line process, each of unit intensity. Consider a triangle T whose vertices all belong to the point process. The triangle is…
Math is widely considered as a powerful tool and its strong appeal depends on the high level of abstraction it allows in modelling a huge number of heterogeneous phenomena and problems, spanning from the static of buildings to the flight of…
Mathematics, and more generally computational sciences, intervene in several aspects of music. Mathematics describes the acoustics of the sounds giving formal tools to physics, and the matter of music itself in terms of compositional…
A historical review of the problem of incompleteness in Mathematics since the 20th century is made. The Combinatorial Principle of Paris-Harrington is studied and the way in which it can be codified in the language of Arithmetic.
Starting from the first Hardy-Littlewood conjecture some topics will be covered: an empirical approach to the distribution of the twin primes in classes mod(10) and a simplified proof of the Bruns theorem . Finally, it will be explored an…
A new generation of educational mathematics software is being shaped in ThEdu and other academic communities on the side of computer mathematics. Respective concepts and technologies have been clarified to an extent, which calls for…
The selection of topics in this text has formed the core of a one semester course in applied mathematics at the Arctic University of Norway that has been running continuously since the 1970s. The class has, during its existence, drawn…
We use Taylor's formula with Lagrange remainder to prove that functions with bounded second derivative are rectifiable in the case when polygonal paths are defined by interval subdivisions which are equally spaced. We discuss potential…
Around about 1917, Issai Schur rediscovered the Rogers-Ramanujan identities, and proved a system of polynomial identities that imply them. Schur wrote that Georg Frobenius (his former advisor) had shown him a simple, direct proof of these…
Mathematical proofs should be paired with formal proofs, whenever feasible.
The regular dodecahedron has a 2% smaller volume than the rhombic dodecahedron which is the Voronoi cell of a fcc packing. From this point of view it seems possible that the dodecahedral aspect which is the core of the so-called…
In this short note, we discuss how the optimality conditions for the problem of minimizing a multivariate function subject to equality constraints have been dealt with in undergraduate Calculus. We are particularly interested in the 2 or…