Related papers: Nelson's Logical Diagrams
Global solutions to the obstacle problem were first completely classified in two dimensions by Sakai using complex analysis techniques. Although the complex analysis approach produced a very succinct proof in two dimensions, it left the…
Looking to the history of mathematics one could find out two outer approaches to Geometry. First one (algebraic) is due to Descartes and second one (group-theoretic)--to Klein. We will see that they are not rivalling but are tied (by…
In the history of infinitesimal calculus, we trace innovation from Leibniz to Cauchy and reaction from Berkeley to Mansion and beyond. We explore 19th century infinitesimal lores, including the approaches of Simeon-Denis Poisson,…
Recently much attention has been paid to the discovery of Hubble's law: the linear relation between the rate of recession of the distant galaxies and distance to them. Though we now mention several names associated with this law instead of…
We establish a q-generalization of Gordon's theorem that the space of diagonal coinvariants has a quotient identified with a perfect representation of the rational double affine Hecke algebra. It leads to a simple proof of his theorem and…
The Weak Law of Large Numbers is traced chronologically from its inception as Jacob Bernoulli's Theorem in 1713, through De Moivre's Theorem, to ultimate forms due to Uspensky and Khinchin in the 1930s, and beyond. Both aspects of Jacob…
This work explores Everett John Nelson's connexive logic, outlined in his PhD thesis and partially summarized in his 1930 paper \emph{Intensional Relations}, which is obtained by extending the system $\mathsf{NL}$ (reconstructed by E. Mares…
This paper gives an overview of several key innovations in the 19th century which led to complex geometry in the 20th century. This includes the creation of the complex plane, the work of Abel on addition theorems for generalized elliptic…
A systematic investigation of the skew-symmetric solutions of the three-dimensional Jacobi equations is presented. As a result, three disjoint and complementary new families of solutions are characterized. Such families are very general,…
Given linear spaces $E$ and $F$ over the real numbers or a field of characteristic zero, a simple argument is given to represent a symmetric multilinear map $u(x_1, x_2, \ldots, x_n)$ from $E^n$ to $F$ in terms of its restriction to the…
Besides the better-known Nelson's Logic and Paraconsistent Nelson's Logic, in "Negation and separation of concepts in constructive systems" (1959), David Nelson introduced a logic called S with the aim of analyzing the constructive content…
The point-line geometry known as a \textit{partial quadrangle} (introduced by Cameron in 1975) has the property that for every point/line non-incident pair $(P,\ell)$, there is at most one line through $P$ concurrent with $\ell$. So in…
In 1693, Gottfried Whilhelm Leibniz published in the Acta Eruditorum a geometrical proof of the fundamental theorem of the calculus. During his notorious dispute with Isaac Newton on the development of the calculus, Leibniz denied any…
We show that every compact complex analytic space endowed with a fine logarithmic structure and every morphism between such spaces admit a semi-universal deformation. These results generalize the analogous results in complex analytic…
We give an introduction to vertex algebras using elementary forward difference methods originally due to Isaac Newton.
In his 1999 preprint "Universal Lie Algebra", P. Vogel put forward a hypothesis on the existence of a universal Lie algebra. Although this hypothesis remains open, it is known that many quantities in Lie theory admit universal descriptions.…
Einstein used 4-dimensional space time geometry to explain gravity. However, in 1962, Baierlein, Sharp and Wheeler proposed a Jacobi type timeless Lagrangian based on the 3-dimensional geometry of space to reproduce the same physics. In…
This thesis is divided into three parts. The first part deals with cylindric plane partitions. The second with lambda-determinants and the third with commutators in semi-circular systems. For more detailed abstract please see inside.…
Larry Hoehn discovered a remarkable concurrence theorem about pentagrams. Draw cicles through two consecutive vertices and the intersection points of the sides in between, Then the radical axes of each pair of consecutive circles are…
We study normal directions to facets of the Newton polytope of the discriminant of the Laurent polynomial system via the tropical approach. We use the combinatorial construction proposed by Dickenstein, Feichtner and Sturmfels for the…