На головну сторінку

Материнська любов - ніжне і самовіддане відношення матері до своїх дітей. Одна бідна мати не спала. Вона приникла до узголів'я дорогих сини своїх, що лежали рядом; вона розчісувала гребенем їх молоді, недбало всклокоченні кучері і змочувала їх сльозами; вона дивилася на них вся, дивилася всіма почуттями, вся перетворилася в один зір і не могла надивитися... "Сини мої, сини мої милі! Що буде з вами? Що чекає вас?" - говорила вона, і сльози зупинилися в зморшках... Її сини, її милих сини беруть від неї, беруть для того, щоб не побачити їх ніколи! (Н. Гоголь, Тарас Бульба) Материнська любов з пекла вимолит. F63.1 Патологічні підпали (піроманія). - А. Одін або більше за підпали або спроби підпалів без видимих мотивів. Б. Індівідуум описує сильний потяг до підпалів з відчуттям напруженості перед цим актом і полегшенням після нього. В. Індівідуум в думках стурбований підпалами і обставинами, пов'язаними з цим актом (наприклад, пожежними машинами або викликом пожежної команди). Заколисування - Син.: Хвороба повітряна. Хвороба морська. Виражена вестибулярний і вегетативні, звичайно парасимпатические, реакції у відповідь на перевозбуждение вестибулярний апарату. Виявляється загальною слабістю, головокружінням, блідістю покровних тканин, гиперсаливацией, гипергидрозом, нудотою, блювотою. Категоричні думки - Тип силлогистических думок, в яких для вказівки приналежності терміну до певного класу використовуються квантори "всі", "деякі", "жодні" і "не". (209:). Ефект очевидця - (Bystander effect). Відкриття, згідно з яким людина з меншою імовірністю буде схилений надавати будь-кому допомогу, коли є очевидці.

ПОСТ ЕМИЛЬ ЛЕОН

(Post Emu Leon) (11 лютого 1897, Серпня, Польща - 21 квітня 1954, Нью-Йорк) - американський логік і математик. У 1920 отримав міру доктора філософії в Колумбійськом університеті. Читав лекції по математиці і логіці в цьому університеті і в коледжі НьюЙорка. Професор коледжа з 1938. У дисертації, опублікованій в 1921, Пост виклав метод оцінки пропозициональних формул за допомогою истинностних таблиць. У ній уперше отриманий ряд фундаментальних результатів в металогике для класичної логіки висловлювання: несуперечність, дедуктивна повнота, вирішуваність, функціональна повнота. У цій роботі уперше побудована багатозначна логіка більш ніж з 3 истинностними значеннями і з довільним числом виділених значень. Тут же встановлене, що безліч замкнених класів в класичній логіці рахунково. Після двадцяти років роботи опублікований повний опис гратки замкнених класів, кожний клас будується ефективно, і показаний, що кожний замкнений клас має кінцевий базис. Ці класи названі класами Поста. Уперше визначений критерій функціональної повноти, вживаний зараз для довільної безлічі функцій багатозначної логіки. Алгебраїчний еквівалент багатозначним логікам Поста отримав назву "алгебри Поста", яка інтенсивно розвивається вже протягом полувека. У 1936 незалежно від робіт Тьюрінга, Черча і Кліні уточнене поняття алгоритму в термінах, як би сьогодні сказали, комп'ютерної програми. Т. о., Пост входить в четвірку великих вчених, що практично одночасно усвідомили можливість уточнення загального уявлення про алгоритм. У 1943 Постом було уперше запропоноване загальне поняття числення, що має фундаментальне значення для доказу нерозв'язності ряду проблем математики. У 1944 публікується, мабуть, найбільш впливова робота Поста, де в первинному вигляді викладається теорія мір нерозв'язності, а в 1947 уперше в історії математики (незалежно від А А. Маркова) був вказаний приклад "внутриматематической" нерозв'язної масової алгоритмічної проблеми, а саме проблеми А. Туе (проблема рівності для полугрупп). Пост вважав - і писав об цю К. Геделю, - що за 15 років до революційних геделевских робіт про неповноту, він вже мав ці теореми, хоч і не в такій закінченій формі.
Соч.: Introduction to а general theory of elementary propositions. - "American Journal of Mathematics", 1921, v. 43, № 3 (Перевидане: From Frege to Godel. Cambr. (Mass.), 1967; Finite combinatory processes - formulation (русявий. пер. в кн.: Успенский В. А. Машини Поста. М., 1979); Two-valued iterative systems. - "Annals of Mathematical Studies", 1941, v. 5; Formal reductions of the general combinatorial decision problem. - "American Journal of Mathematics", 1943, v. 65; Recursively enumerable sets of positive integers and their decision problems. - "Bull. Amer. Math. Soe", v. 50, 1944 (Перевидане: The Undecidable, ed. M. Davis. N. Y, 1965); Recursive unsovability of а problem ofThue. - "The Journal of Symbolic Logic", v. 12, 1947 (Перевидане: The Undecidable... 1965)
Ллється.: Кдини С. К. Введеніє в метаматематику. М., 1957; Мальцев А. И.. Итеративні алгебри Поста. Новосибірськ, 1976; Яблонский С. В., Гаврілов Г. П., Кудрявцев В. Б. Функциї алгебри логіки і класи Поста. M.; Davis M. Emil Posts conlributions to computer science. - Proceedings Fourth Annual Symposium on Logic in Computer Science. Wishington, 1989; Dwinger Ph. А survey of the theory of Post algebras and their generalizations. - Modern uses of multiple-valued logic. Dordrecht, 1977.
А. С. Карпенко

Джерело: terme.ru