60 лет назад не стало великого польского логика и философа Яна Лукасевича

13 февраля исполняется 60 лет со дня смерти одного из величайших ученых последнего столетия профессора Яна Лукасевича – логика и выдающегося математика, создателя модальной логики и первого исчисления многозначной логики, которое сформировало основы современной информатики.

Ян Лукасевич известен во всем мире благодаря своей работе «Польская нотация», или «Префиксная нотация», - это система записи логических выражений (а также арифметических), когда оператор располагается слева от операндов (аргументов). Впервые новая система была представлена в 1920 году.

«Польская нотация» противопоставляется логическим нотациям Альфреда Уайтхеда и Бертрана Рассела в работе «Principia Mathematica». Несмотря на то, что польская запись не используется в математике, она широко применяется в информатике.

Ян Лукасевич родился в семье офицера австрийской армии во Львове 21 декабря 1878 года. Очень рано увлекся математикой и после окончания школы поступил во Львовский университет, где изучал математику, право и философию.

Во время первой мировой войны Ян Лукасевич переехал в Варшаву, где возглавил одну из двух кафедр логики Варшавского университета. В 1919 году – министр образования Польши, а с 1920 по 1939 – профессор Варшавского университета, и дважды исполнял обязанности ректора. После окончания Второй мировой войны переехал в Дублин, где получил кафедру математической логики в университете.

Скончался Ян Лукасевич в Дублине от сердечного приступа в 1956 году.

ds