Ivan Sleszynski
Encyclopedia
Ivan Śleszyński (1854–1931) was a Ukrainian-born Polish
mathematician
. Śleszyński's main work was on continued fraction
s, least squares
and axiomatic proof theory
based on mathematical logic
. He and Alfred Pringsheim
, working separately, proved what is now called the Śleszyński–Pringsheim theorem
.
Poles
thumb|right|180px|The state flag of [[Poland]] as used by Polish government and diplomatic authoritiesThe Polish people, or Poles , are a nation indigenous to Poland. They are united by the Polish language, which belongs to the historical Lechitic subgroup of West Slavic languages of Central Europe...
mathematician
Mathematician
A mathematician is a person whose primary area of study is the field of mathematics. Mathematicians are concerned with quantity, structure, space, and change....
. Śleszyński's main work was on continued fraction
Continued fraction
In mathematics, a continued fraction is an expression obtained through an iterative process of representing a number as the sum of its integer part and the reciprocal of another number, then writing this other number as the sum of its integer part and another reciprocal, and so on...
s, least squares
Least squares
The method of least squares is a standard approach to the approximate solution of overdetermined systems, i.e., sets of equations in which there are more equations than unknowns. "Least squares" means that the overall solution minimizes the sum of the squares of the errors made in solving every...
and axiomatic proof theory
Proof theory
Proof theory is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively-defined data structures such as plain lists, boxed lists, or trees, which are constructed...
based on mathematical logic
Mathematical logic
Mathematical logic is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic. The field includes both the mathematical study of logic and the applications of formal logic to other areas of mathematics...
. He and Alfred Pringsheim
Alfred Pringsheim
Alfred Israel Pringsheim was a German mathematician and patron of the arts. He was born in Ohlau, Prussian Silesia and died in Zürich, Switzerland.- Family and academic career :...
, working separately, proved what is now called the Śleszyński–Pringsheim theorem
Śleszyński–Pringsheim theorem
In mathematics, the Śleszyński–Pringsheim theorem is a statement about convergence of certain continued fractions. It was discovered by Ivan Śleszyński and Alfred Pringsheim in the late 19th century....
.