Станислав Лесьневский

редактировать
Станислав Лесьневский
Станислав Лесьневский.jpg
Родился(1886-03-30) 30 марта 1886 г.. Серпухов, Российская Империя
Умер13 мая 1939 г. (1939-05-13) (53 года). Варшава, Польша
НациональностьПольский
Alma materЛьвовский университет
ИзвестенИсчислением имен. Мереология
Научная карьера
ОбластиМатематика
УчрежденияВаршавский университет
Научный руководитель Казимеж Твардовский
ДокторантАльфред Тарский
Под влияниемДенис Миевиль

Станислав Лесьневский (30 марта 1886 - 13 мая, 1939) был польским математиком, философом и логиком.

Содержание

  • 1 Жизнь
  • 2 Работы
  • 3 См. Также
  • 4 Ссылки
  • 5 Внешние ссылки

Жизнь

Он родился 28 марта 1886 года в Серфухове, недалеко от Москвы, у отца Изидора, инженера, работавшего на строительство Транссибирской магистрали, и мать Хелена (урожденная Пальчевская). Лесьневский учился в средней школе в Иркутске. Позже он посещал лекции Ганса Корнелиуса в Мюнхенском университете Людвига Максимилиана и лекции Вацлава Серпинского в Львовском университете.

Лесьневский принадлежал первое поколение Львовско-Варшавской школы логики, основанной Казимежем Твардовским. Вместе с Альфредом Тарским и Яном Лукасевичем он сформировал тройку, из которой в Варшавский университет во время межвоенного периода, возможно, самый важный центр исследований в мире формальной логики.

Его главным вкладом было построение трех вложенных формальных систем, которым он дал греческие названия прототетической, онтологии. и мереология. («Исчисление имен» иногда используется вместо онтологии, термин, широко используемый в метафизике в совершенно другом смысле.) Хорошее представление этих систем в учебнике - это то, что сделал Саймонс ( 1987), который сравнивает и противопоставляет их с вариантами мереологии, более популярными в настоящее время, происходящими от исчисления отдельных лиц Леонарда и Гудмана. Саймонс разъясняет то, что очень трудно определить, читая Лесьневского и его учеников, а именно то, что польская мереология - это теория первого порядка, изоморфная тому, что сейчас называется классической экстенсиональной мереологией.

. опубликовать изрядное количество работ (Leśniewski, 1992, его собрание сочинений в английском переводе), некоторые из них на немецком языке, ведущем языке математики того времени, его труды имели ограниченное влияние из-за их загадочного стиля и весьма своеобразной нотации. Лесьневский был также радикальным номиналистом : он отверг аксиоматическую теорию множеств в то время, когда эта теория была в самом расцвете. Он указал на парадокс Рассела и тому подобное в подтверждение своего отказа и разработал свои три формальные системы как конкретную альтернативу теории множеств. Хотя Альфред Тарский был его единственным докторантом, Лесьневский, тем не менее, оказал сильное влияние на целое поколение польских логиков и математиков своим преподаванием в Варшавском университете. Идея Лесьневского известна главным образом благодаря трудам его учеников (например, Сжедницки и Рики 1984).

Во время польско-советской войны 1919-1921 годов Лесьневский служил причиной независимости Польши путем взлома советских русских шифров для польского Генерального штаба бюро шифров.

Лесьневский внезапно умер от рака, незадолго до этого вторжение Германии в Польшу, в результате которого был уничтожен его начлас. Похоронен на Повонзком кладбище в Варшаве.

Завод

  • 1988. Конспект лекций по логике. Kluwer. Содержание.
  • 1992. Собрание сочинений. 2 тт. Kluwer. Содержание.
  • 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.

См. также

Литература

  • Ивор Граттан-Гиннесс, 2000. В поисках математических корней. Princeton: Princeton University Press.
  • Luschei, Eugene, 1962. Логические системы Лесневского. Амстердам: Северная Голландия.
  • Miéville, Denis, 1984. «Un Développement des Systèmes Logiques de Stanislas Lesniewski», Питер Ланг, Исследования европейского университета.
  • Саймонс, Питер, 1987. Части: Исследование онтологии. Нью-Йорк: Oxford University Press.
  • Срзедницки, Дж. Т. Дж. И Рики, В. Ф., (ред.), 1984. Системы Лесневского: онтология и мереология. Дордрехт: Kluwer.
  • Сурма, Станислав Дж. (Редактор) (1977/8) «О системах Лесьневского, Труды XXII конференции по истории логики», Studia Logica 36 (4) : 247–426 MR 0476370
  • Урбаниак, Рафаль, 2013. Системы логики и основы математики Лесьневского, Дордрехт: Спрингер.
  • Воленски, Ян, 1989. Логика и философия во Львове-Варшаве Школа. Дордрехт: Клувер.

Внешние ссылки

Последняя правка сделана 2021-06-09 07:53:41
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте