Stanisław Leśniewski: Malsamoj inter versioj
| [nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
RG72 (diskuto | kontribuoj) |
LiMr (diskuto | kontribuoj) +Informkesto, +DEFAŬLTORDIGO, +Bibliotekoj, multaj redaktetoj per AWB |
||
Linio 1:
{{Informkesto homo}}
'''Stanisław Leśniewski''' (naskiĝinta en [[30-a de marto]] [[1886]], mortinta en [[13-a de majo]] [[1939]]) estis pola [[filozofo]], [[logikisto]], unu el plej gravaj filozofoj analitikaj.
Li studis ĉe [[Kazimierz Twardowski]] en [[Lvovo]]. Kune kun logikisto [[Alfred Tarski]] kaj matematikisto Jan Łukasiewicz li fondis ''trion'' (trójka) en Varsovia Universitato, probable la plej grava centro de scio pri formala logiko en la mondo inter militoj.
Leśniewski verkis pri [[Prototetiko]]- la sistemo de fraza kalkulo, [[Ontologio]]- komprenata tie kiel sistemo de noma kalkulo. Tiu ontologio estis nomigita '''Ontologio de Leśniewski'''. Li verkis ankaŭ pri teorio de aroj en senco kolektiva- [[Mereologio]]. Tiuj ĉiuj '''Sistemoj de Leśniewski''' estis kreigitaj ĉe serĉadoj pri rajtoj de matematiko. Sistemoj de Leśniewski estas la formo laŭ intuicieco kaj rigoreco. Leśniewski verkis ankaŭ pri teorio de semantikaj kategorioj, li enkondukis distingo inter lingvo kaj metalingvo kaj distingoj de aroj en senco distributema kaj kolektivema.
Linio 10 ⟶ 11:
* Stanisław Leśniewski, "Grundzüge eines neuen Systems der Grundlagen der Mathematik"
* Stanisław Leśniewski, "Über Funktionen, deren Felder Abelsche Gruppen in bezug auf diese Funktionen sind", Fundamenta Mathematicae 1929,
* Stanisław Leśniewski, Lecture Notes in Logic, Dordrecht, Kluwer, 1988.
* Stanisław Leśniewski, Collected Works, Dordrecht, Kluwer, 1992.
{{Bibliotekoj}}
{{DEFAŬLTORDIGO:Leśniewski, Stanisław}}▼
[[Kategorio:Polaj matematikistoj]]
[[Kategorio:Polaj filozofoj]]
[[Kategorio:Analizaj filozofoj]]
[[Kategorio:Polaj logikistoj]]
| |||