词条 | Stanisław Leśniewski |
释义 |
| name = Stanisław Leśniewski | image = Stanisław Leśniewski.jpg | image_size = | caption = | birth_date = {{birth date|1886|03|30|mf=y}} | birth_place = Serpukhov, Russian Empire | death_date = {{death date and age|1939|05|13|1886|03|30|mf=y}} | death_place = Warsaw, Poland | nationality = Polish | fields = Mathematics | workplaces = University of Warsaw | alma_mater = Lviv University | doctoral_advisor = Kazimierz Twardowski | doctoral_students = Alfred Tarski | influences = | influenced = Denis Miéville | known_for = Reism | awards = }}{{Cipher Bureau}} Stanisław Leśniewski (March 30, 1886 – May 13, 1939) was a Polish mathematician, philosopher and logician. Leśniewski went to a high school in Irkutsk. Later he attended lectures by Hans Cornelius at the Ludwig Maximilian University of Munich and lectures by Wacław Sierpiński at the Lviv University. LifeLeś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 the troika, 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, and mereology. ("Calculus of names" is sometimes used instead of ontology, a term widely employed in metaphysics in a very different sense.) A good textbook presentation of these systems is Simons (1987), who compares and contrasts them with the variants of mereology, more popular nowadays, descending from the calculus of individuals of Leonard and Goodman. Simons clarifies something that is very difficult to determine by reading Leśniewski and his students, namely that Polish mereology is a first-order theory isomorphic to what is now called classical extensional mereology. While he did publish a fair body of work (Leśniewski, 1992, is his collected works in English translation), some of it in German, the leading language for mathematics of his day, his writings had limited impact because of their enigmatic style and highly idiosyncratic notation. Leśniewski was also a radical nominalist: he rejected axiomatic set theory at a time when that theory was in full flower. He pointed to Russell's paradox and the like in support of his rejection, and devised his three formal systems as a concrete alternative to set theory. Even though Alfred Tarski was his sole doctoral pupil, Leśniewski nevertheless strongly influenced an entire generation of Polish logicians and mathematicians via his teaching at the University of Warsaw. It is mainly thanks to the writings of his students (e.g., Srzednicki and Rickey 1984) that Leśniewski's thought is known. During the Polish-Soviet War of 1919-21, Leśniewski served the cause of Poland's independence by breaking Soviet Russian ciphers for the Polish General Staff's Cipher Bureau. Leśniewski died suddenly of cancer, shortly before the German invasion of Poland, which resulted in the destruction of his Nachlass. Works
See also
Notes{{no footnotes|date=June 2016 }}References
External links
8 : 1886 births|1939 deaths|People from Serpukhov|Polish logicians|Polish mathematicians|Polish philosophers|Biuro Szyfrów|University of Warsaw alumni |
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。