К столетию открытия недвузначной логики

Прежде, чем рассказать в одной из следующих статей о бесконечнозначной или, как её ещё называют, непрерывной логике (НЛ) и её роли в развитии современных технологий, хотелось бы рассказать о её первооткрывателе – знаменитом польском логике и философе-позитивисте Яне Лукасевиче (1878-1956). Всё, что было сделано после него, представляет собой больше вклад прикладной, чем теоретический. Забегая вперёд, отмечу, что всё многообразие нашего бытия подчиняется законам НЛ. НЛ нередко путают с теорией вероятности (ТВ). Хотя между НЛ и ТВ существует связь, но это совершенно различные математические дисциплины: ТВ работает с пределами частоты многократных событий и их совокупностей на протяжение неограниченного времени, а НЛ работает с тем, что мы называем «миг между прошлым и будущим»: логический исполнитель не накапливает статистику. Например, утверждение, что при двух выстрелах из разных орудий вероятности попадания складываются, с точки зрения НЛ является неуместным: второго выстрела просто не будет. Впрочем, обо всём по порядку.

Ян Лукасевич родился в 1878 году семье австрийского капитана в городе Львов. В то время Львов назывался Лембергом и был столицей Галиции, отнятой австрийцами в 1792 году у Речи Посполитой. Католики-поляки охотно служили в австрийской армии, противопоставляя себя православной составляющей края. Его мать Леопольдина, урождённая Хольтцер, была австрийкой, и маленький Ян с детства, кроме польского, свободно владел и немецким языком. Ещё в школе Ян интересовался математикой, однако, повинуясь воле родителей, поступил в львовскую филологическую гимназию. Сразу по окончанию гимназии в 1897 году он поступает в Львовский университет на факультет права и философии.

В 1902 году Лукасевич блестяще защищает докторскую диссертацию на тему «Индукция, как инверсия дедукции», руководителем этой работы был его творческий наставник Казимир Твардовский. В 1905 году, как стипендиат львовского университета, Лукасевич продолжает обучение в Берлине.

В 1906 году Лукасевич получил должность приват-доцента философии в Львовском университете, в 1911 – должность профессора. На этой должности в 1912-1914 годах преподавал аксиологию и исчисление правдоподобий. Позже в годах 1914-1915 преподавал логику, общую методологию, историю философии, а также невиданную среди студентов-славян теорию реляции множеств, служащую в настоящее время одной из основ теории баз данных.

По мнению Я. Лукасевича тогдашняя мировая философия задержалась в развитии. Не пришла она к отправным понятиям, как другие позитивные науки. Причиной этого, по мнению Лукасевича, являлось отсутствие научного метода. Даже такие большие философы, как Кант, считал он, основывали свои теории на ошибочных логических выкладках. Единственным выходом из тупика согласно Лукасевичу была разработка однозначного и точного научного метода – языка, с помощью которого можно бы было описывать философские задачи, которые ставились непонятными и волюнтаристскими способами. Более того, именно в это врем, в 1912-1913 годах Лукасевичу становится ясно, что никакая наука, опираясь только на двузначную логику, не способна решать общечеловеческие проблемы. В «львовский» период Я. Лукасевич публикует ряд основополагающих работ, более-менее полный список которых можно найти здесь .

Благодаря публикациям и блестящим лекциям, известность молодого профессора среди математиков быстро возрастала. В ноябре 1915 года после отступления русских войск в Варшавском университете возобновилось преподавание на польском языке, и Лукасевича приглашают занять в нём должность экстраординарного профессора философии.

Кроме преподавания, Лукасевич активно включается в административную работу, так как Вторая Республика нуждалась в образованных специалистах. В 1919 г. Лукасевич занимал должность министра просвещения в правительстве Второй Республики, возглавляемым Игнатием Падеревским. На этой должности он настойчиво добивался огосударствливания средних школ и доступности высшего образования для выходцев из рабочей среды. Лукасевич избирался деканом факультета философии, проректором (1918 г), а также дважды избирался ректором (1922-1923 и 1931-1932 годы) Варшавского университета.

