Цікава інформація + логічна задача

Виявляється, світова математична силогістика починається з українця П. С. Порецького. 3 (15) жовтня 1846 р. в Єлизаветграді в родині військового лікаря побачив світ Платон Порецький — математик, астроном.


Виявляється, світова математична силогістика починається з українця П. С. Порецького.
 
3 (15) жовтня 1846 р. в Єлизаветграді в родині військового лікаря побачив світ Платон Порецький — математик, астроном.
 
Блискуче зі ступенем кандидата закінчив фізико-математичний факультет Харківського університету в 1870 році за спеціальністю астроном і, як кращий випусник, був залишений професорським стипендіатом при кафедрі астрономії, на якій працював три роки (1871–1874).
 
Потім Порецького відрядили до обсерваторії Пулково, включили в експедицію до Астрахані для спостережень Венери. Подальше життя і наукова діяльність Платона Сергійовича пов’язані з Казанським університетом (1876–1889).
 
25 травня 1886 року він захистив дисертацію на ступінь магістра астрономії. Радафізико-
математичного факультету «ввиду выдающихся достоинств работы» клопоталась про присудження йому ступеня доктора астрономії, якої Порецький удостоївся.
 
У час дозвілля переконаний холостяк Платон Порецький переклав Беранже, його хобі стала математична логіка. П. С. Порецький — перший український учений, який почав читати лекції з математичної логіки та її застосування до теорії ймовірностей. Ось приклад логічної задачі Порецького «О девицах».
 
 
Задача Порецького «О девицах»
 
«Относительно девиц, бывших на одном балу, имеются следующие 14 посылок:
  1. каждая из девиц была или благовоспитана (а), или весела (b), или молода (с), или красива (d);
  2. когда начались танцы, то оказалось, что все нетанцующие девицы были некрасивы и что каждая из танцующих была или молода, или весела, или благовоспитана;
  3. в другой момент, когда все пожилые девицы образовали отдельный кружок, о каждой из прочих девиц можно было сказать, что она или красива, или весела, или благовоспитана;
  4. если выделить всех девиц немолодых и некрасивых, то останутся только благовоспитанные и веселые девицы;
  5. если выделить всех девиц невеселых, то останутся благовоспитанные молодые и красивые;
  6. на балу вовсе не было таких девиц, которые, обладая молодостью и веселостью, не обладали бы в то же время ни красотой, ни благовоспитанностью;
  7. между молодыми девицами не было таких, которые, обладая красотой и веселостью, были бы не благовоспитаны;
  8. каждая благовоспитанная девица была или молода, или весела, или красива;
  9. все девицы, соединявшие красоту с благовоспитанностью, были одни веселы, другие молоды;
  10. каждой невеселой девице не доставало или молодости, или красоты, или благовоспитанности;
  11. все те веселые девицы, которые, не отличаясь молодостью, обладали благовоспитанностью, были красивы;
  12. немолодые девицы были одни не благовоспитанны, другие не веселы, третьи некрасивы;
  13. между некрасивыми девицами не было таких, которые с благовоспитанностью соединяли бы молодость и веселость;
  14. когда уехали все неблаговоспитанные, все немолодые, все невеселые, все некрасивые девицы, никаких девиц на балу более не осталось.
 
Узнать, возможна ли подобная задача, нет ли между ее посылками противоречий? Если задача возможна, описать точно весь состав («мир») девиц бала и определить соотношение между различными их категориями».
 
Ось як закручено, чи не так?
 
Помер Порецький 9 (22) серпня 1907 року в с. Жовідь на Чернігівщині.
Dounload PDF

Відгуки читачів