Stanisław Leśniewski
Stanisław Leśniewski [sta'ɲiswaf lɛ'ɕɲɛfski] (Serpukov, 30 de março de 1886 — Varsóvia, 13 de maio de 1939) foi um filósofo e matemático polonês. Sua principal contribuição foi a construção de três sistemas formais aninhados, aos quais ele deu os nomes derivados do grego de prototética, ontologia e mereologia.[1]
| Stanisław Leśniewski | |
|---|---|
 | |
| Nascimento | 30 de março de 1886 Serpukov |
| Morte | 13 de maio de 1939 (53 anos) Varsóvia |
| Alma mater | Universidade de Lviv |
| Orientador(es)(as) | Kazimierz Twardowski |
| Orientado(a)(s) | Alfred Tarski |
| Campo(s) | Matemática |
| Tese | 1912: A Contribution to Analysis of Existential Propositions |
Stanisław Leśniewski nasceu na Rússia, originário de uma família polonesa. Seu pai trabalhou como engenheiro de estradas de ferro para o Império Russo e morou em diversos lugares. Por isto Leśniewski foi para a escola em Irkutsk.
Leśniewski estudou matemática e Filosofia. Frequentou aulas de Hans Cornelius sobre filosofia em Munique e de Wacław Sierpiński na Universidade de Lviv sobre matemática. Seu orientador de doutorado lá foi Kazimierz Twardowski, fundador da Escola Lviv-Varsóvia de lógica, da qual foi depois um dos lideres, juntamente com Jan Lukasiewicz.
Na Guerra Polaco-Soviética Leśniewski trabalhou para o Estado-Maior polonês como analista de códigos, a fim de desvendar os códigos utilizados pela União Soviética.
Foi membro da Escola de Matemática de Varsóvia.
Em 1919, com a nova fundação do estado polonês, Leśniewski obteve uma cátedra de filosofia da matemática na Universidade de Varsóvia.
Obras
editar- Über Funktionen, deren Felder Gruppen mit Rücksicht auf diese Funktionen sind, Fundamenta Mathematicae, XIII:319-332, 1929.
- Grundzüge eines neuen Systems der Grundlagen der Mathematik, Fundamenta Mathematicae, XIV:1-81, 1929.
- Über Funktionen, deren Felder Abelsche Gruppen in bezug auf diese Funktionen sind, Fundamenta Mathematicae, XIV:242-251, 1929.
- ↑ «Stanisław Leśniewski». www.britannica.com (em inglês). Consultado em 10 de julho de 2022
Ligações externas
editar- Literatura de e sobre Stanisław Leśniewski (em alemão) no catálogo da Biblioteca Nacional da Alemanha
- O'Connor, John J.; Robertson, Edmund F., «Stanisław Leśniewski», MacTutor History of Mathematics archive (em inglês), Universidade de St. Andrews
- Stanisław Leśniewski (em inglês) no Mathematics Genealogy Project
- «Stanford Encyclopedia of Philosophy» (em inglês)
- «Stanislaw Lesniewski's Logical Systems: Protothetic, Ontology, Mereology» (em inglês)