Related papers: Roger Carter
These are lecture notes for a course I gave in mid-1990s for MSc students at the University of Bath. It presents an algorithm with singly exponential complexity for the existential theory of the reals, in the spirit of J. Renegar. The aim…
A comprehensive review on Cook's contribution in the theory of NP-Completeness with relations to modern mathematics.
This biographical account of the life and work of David Kendall includes details of his personal and professional activities. Kendall is probably best known for his work in applied probability, especially queueing theory, and in stochastic…
Irving Ezra Segal (1918-1998) has proposed some axioms for mathematical cosmology. These are here re-examined and Segal's redshift formula and energy conservation in the Einstein universe are established in full on their basis. A detailed…
This is a historical article on J. C. Corbin, a nineteenth century mathematician and the founding president of the Historically Black University of Arkansas at Pine Bluff. This version omits the figures that appeared in the published…
Many mathematicians find mathematics aesthetically beautiful and even comparable to art forms such as music or painting. On the other hand, every year a great number of school students leave mathematics with total disillusionment and…
This paper is a faithful description of the author's career as a scientist, which often intersected that of Yves Couder. The emphasis of this paper is a true description of how the science that the author has been associated with really…
Rosser theories play an important role in the study of the incompleteness phenomenon and meta-mathematics of arithmetic. In this paper, we first define the notions of $n$-Rosser theories, exact $n$-Rosser theories, effectively $n$-Rosser…
David Mumford made groundbreaking contributions in many fields, including the pure mathematics of algebraic geometry and the applied mathematics of machine learning and artificial intelligence. His work in both fields influenced my career…
In the following article a Ph.D. student of V.I.~Arnold gives a personal account on his teacher who unexpectedly passed away earlier this year.
In this paper dedicated to the memory of Walter Philipp, we formalize the rules of classical$\to$ quantum correspondence and perform a rigorous mathematical analysis of the assumptions in Bell's NO-GO arguments.
In the article we give an appreciation of Edward Nelson's multifaceted contribution to mathematics, and particularly to foundational theories of infinitesimals.
The uncountability of the real numbers is one of their most basic properties, known (far) outside of mathematics. Cantor's 1874 proof of the uncountability of the real numbers even appears in the very first paper on set theory, i.e. a…
This is a non-standard paper, containing some problems, mainly in model theory, which I have, in various degrees, been interested in. Sometimes with a discussion on what I have to say; sometimes, of what makes them interesting to me,…
Gerhard Hochschild's contribution to the development of mathematics in the XX century is succinctly surveyed. We start with a personal and mathematical biography, and then consider with certain detail his contributions to algebraic groups…
These notes are written for the book "From the past to the future: the legacy of Lev Lipatov", editors: Jochen Bartels et all, which will be published by WS. I tried to share with you the atmosphere and the flavour of everyday life in…
The classical platonist/formalist dilemma in philosophy of mathematics can be expressed in lay terms as a deceptively naive question: is new mathematics discovered or invented? Using an example from my own mathematical life, I argue that…
We prove higher moment formulas for Siegel transforms defined over the space of unimodular $S$-lattices in $\mathbb Q_S^d$, $d\ge 3$, where in the real case, the formulas are introduced by Rogers (1955). As applications, we obtain the…
With the aim of completing the previous study by A. Or{\l}owski and the author concerning intertwining maps between induced representations and conjugation representation, termed here weighted class operators, we compute the latter…
Life and the mathematical legacy of the great mathematician A.V. Pogorelov.