Станислав Лесьневский | |
---|---|
Родился | (1886-03-30) 30 марта 1886 г.. Серпухов, Российская Империя |
Умер | 13 мая 1939 г. (1939-05-13) (53 года). Варшава, Польша |
Национальность | Польский |
Alma mater | Львовский университет |
Известен | Исчислением имен. Мереология |
Научная карьера | |
Области | Математика |
Учреждения | Варшавский университет |
Научный руководитель | Казимеж Твардовский |
Докторант | Альфред Тарский |
Под влиянием | Денис Миевиль |
Станислав Лесьневский (30 марта 1886 - 13 мая, 1939) был польским математиком, философом и логиком.
Он родился 28 марта 1886 года в Серфухове, недалеко от Москвы, у отца Изидора, инженера, работавшего на строительство Транссибирской магистрали, и мать Хелена (урожденная Пальчевская). Лесьневский учился в средней школе в Иркутске. Позже он посещал лекции Ганса Корнелиуса в Мюнхенском университете Людвига Максимилиана и лекции Вацлава Серпинского в Львовском университете.
Лесьневский принадлежал первое поколение Львовско-Варшавской школы логики, основанной Казимежем Твардовским. Вместе с Альфредом Тарским и Яном Лукасевичем он сформировал тройку, из которой в Варшавский университет во время межвоенного периода, возможно, самый важный центр исследований в мире формальной логики.
Его главным вкладом было построение трех вложенных формальных систем, которым он дал греческие названия прототетической, онтологии. и мереология. («Исчисление имен» иногда используется вместо онтологии, термин, широко используемый в метафизике в совершенно другом смысле.) Хорошее представление этих систем в учебнике - это то, что сделал Саймонс ( 1987), который сравнивает и противопоставляет их с вариантами мереологии, более популярными в настоящее время, происходящими от исчисления отдельных лиц Леонарда и Гудмана. Саймонс разъясняет то, что очень трудно определить, читая Лесьневского и его учеников, а именно то, что польская мереология - это теория первого порядка, изоморфная тому, что сейчас называется классической экстенсиональной мереологией.
. опубликовать изрядное количество работ (Leśniewski, 1992, его собрание сочинений в английском переводе), некоторые из них на немецком языке, ведущем языке математики того времени, его труды имели ограниченное влияние из-за их загадочного стиля и весьма своеобразной нотации. Лесьневский был также радикальным номиналистом : он отверг аксиоматическую теорию множеств в то время, когда эта теория была в самом расцвете. Он указал на парадокс Рассела и тому подобное в подтверждение своего отказа и разработал свои три формальные системы как конкретную альтернативу теории множеств. Хотя Альфред Тарский был его единственным докторантом, Лесьневский, тем не менее, оказал сильное влияние на целое поколение польских логиков и математиков своим преподаванием в Варшавском университете. Идея Лесьневского известна главным образом благодаря трудам его учеников (например, Сжедницки и Рики 1984).
Во время польско-советской войны 1919-1921 годов Лесьневский служил причиной независимости Польши путем взлома советских русских шифров для польского Генерального штаба бюро шифров.
Лесьневский внезапно умер от рака, незадолго до этого вторжение Германии в Польшу, в результате которого был уничтожен его начлас. Похоронен на Повонзком кладбище в Варшаве.