Stanisław Leśniewski - Stanisław Leśniewski
Stanisław Leśniewski | |
|---|---|
 | |
| narozený | 30. března 1886 |
| Zemřel | 13.května 1939 (ve věku 53) |
| Národnost | polština |
| Alma mater | Lvovská univerzita |
| Známý jako | Počet jmen Mereologie |
| Vědecká kariéra | |
| Pole | Matematika |
| Instituce | Varšavská univerzita |
| Doktorský poradce | Kazimierz Twardowski |
| Doktorandi | Alfred Tarski |
| Ovlivněno | Denis Miéville |
| Metody a technologie |
|---|
| Místa |
| Personál |
Hlavní Gwido Langer Německá sekce kryptologů Wiktor Michałowski Šéf ruské sekce Jan Graliński Ruská sekce kryptolog Piotr Smoleński |
Stanisław Leśniewski (30. března 1886 - 13. května 1939) byl a polština matematik, filozof a logik.
Život
Narodil se 28. března 1886 v Serphukhov poblíž Moskva otci Izydorovi, inženýrovi pracujícímu na stavbě Transsibiřská železnice a matka Helena (rozená Palczewska).[1] Leśniewski šel na střední školu v Irkutsk. Později navštěvoval přednášky od Hans Cornelius na Ludwig Maximilian University v Mnichově[2] a přednášky Wacław Sierpiński na Lvovská univerzita.[3]
Leśniewski patřil k první generaci Logická škola ve Lvově-Varšavě založeno Kazimierz Twardowski. Dohromady s Alfred Tarski a Jan Łukasiewicz, založil trojka, který vytvořil Varšavská univerzita, Během interbellum, možná nejdůležitější výzkumné centrum na světě pro formální logika.[4]
Jeho hlavním přínosem byla konstrukce tří vnořených formální systémy, kterému dal řecká jména prototetických, ontologie, a pouhá teologie.[5] ("Kalkul jmen" se někdy používá místo ontologie, což je termín široce používaný v metafyzika ve velmi odlišném smyslu.) Dobrá učebnicová prezentace těchto systémů je tím, že Simons (1987), který je srovnává a porovnává s variantami pouhá teologie, dnes více populární, sestupující z počet jednotlivců Leonarda a Goodmana. Simons objasňuje něco, co je velmi obtížné určit čtením Leśniewského a jeho studentů, a sice, že polská pouhá teorie prvního řádu je izomorfní s tím, co se nyní nazývá klasické extenzní pouhá teologie.
I když publikoval poctivé dílo (Leśniewski, 1992, jeho shromážděná díla v anglickém překladu), některé z nich v němčině, která je v dnešní době nejpoužívanějším jazykem pro matematiku, jeho práce měly omezený dopad kvůli jejich záhadnému stylu a vysoce idiosynkratická notace. Leśniewski byl také radikál nominalista: odmítl axiomatická teorie množin v době, kdy byla tato teorie v plném květu. Ukázal na Russellův paradox a podobně na podporu jeho odmítnutí a vymyslel své tři formální systémy jako konkrétní alternativu k teorii množin. Přestože Alfred Tarski byl jeho jediným doktorandem, Leśniewski přesto prostřednictvím výuky na varšavské univerzitě silně ovlivnil celou generaci polských logiků a matematiků. Leśniewského myšlenka je známá hlavně díky spisům jeho studentů (např. Srzednicki a Rickey 1984).[6]
Během Polsko-sovětská válka v letech 1919-21 sloužil Leśniewski prolomením nezávislosti Polska Sovětský Rus šifry pro polštinu Generální štáb je Cipher Bureau.[7]
Leśniewski zemřel náhle na rakovinu, krátce před Němcem invaze do Polska, což mělo za následek jeho zničení Nachlass. Byl pohřben na Powązki hřbitov ve Varšavě.[8]
Funguje
- 1988. Logické poznámky k přednášce. Kluwer. Obsah.
- 1992. Sebrané spisy. 2 obj. Kluwer. Obsah.
- 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.
Viz také
Reference
- ^ „Stanisław Leśniewski“. Citováno 20. března 2020.
- ^ "Stanisław Leśniewski - logik radykalny". Citováno 20. března 2020.
- ^ „Stanisław Leśniewski“. Citováno 20. března 2020.
- ^ „Naissance du mathématicien Polonais Stanisław Leśniewski 30. března 1886“. Citováno 20. března 2020.
- ^ „Stanislaw Lesniewski“. Citováno 20. března 2020.
- ^ "Systemy dedukcyjne Leśniewskiego - podstawy filozofii i matematyki" (PDF). Citováno 20. března 2020.
- ^ „Wojna wywiadów“. Citováno 20. března 2020.
- ^ „Warszawskie Zabytkowe Pomniki Nagrobne“. Citováno 20. března 2020.
- Ivor Grattan-Guinness, 2000. Při hledání matematických kořenů. Princeton: Princeton University Press.
- Luschei, Eugene, 1962. Logické systémy Lesniewski. Amsterdam: Severní Holandsko.
- Miéville, Denis, 1984. „Un Développement des Systèmes Logiques de Stanislas Lesniewski“, Peter Lang, Evropská univerzitní studia.
- Simons, Peter, 1987. Části: Studie v ontologii. New York: Oxford University Press.
- Srzednicki, J. T. J. a Rickey, V. F. (eds.), 1984. Lesniewski's Systems: Ontology and Mereology. Dordrecht: Kluwer.
- Surma, Stanislaw J. (editor) (1977/8) „On Leśniewski's Systems, Proceedings of XXII Conference on History of Logic“, Studia Logica 36(4): 247–426 PAN0476370
- Urbaniak, Rafal, 2013. Leśniewskiho systémy logiky a základy matematiky, Dordrecht: Springer.
- Wolenski, leden 1989. Logika a filozofie ve Lwowsko-varšavské škole. Dordrecht: Kluwer.
externí odkazy
- Simons, Peter. "Lesniewski". v Zalta, Edward N. (vyd.). Stanfordská encyklopedie filozofie.
- Woleński, Jan. "Lvovsko-varšavská škola". v Zalta, Edward N. (vyd.). Stanfordská encyklopedie filozofie.
- Betti, Arianna, 2001, "Seminární pravda: spojení Bolzano-Twardowski-Lesniewski. "
- Polská filozofie: Stanislaw Lesniewski Francesco Coniglione a Arianna Betti.
- Webová stránka Teorie a historie ontologie Raula Corazzona: Lesniewski.
- Vybraná bibliografie Lesniewského a o něm. Zahrnuje anglické překlady a vybranou bibliografii sekundární literatury.
- O'Connor, John J.; Robertson, Edmund F., „Stanisław Leśniewski“, MacTutor Historie archivu matematiky, University of St Andrews.
