Stanisław Leśniewski - Stanisław Leśniewski

Stanisław Leśniewski
Stanisław Leśniewski.jpg
Født ( 1886-03-30 )30. marts 1886
Serpukhov , det russiske imperium
Døde 13. maj 1939 (1939-05-13)(53 år)
Warszawa , Polen
Nationalitet Polere
Alma Mater Lviv universitet
Kendt for Beregning af navne
Mereologi
Videnskabelig karriere
Felter Matematik
Institutioner Universitetet i Warszawa
Doktorvejleder Kazimierz Twardowski
Doktorander Alfred Tarski
Påvirket Denis Miéville
Polsk Cipher Bureau
Biuro Szyfrów
Metoder og teknologi
Placeringer
Personale
Vicechef
for Radio Intelligence
Chef for den tyske afdeling
Maksymilian Ciężki
Chef for den russiske afdeling
Jan Graliński
Russisk sektions kryptolog
Piotr Smoleński

Stanisław Leśniewski (30. marts 1886 - 13. maj 1939) var en polsk matematiker , filosof og logiker .

Liv

Han blev født den 28. marts 1886 i Serpukhov , nær Moskva , til far Izydor, en ingeniør, der arbejdede med konstruktionen af ​​den transsibiriske jernbane , og mor Helena ( født Palczewska). Leśniewski gik på et gymnasium i Irkutsk . Senere deltog han i forelæsninger af Hans Cornelius ved Ludwig Maximilian University i München og foredrag af Wacław Sierpiński ved Lviv University .

Leśniewski tilhørte den første generation af Lwów - Warszawa logikskolen grundlagt af Kazimierz Twardowski . Sammen med Alfred Tarski og Jan Łukasiewicz dannede han trojkaen , der gjorde universitetet i Warszawa under interbellum til måske det vigtigste forskningscenter i verden for formel logik .

Hans vigtigste bidrag var konstruktionen af ​​tre indlejrede formelle systemer , hvortil han gav de græsk-afledte navne prototetisk, ontologi og mereologi . ("Beregning af navne" bruges undertiden i stedet for ontologi, et begreb, der er meget udbredt i metafysik i en meget anden forstand.) En god lærebogspræsentation af disse systemer er den af Simons (1987), der sammenligner og kontrasterer dem med varianterne af mereologi , mere populær i dag, der stammer fra beregningen af ​​enkeltpersoner fra Leonard og Goodman. Simons præciserer noget, der er meget svært at bestemme ved at læse Leśniewski og hans elever, nemlig at polsk mereologi er en førsteordens teori isomorf i forhold til det, der nu kaldes klassisk extensional mereologi .

Selvom han udgav et retfærdigt stykke arbejde (Leśniewski, 1992, er hans samlede værker i engelsk oversættelse), nogle af dem på tysk, det førende sprog for hans tids matematik, havde hans skrifter begrænset indflydelse på grund af deres gådefulde stil og meget idiosynkratisk notation. Leśniewski var også en radikal nominalist : han afviste aksiomatisk sætteori på et tidspunkt, hvor teorien var i fuld blomst. Han pegede på Russells paradoks og lignende til støtte for hans afvisning og udtænkte sine tre formelle systemer som et konkret alternativ til sætteori. Selvom Alfred Tarski var hans eneste doktorand, påvirkede Leśniewski ikke desto mindre stærkt en hel generation af polske logikere og matematikere via sin undervisning ved universitetet i Warszawa. Det er hovedsageligt takket være hans elevers skrifter (f.eks. Srzednicki og Rickey 1984), at Leśniewskis tanke er kendt.

Under den polsk-sovjetiske krig af 1919-1921, Leśniewski tjente årsagen til Polens uafhængighed ved at bryde sovjetiske russiske ciphers for den polske generalstab 's Cipher Bureau .

Leśniewski døde pludselig af kræft, kort før den tyske invasion af Polen , hvilket resulterede i ødelæggelsen af ​​hans Nachlass . Han blev begravet på Powązki -kirkegården i Warszawa.

Arbejder

  • 1988. Forelæsningsnotater i logik . Kluwer. Indholdsfortegnelse.
  • 1992. Samlede værker . 2 bind. Kluwer. Indholdsfortegnelse.
  • 1929, "Über Funktionen, deren Felder Gruppen mit Rücksicht auf diese Funktionen sind", Fundamenta Mathematicae 13: 319-32.
  • 1929, "Grundzüge eines neuen Systems der Grundlagen der Mathematik", Fundamenta Mathematicae 14: 1-81.
  • 1929, "Über Funktionen, deren Felder Abelsche Gruppen in bezug auf diese Funktionen sind", Fundamenta Mathematicae 14: 242-51.

Se også

Referencer

  • Ivor Grattan-Guinness , 2000. På jagt efter matematiske rødder . Princeton: Princeton University Press.
  • Luschei, Eugene, 1962. Lesniewskis logiske systemer . Amsterdam: Nordholland.
  • Miéville, Denis, 1984. "Un Développement des Systèmes Logiques de Stanislas Lesniewski", Peter Lang, European University Studies.
  • Simons, Peter, 1987. Dele: Et studie i ontologi . New York: Oxford University Press.
  • Srzednicki, JTJ og Rickey, VF , (red.), 1984. Lesniewski's Systems: Ontology and Mereology . Dordrecht: Kluwer.
  • Surma, Stanislaw J. (redaktør) (1977/8) "On Leśniewski's Systems, Proceedings of XXII Conference on History of Logic", Studia Logica 36 (4): 247–426 MR 0476370
  • Urbaniak, Rafal, 2013. Leśniewskis systemer for logik og grundlag for matematik , Dordrecht: Springer.
  • Wolenski, Jan, 1989. Logik og filosofi i Lwow-Warszawa-skolen . Dordrecht: Kluwer.

eksterne links