Related papers: Arthur Byron Coble, 1878--1966
We give a number of formal proofs of theorems from the field of computable analysis. Many of our results specify executable algorithms that work on infinite inputs by means of operating on finite approximations and are proven correct in the…
This is a personal tribute to Lance Littlejohn on the occasion of his 70th birthday. It is meant as a present to him for many years of friendship. It is not written in the "Satz-Beweis" style of Edmund Landau or even in the format of a…
The contributions of Emmy Noether to particle physics fall into two categories. One is given under the rubric of Noether's theorem, and the other may be described as her important contributions to modern mathematics. These are discussed…
We survey briefly the life and work of P. L. Chebyshev, and his ongoing influence. We discuss his contributions to probability, number theory and mechanics, his pupils and mathematical descendants, and his role as the founding father of…
Much of what I have to say in the following (not all) is contained in my Informal History published in 2010 in the Intl Journ of Mod Phys and available as arXiv:1011.2736 [cond-mat]. But because the literature on the subject continues to…
This lecture recalls the memory of Baron Roland Eotvos, an outstanding figure of the experimental exploration of the gravitational interaction.
A short autobiography written for a centennial party.
This paper provides an overview of the successive stages in the development of Charles Babbage's Analytical Engine, based on the blueprints held in the Babbage Papers Archive, accessible online through the Science Museum in London. The…
The work is divided into three sections: the first one describes the historical evolution of the main arguments presented about the plurality of inhabited worlds, from the presocratics to the birth of modern science. The second section…
These notes discuss in an informal manner the construction and some properties of 1- and 2-gerbes. They are mainly based on the author's previous work in this area, which is reviewed here, and to some extent improved upon. The main emphasis…
We study in depth a certain permutation statistic that was the subject of a brilliant insight by 12-year-old Noga Alon. Our approach is purely empirical and experimental, yet it is fully rigorous, thereby debunking, yet another time, the…
An obituary for Alexander Gordon which will appear in the Journal of Spectral Theory
Some personal thoughts on Sklar's theorem and copulas after reading the original paper (Sklar, 1959) in French.
Academic biography of Karl Weierstrass, his basic works, influence of his doctrine on the development of mathematics.
These notes explore three amazing formulas proved by Abel in his 1826 Paris memoir on what we now call Abelian integrals. We discuss the first two formulas from the point of view of symbolic computation and explain their connection to…
The first part of this paper contains a brief description of the beginnings of modern cosmology, which, the author will argue, was most likely born in the Year 1912. Some of the pieces of evidence presented here have emerged from recent…
The goal of these lectures is to review some mathematical aspects of random tree models used in evolutionary biology to model gene trees or species trees. We start with stochastic models of tree shapes (finite trees without edge lengths),…
We throw a brief glance at Galois' life, on the occasion of his 200th anniversary (written in German).
In 1964, Aharonov, Bergmann, and Lebowitz introduced their well-known ABL rule with the intention of providing a time-symmetric formalism for computing novel kinds of conditional probabilities in quantum theory. Later papers attached…
This is a brief account of the legacy of Ken Wilson in statistical physics, high energy physics, computing and education.