Станислав Лесневский
Станислав Лесневский | |
|---|---|
 | |
| Рожденный | 30 марта 1886 г. |
| Умер | 13 мая 1939 г. (53 года) |
| Национальность | Польский |
| Альма-матер | Львовский университет |
| Известный | Исчисление имен Мереология |
| Научная карьера | |
| Поля | Математика |
| Учреждения | Варшавский университет |
| Докторантура | Казимеж Твардовский |
| Докторанты | Альфред Тарский |
| Методы и технология |
|---|
| Локации |
| Персонал |
Главный Гвидо Лангер Немецкая секция криптологов Виктор Михаловский Начальник русского отдела Ян Гралински криптолог Русской секции Петр Смоленский |
Станислав Лесневский (30 марта 1886 — 13 мая 1939) — польский математик , философ и логик .
Жизнь [ править ]
Он родился 28 марта 1886 года в Серпухове подмосковном . в семье Изидора, инженера, работавшего на строительстве Транссибирской магистрали , и матери Елены ( урожденной Пальчевской) [1] Лесневский учился в средней школе в Иркутске . Позже он посещал лекции Ганса Корнелиуса в Мюнхенском университете Людвига-Максимилиана. [2] и лекции Вацлава Серпинского во Львовском университете . [3]
Лесневский принадлежал к первому поколению Львовско -Варшавской школы логики, основанной Казимежем Твардовским . Вместе с Альфредом Тарским и Яном Лукасевичем он сформировал трио, которые сделали Варшавский университет в межвоенный период , возможно, самым важным исследовательским центром в мире по формальной логике . [4] Несмотря на это, растущий антисемитизм Лесневского позже привел к ухудшению отношений с Тарским. [5]
Его главным вкладом было построение трёх вложенных формальных систем , которым он дал греческие названия прототетики, онтологии и мереологии . [6] («Исчисление имен» иногда используется вместо онтологии, термина, широко используемого в метафизике в совершенно ином смысле.) Хорошее описание этих систем в учебнике дает Саймонс (1987), который сравнивает и противопоставляет их вариантам мереология , более популярная в наши дни, происходящая от исчисления индивидов Леонарда и Гудмана. Саймонс проясняет то, что очень трудно определить, читая Лесневского и его учеников, а именно, что польская мереология является теорией первого порядка, эквивалентной тому, что сейчас называется классической экстенсиональной мерологией (по модулю выбора языка).
Хотя он опубликовал значительное количество работ (Leśniewski, 1992 — собрание его сочинений в английском переводе), некоторые из них на немецком языке, ведущем языке математики того времени, его сочинения имели ограниченное влияние из-за их загадочного стиля и высокой своеобразные обозначения. Лесневский также был радикальным номиналистом : он отверг аксиоматическую теорию множеств в то время, когда эта теория была в полном расцвете. Он указал на парадокс Рассела и тому подобное в поддержку своего неприятия и разработал свои три формальные системы как конкретную альтернативу теории множеств. Хотя Альфред Тарский был его единственным докторантом, Лесневский, тем не менее, оказал сильное влияние на целое поколение польских логиков и математиков своим преподаванием в Варшавском университете. Идея Лесневского известна главным образом благодаря трудам его учеников (например, Srzednicki and Rickey 1984). [7]
Во время польско-советской войны 1919-21 годов Лесневский служил делу независимости Польши, взламывая советско-российские шифры для генерального штаба польского Бюро шифров . [8]
Лесневский внезапно умер от рака, незадолго до немецкого вторжения в Польшу , в результате которого был разрушен его Нахлас . Похоронен на Повонзком кладбище в Варшаве . [9]
Работает [ править ]
- 1988. Конспекты лекций по логике . Клювер. Оглавление.
- 1992. Собрание сочинений . 2 тома. Клювер. Оглавление.
- 1929, «О функциях, поля которых являются группами относительно этих функций», Fundamenta Mathematicae 13: 319–32.
- 1929, «Принципы новой системы оснований математики», Fundamenta Mathematicae 14: 1-81.
- 1929, «О функциях, поля которых являются абелевыми группами относительно этих функций», Fundamenta Mathematicae 14: 242–51.
См. также [ править ]
Ссылки [ править ]
- ^ «Станислав Лесневский» . Проверено 20 марта 2020 г.
- ^ «Станислав Лесневский – радикальный логик» . Проверено 20 марта 2020 г.
- ^ «Станислав Лесневский» . Проверено 20 марта 2020 г.
- ^ «Рождение польского математика Станислава Лесневского 30 марта 1886 года» . Проверено 20 марта 2020 г.
- ^ «Стэнфордская энциклопедия философии» .
- ^ «Станислав Лесневский» . Проверено 20 марта 2020 г.
- ^ «Дедуктивные системы Лесневского - основы философии и математики» (PDF) . Проверено 20 марта 2020 г.
- ^ «Интеллектуальная война» . Проверено 20 марта 2020 г.
- ^ «Варшавские исторические могильные памятники» . Проверено 20 марта 2020 г.
- Айвор Граттан-Гиннесс , 2000. В поисках математических корней . Принстон: Издательство Принстонского университета.
- Лущей, Евгений, 1962. Логические системы Лесневского . Амстердам: Северная Голландия.
- Мьевиль, Дени, 1984. «Развитие логических систем Станисласа Лесневского», Питер Ланг, Исследования европейских университетов.
- Саймонс, Питер, 1987. Части: исследование онтологии . Нью-Йорк: Издательство Оксфордского университета.
- Сржедницкий, Дж.Т.Дж., и Рики, В.Ф. (ред.), 1984. Системы Лесневского: онтология и мереология . Дордрехт: Клювер.
- Сурма, Станислав Дж. (редактор) (1977/8) «О системах Лесневского, материалы XXII конференции по истории логики», Studia Logica 36 (4): 247–426 MR 0476370
- Урбаниак, Рафаль, 2013. Системы логики и основы математики Лесневского , Дордрехт: Springer.
- Воленски, январь 1989. Логика и философия во Львовско-Варшавской школе . Дордрехт: Клювер.
Внешние ссылки [ править ]
- Саймонс, Питер. «Лесневский» . В Залте, Эдвард Н. (ред.). Стэнфордская энциклопедия философии .
- Воленский, Ян. «Львовско-Варшавская школа» . В Залте, Эдвард Н. (ред.). Стэнфордская энциклопедия философии .
- Бетти, Арианна, 2001, « Вечная истина: связь Больцано-Твардовского-Лесневского » .
- Польская философия: Станислав Лесневский Франческо Конильоне и Арианна Бетти.
- Веб-страница «Теория и история онтологии» Рауля Корацсона: Лесневски.
- Избранная библиография Лесневского и о нем. Включает английские переводы и избранную библиографию вторичной литературы.
- О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф. , «Станислав Лесневский» , Архив истории математики MacTutor , Университет Сент-Эндрюс
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Люди | |
| Другой | |