«Варшавский» период Лукасевича был особенно плодотворным. Самой исчерпывающе-законченной публикацией о многозначной логике была статья «Численная интерпретация теории высказываний», написанная им совместно с Тарским в 1922 году.

В «варшавский» период Лукасевич совместно с Лесьневским (тем самым, который в 1920 году руководил ломкой кодов РККА) и Тарским основывают Варшавскую школу логики. В 1928 году Лукасевич пишет знаменитую работу «Элементы математической логики». На английском языке эта работа появилась только в 1963 году. :) В 1937 году Лукасевич организует Польское сообщество логиков и до самой войны является его председателем.

Незадолго до Второй мировой войны Лукасевич женился на Регине Барвинской, которая навсегда разделила с ним его судьбу. Именно она опубликовала автобиографию Яна, написанную им в 1953 году.

В период немецкой оккупации Лукасевич, благодаря совершенному знанию немецкого, работал в варшавском архиве. Немцы в 1939 году закрыли все высшие учебные заведения в Польше. Поэтому Лукасевич, как профессор, гражданин и поляк, с риском для жизни подпольно преподавал бывшим студентам университета математическую логику. На его квартире также проходили и научные собрания.

Приближалось время советизации Польши, и Лукасевич об этом знал, возможно, лучше всех. Убеждённый приверженец принципа свободы воли Лукасевич начал искать способ покинуть Польшу. Случай представился. Не все немцы были ярыми нацистами и считали славян недочеловеками. Покинуть Польшу помог профессор Мюнхенского университета Г. Шольц. В 1944 году по поддельным документам Я. Лукасевич вместе с женой выезжает из Варшавского генерал-губернаторства в Рейх с целью перебраться в Швейцарию. Там по задуманному коллегами плану о нём должен был позаботиться профессор Цюрихского университета Ф. Гонсет. Однако, стремительно развивающиеся военные действия вынудили Я. Лукасевича оставаться на нелегальном положении в Мюнхене ещё почти год. Из Мюнхена удалось выбраться только в апреле 1945 года, и Лукасевич перебирается в городок Гембсен; его приютил коллега-немец фон Кемпски. В Гембсене Лукасевич попадает в руки к американцам. К тому времени Я. Лукасевич уже был широко известен, как логик-математик, и американцы не стали препятствовать намерению Я. Лукасевича не возвращаться в Польшу. В октябре 1945 г. Я. Лукасевич получает место преподавателя в Брюссельском университете, где проработал ещё год, читая лекции польским студентам, покинувшим послевоенную Польшу. Наконец, в 1946 году Королевская Ирландская Академия приглашает Я. Лукасевича в Дублин, где до конца своей жизни он занимался исследованиями в области математической логики. Именно в Дублине и была написана самая знаменитая его монография «Силлогизм Аристотеля с точки зрения современной математической логики» («Aristotiles syllogistic from the standpoint of modern formal logic», есть на Амазоне ).

Для своих исследований, чтобы не тратить много бумаги, Лукасевич изобрёл самую короткую запись логических вычислений. По существу он изобрёл безадресную вычислительную машину, используемую и по сей день. Эта запись так и называется: польская бесскобочная нотация. В настоящее время стеки протоколов работают именно в этой нотации. Кто к ней привыкает, тот не может без неё обойтись.

Практически все современные математики, работающие в области поливалентных логик, в той или иной степени – ученики Лукасевича. Ни одна диссертация по математической логике и по сей день не обходится без цитирования Лукасевича и/или его прямых учеников. Во всяком случае я не нашёл.

Несмотря на сверхзанятось, Лукасевич был страстным популяризатором научных знаний. Его статьи, такие как «О творчестве в науке» (1912), «О понятии величины», «О науке (в помощь самообучающемуся)» (1915), «Двузначная логика» (1921), «История логики высказываний» (1934) и многие другие – это шедевры научной прозы. Их можно найти здесь, к сожалению, не на русском языке.

