Related papers: Hilbert's first and second problems and the founda…
In the 1920s, Ackermann and von Neumann, in pursuit of Hilbert's Programme, were working on consistency proofs for arithmetical systems. One proposed method of giving such proofs is Hilbert's epsilon-substitution method. There was, however,…
Inspired by the recent 90th anniversary of the Scottish Book we present some reflections about its impact. First we discuss new areas of mathematics it helped launch. Then we argue that it was actively used in stimulating the interests and…
Mathematical concepts and results have often been given a long history, stretching far back in time. Yet recent work in the history of mathematics has tended to focus on local topics, over a short term-scale, and on the study of ephemeral…
This work was originally published by the author in 1999 in a book [1] and later became part of the author's doctoral thesis in 1999 [2]. Since the original language of these works is not English, the author provides a translation of the…
These highly informal lecture notes aim at introducing and explaining several closely related problems on zeros of analytic functions defined by ordinary differential equations and systems of such equations. The main incentive for this…
The aim of this paper is to present a self contained introduction to the Hubbard model and some of its applications.The paper consists of two parts: the first will introduce the basic notions of the Hubbard model starting from the…
These are notes on Zhang's work and subsequent developments produced in preparation for 5 hours of talks for a general mathematical audience given in Cambridge, Edinburgh and Auckland over the last year. Being for colloquium-style talks,…
This is the list of open problems in topological algebra posed on the conference dedicated to the 20th anniversary of the Chair of Algebra and Topology of Lviv National University, that was held on 28 September 2001.
Metric spaces are a fundamental component of mathematics and have a paramount importance as a framework for measuring distance. They can be found in many different branches of mathematics, such as analysis and topology. This paper offers an…
The first two lectures are devoted to describing the basic concepts of scattering theory in a very compressed way. A detailed presentation of the abstract part can be found in \cite{I} and numerous applications in \cite{RS} and \cite{Y2}.…
This work is devoted to the study of the existence and periodicity of solutions of initial differential problems, paying special attention to the explicit computation of the period. These problems are also connected with some particular…
The area of inverse problems in mathematics is highly interdisciplinary. In various fields of science, engineering, medicine, and industry, there arises a need to reconstruct information about unknown entities that cannot be directly…
The words ``Programming is the second literacy'' were coined more than 40 years ago but never came to life. This paper is one in the series of papers aimed at the analysis of mathematical requirements for a merge of school mathematics with…
This is a non-standard paper, containing some problems in set theory 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, sometimes the problems…
Review of the First International Conference on Unconventional Models of Computation UMC'98, Auckland, New Zealand, 5-9 January, 1998
The book was written on the basis of materials that we presented at several faculties, either as lectures or as part of auditory exercises. Aware that there are more books and textbooks in the area in which the topics covered by this book…
We prove several formulas for the Hilbert metric in the unit disk and apply these results to study quasiregular mappings of the unit disk $\mathbb{B}^2$ onto a bounded convex domain $D$. The main result deals with the H\"older continuity of…
This introduction begins with a section on fundamental notions of mathematical logic, including propositional logic, predicate or first-order logic, completeness, compactness, the L\"owenheim-Skolem theorem, Craig interpolation, Beth's…
Those lectures revolve around the following problem: given a system of n real polynomials in n variables, count the number of real roots. The first lecture is a course on Newton iteration and alpha-theory. The second describes an…
Transcript of G.J. Chaitin's 2 March 2000 Carnegie Mellon University School of Computer Science Distinguished Lecture. The notion of randomness is taken from physics and applied to pure mathematics in order to shed light on the…