🔍 MăreșteIn memoriam
Stanisław Leśniewski (Polish: [lɛɕˈɲɛfskʲi]; 30 March 1886 – 13 May 1939) was a Polish mathematician, philosopher and logician. A professor of mathematics at the University of Warsaw, he was a leading representative of the Lwów–Warsaw School of Logic and is known for coining and introducing the concept of mereology as part of a comprehensive framework for logic and mathematics.
Stanisław Leśniewski a adăugat o fotografie
acum 6 ore
Stanisław Leśniewski (Polish: [lɛɕˈɲɛfskʲi]; 30 March 1886 – 13 May 1939) was a Polish mathematician, philosopher and logician. A professor of mathematics at the University of Warsaw, he was a leading representative of the Lwów–Warsaw School of Logic and is known for coining and introducing the concept of mereology as part of a comprehensive framework for logic and mathematics.
Stanisław Leśniewski a adăugat o fotografie
acum 6 ore
Life Leśniewski was born on 28 March 1886 at Serpukhov, near Moscow, to father Izydor, an engineer working on the construction of the Trans-Siberian Railway, and mother Helena (née Palczewska). Leśniewski went to a high school in Irkutsk. Later he attended lectures by Hans Cornelius at the Ludwig-Maximilians-Universität München and lectures by Wacław Sierpiński at Lviv University. Leśniewski belonged to the first generation of the Lwów–Warsaw School of logic founded by Kazimierz Twardowski. Together with Alfred Tarski and Jan Łukasiewicz, he formed a trio which made the University of Warsaw, during the interbellum, perhaps the most important research center in the world for formal logic. His main contribution was the construction of three nested formal systems, to which he gave the Greek-derived names of protothetic, ontology ("Calculus of names" is sometimes used instead of ontology, a term widely employed in metaphysics in a very different sense), and mereology, which, in its first, 1916, version introduced "the notion of collective class, a concrete notion of class elaborated by Leśniewski directly against Cantor’s sets, Frege’s extensions of concepts and Russell’s and Whitehead’s classes as incomplete symbols." A good textbook presentation of these systems is that by Simons (1987), who compares and contrasts…