Ivan Vladislavovich Sleshinsky
[Andrew Schumann. ]
Logic in Central and Eastern Europe. The Social Context
' 2012. or Jan Śleszyński
(russian: Иван Владиславович Слешинский) (23 July 1854 – 9 March 1931) was a Polish-Russian
mathematician. He was born in
Lysianka,
Russian Empire to Polish parents.
Life
Śleszyński's main work was on
continued fractions,
least squares
The method of least squares is a standard approach in regression analysis to approximate the solution of overdetermined systems (sets of equations in which there are more equations than unknowns) by minimizing the sum of the squares of the res ...
and axiomatic
proof theory
Proof theory is a major branchAccording to Wang (1981), pp. 3–4, proof theory is one of four domains mathematical logic, together with model theory, axiomatic set theory, and recursion theory. Jon Barwise, Barwise (1978) consists of four correspo ...
based on
mathematical logic. He and
Alfred Pringsheim
Alfred Pringsheim (2 September 1850 – 25 June 1941) was a German mathematician and patron of the arts. He was born in Ohlau, Prussian Silesia (now Oława, Poland) and died in Zürich, Switzerland.
Family and academic career
Pringsheim came ...
, working separately, proved what is now called the
Śleszyński–Pringsheim theorem.
His most important publications include: "Teoria dowodu" ("The theory of proof") in two volumes (1925, 1929), and "Teoria wyznaczników" ("The theory of determinants") (1926). He is buried at
Rakowicki Cemetery.
See also
*
History of philosophy in Poland
*
List of Poles
References
External links
*
1854 births
1931 deaths
19th-century Polish mathematicians
20th-century Russian mathematicians
Burials at Rakowicki Cemetery
Polish mathematicians
Polish logicians
Proof theorists
{{Ukraine-scientist-stub