Related papers: In praise (and search) of J. V. Uspensky
This document is built around a list of thirty-two problems in enumeration of matchings, the first twenty of which were presented in a lecture at MSRI in the fall of 1996. I begin with a capsule history of the topic of enumeration of…
It's hard to imagine human life in the digital and AI age without polynomials because they are everywhere but mostly invisible to ordinary people: in data trends, on computer screens, in the shapes around us, and in the very fabric of…
This paper, which is dedicated to Alan Turing on the 50th anniversary of his death, gives an overview and discusses the philosophical implications of incompleteness, uncomputability and randomness.
This book is a graduate-level introduction to probabilistic programming. It not only provides a thorough background for anyone wishing to use a probabilistic programming system, but also introduces the techniques needed to design and build…
In the first part of this article, I summarise two centuries of research on turbulence. I also critically discuss some of the interpretations that are still in use, as turbulence remains an inherently non-linear problem that is still…
In this paper I describe the early development of the so-called mathematical biophysics, as conceived by Nicolas Rashevsky back in the 1920's, as well as his latter idealization of a "relational biology". I also underline that the creation…
Bunyakovsky's integral inequality (1859) is one of the familiar tools of modern Analysis. We try and understand what Bunyakovsky did, why he did it, why others did not follow the same path, and explore some of the mathematical…
The manual contains (in Russian) solutions of 230 problems that were used by the author for a number of years at the tutorial seminars in the first year undergraduate course in Mechanics and special relativity at Novosibirsk State…
This book is expository and is in Russian. It is shown how in the course of solution of interesting geometric problems (close to applications) naturally appear main notions of algebraic topology (homology groups, obstructions and…
Mathematics is changing. Computers are verifying proofs, checking calculations, and exploring complex structures that would overwhelm human effort. Yet curiosity-driven research is where tomorrow's breakthroughs are quietly prepared. In…
The probability of an event is in the range of [0, 1]. In a sample space S, the value of probability determines whether an outcome is true or false. The probability of an event Pr(A) that will never occur = 0. The probability of the event…
Steven Weinberg was a giant of late 20th Century physics on whose shoulders we stand while groping for the science of the 21st Century. This article provides a too-brief summary of a selection of his many achievements -- eight decades of…
This chapter provides a overview of Bayesian inference, mostly emphasising that it is a universal method for summarising uncertainty and making estimates and predictions using probability statements conditional on observed data and an…
Triggered by a recent interesting New Scientist article on the too frequent incorrect use of probabilistic evidence in courts, I introduce the basic concepts of probabilistic inference with a toy model, and discuss several important issues…
Mikhail Lomonosov (1711-1765) was the eminent Russian polymath and a towering figure of the European Enlightenment. This English translation of Mikhail Lomonosov seminal work "Oration on the Origin of Light " draws from its original Russian…
The aim of this paper is to review how some approximation results in commutative algebra are being used to construct equisingular deformations of singularities. The first example of such an approximation result appeared for the first time…
The earlier paper "Introduction to clarithmetic I" constructed an axiomatic system of arithmetic based on computability logic (see http://www.cis.upenn.edu/~giorgi/cl.html), and proved its soundness and extensional completeness with respect…
$ $[This paper is a (self contained) chapter in a new book, Mathematics and Computation, whose draft is available on my homepage at https://www.math.ias.edu/avi/book ]. We survey some concrete interaction areas between computational…
It is well known that many theorems in recursion theory can be "relativized". This means that they remain true if partial recursive functions are replaced by functions that are partial recursive relative to some fixed oracle set. Uspensky…
The paper is devoted to technology of math. education in Russia in special mathematical schools ("listkovaya systema"). This system has positive sides and most classes in Russian mathematical schools or circles almost always uses it.…