Лукасевич умер в 1956 году и похоронен в Дублине. Но наследие его невозможно переоценить.

Версия для печатиВерсия для печати

Рубрики: 

  • 1
  • 2
  • 3
  • 4
  • 5
Всего голосов: 0
Заметили ошибку? Выделите ее мышкой и нажмите Ctrl+Enter!

Комментарии

Страницы

Аватар пользователя Al

Конечно неправ. Так коньяк (изысканый) не пьют! )))

Аватар пользователя Petro42

сравнивать Семена Бучкина и Зиновьева просто нельзя...

Может и Быков вам не годится?:-) Букчин - наш современник, наш человек, он понятен и прост, а книги Зиновьева, с его научным анализом всего вокруг слишком академичны, громоздки и монотонны. Самого объекта анализа и критики (той страны и системы) для чего, собственно и писано, давно нет. Кто читать будет о том, чего нет?

Из современных писателей я открыл для себя лишь несколько имен - это, пожалуй, Бушков и Глуховский...

Вы бы ещё Маринину открыли... 

Бушков сделал имя на "России, которой не было" и на "Пиранье". А нынешнее его творчество, в русле редакционных требований "Олма-пресс" трудно назвать эпохальным явлением. 

Дима Глуховский написал только пару книг, судьба которых оказалось удачной и сейчас занимается продвижением вселенной "Метро" в массы. 

Классиками современной русской литературы эти ребята не стали. Им никогда не подняться, например, до уровня Бориса Акунина. Хотя тоже "попса", но уже кое-где стоит в школах, как рекомендованный автор для внеклассного чтения. 

Минаева, конечно, изучать не будут, но вспомнят, поскольку Dixless стал явлением в современной литературе. Потерянное время, потерянные люди... Ничего не напоминает?

Я подскажу, что-то от Тургенева, что-то от Достоевского. Только сделано на нынешний лад, да так, что книгу сразу поняли миллионы белых воротничков во всём СНГ... Ну, можно этого не понимать, но, почему бы не признать, поскольку "Повесть о ненастоящем человеке" - одна из самых продаваемых книг в СНГ (десятки миллионов единиц тиража)...? Кино сняли... Значит, есть в этом что-то? Значит, нужно людям? Или все, кругом вас, дураки?

Почему Чубарьян? Ну так, "Полный root" же. Единственный фанстастический (вдобавок, популярный) молодёжный "киберпанк" на тему искусственного интеллекта за последнее десятилетие. Опять же, по теме нашего издания. :-) Ну и не пишут у нас об этом, как ни странно. Кстати и на западе эта тема, после Гибсона и его "Нейроманта" редко всплывала, разве что в "Матрице".

Вообще, вы читаете что-нибудь нынешнее, следите за вручением литературных премий, хотя-бы за Пулитцером или за русским Букером? Или только методички НАН читаете? Так и мхом зарасти недолго...

Аватар пользователя mike

Вообще, вы читаете что-нибудь нынешнее, следите за вручением литературных премий, хотя-бы за Пулитцером или за русским Букером? Или только методички НАН читаете? Так и мхом зарасти недолго...

А Вы что-нибудь читаете по математической логике? Следите за её развитием? Знаете, например, что такое "теория свидетельств"? Так и мхом зарасти недолго... :))

Аватар пользователя Petro42

Знаете, например, что такое "теория свидетельств"

Демпстера-Шафера? В первый раз от вас услышал. :-) 

А Вы что-нибудь читаете по математической логике?

Там - большие белые пятна. Поэтому, пишу только о том, что знаю:-)

Аватар пользователя mike

 А я только что пробежал "Повесть о ненастоящем человеке". ИМХО дермецо-с. Думается, и сам такое сотворить могу. Без булды. Но не стану -- времени жалко. А вот, как Довлатов, -- не смогу точно.

Аватар пользователя Petro42

"Это вряд ли" (с). Иначе были бы у вас слава, премии, награды, дача на Рублёвке, дорогой спорткар и солидный банковский счёт. Ваше мнение ценили и учитывали бы власть имущие. Ваши книги распиливали бы на цитаты. Ну и мы бы знали. :-) А так...:-) Но мы, между прочим, ценим вас таким, какой вы есть. Это не так мало. А говорить, оно, да, легко...

«Александра Дюма тоже считали автором, который производит "легкое чтиво", и говорили, что его завтра забудут. Но мы все его читаем, я сам зачитывался его книгами до безумия» (с) Владимир Путин.

Трудно просчитать чего хочет читатель. Возможно, вы напишете замечательную и жизненную, стилистически выверенную книгу. А её возьмут и не заметят. А "взлетит" какой-нибудь современный роман, написанный в жанре Твиттер-сообщений. 

Время сжимается и читателю и писателю сейчас выгоднее быстрее добраться до сути, книги пишутся более простым и доходчивым языком. У каждого времени - свои песни.

Отсюда вывод - ваши критерии качества литературных творений отнюдь не полны. Может быть, с точки зрения нынешнего поколения читателей, они даже несколько ущербны. 

Творчество - это озарения, креативные идеи. Тот, кому удалось удивить  и даже шокировать (по хорошему, конечно), читателя, может добиться успеха, недоступного остальным, даже тем, кто много и трудно работал над словом. 

В общем, это не надо понимать, а лучше спокойно принять, не утруждая себя разбором и забыв о том, что сто лет назад книги были лучше, а трава - зеленее. Читатель проголосовал рублём. И голосует до сих пор, наплевав на моралистов. Этого мало? Думаю, понимающему - достаточно. 

 

Аватар пользователя mike

"Это вряд ли" (с). Иначе были бы у вас слава...

Согласен. "Любит наш народ" (с)"Ленинград". Впрочем, я писал: "ИМХО". Кстати,  "Полный root" -- тоже то же. ИМХО. Не втыкает.

...Мы, между прочим, ценим вас таким, какой вы есть.

Ой, не надо за всех-то...

Аватар пользователя Petro42

Ой, не надо за всех-то...

Только за актив:-)

Не втыкает.

Но, попробовали же?

Аватар пользователя mike

ваши критерии качества литературных творений отнюдь не полны. Может быть даже, с точки зрения нынешнего поколения читателей, они даже несколько ущербны.

А зачем мне "точки зрения нынешнего поколения читателей"? Я свою желаю иметь. И точку, и жену.

Творчество - это озарения, креативные идеи.

Творчество - это прежде всего тяжкий труд, без него нет озарения. Думаю,  Моруа о Дюма вы читали.

Читатель проголосовал рублём. И голосует до сих пор, наплевав на моралистов.

Ещё раз: истина где-то здесь.

Аватар пользователя Petro42

Ещё раз: истина где-то здесь

А мы - часть народа. Декабристов погубил как раз тот факт, что они не принимали народ всерьёз. Народ - он везде. У них есть Бегбедер, Дэн Браун и Голливуд. У нас - свои и "Мосфильм". И снова, народ плевал на моралистов, смотрит и читает то, что ему интересно. 

Творчество - это прежде всего тяжкий труд

Труд, который может не дать эффекта, если не угадаете точку приложения. Вы ведь помните, кто написал воспоминания Дартаньяна и как он закончил?

А зачем мне "точки зрения нынешнего поколения читателей"?

Но она ведь не может быть единственно верной и непогрешимой? 

Думаю,  Моруа о Дюма вы читали.

"Три Дюма"? Да, в школе. Именно Моруа сказал, что самый честный критик - это время. Зиновьева забыли. Кого-то из нынешних авторов тоже ждёт забвение. Но, кто-то, останется. 


Страницы