Пост (Post) Эмиль Леон (11.2.1897, Августов, Польша, — 21.4,1954, Нью-Йорк), американский математик и логик. Читал лекции по математике и логике в Колумбийском, Нью-Иоркском и др. университетахСША. Им получен ряд фундаментальных результатов в математической логике; одно из наиболее употребительных определений понятий непротиворечивости и полноты формальных систем (исчислений); доказательства функциональной полноты и дедуктивной полноты (в широком и узком смысле) исчислениявысказываний; изучение систем многозначной логики с более чем 3 значениями истинности; одно из первых (независимое от А. М. Тьюринга) определении понятия алгоритма в терминах «абстрактной вычислительной машины» и формулировка основного тезиса теории алгоритмов о возможности описать любой конкретный алгоритм посредством этого определения; результаты о выразимости общерекурсивных функций и предикатов через примитивно рекурсивные, в частности т. н. теорема о нормальной форме; первые (одновременно с А. А. Марковым) доказательства алгоритмической неразрешимости ряда проблем математической логики и алгебры и др.
Калинчак Ян Калинчак (Kalinčiak) Ян (10. Кенкеме, Кэнкэмэ, река в Якутской АССР, левый приток р. «Коммунист» (газета Азербайджанской ССР на азерб. яз.) «Коммунист», республиканская ежедневная газета Азербайджанской ССР на азербайджанском языке. Кремлёвские куранты, часы с боем, установленные на Спасской башне Московского Кремля. Ларрей Доминик Жан Ларрей, Ларре (Larrey) Доминик Жан (8.7.1766, Бодеан, Верхние Пиренеи, — 1. Луве де Кувре Жан Батист Луве де Кувре (Louvet de Couvray) Жан Батист (12. Масхарабоз (тадж. — шут, скоморох), актёр таджикского народного театра, площадной комедиант. Мисти (Misti), действующий вулкан в Западной Кордильере (Анды), на Ю. Надвоицы, посёлок городского типа в Сегежском районе Карельской АССР. Ножовка, 1) ручная пила, у которой рабочим органом служит ножовочное полотно. Ортогональность (греч. orthogōnios — прямоугольный, от orthos — прямой и gōnia — угол), обобщение (часто синоним) понятия перпендикулярности. Первичноротые (Protostomia), группа беспозвоночных животных, включающая плоских червей (Plathelminthes), первичнополостных червей (Nemathelminthes), немертин (Nemertini), кольчатых червей (Annelides), моллюсков (Mollusca) и членистоногих (Arthropoda). Покровные кости, кожные, или вторичные, кости, кости позвоночных животных, возникающие без прохождения хрящевой стадии непосредственно из скопления клеток скелетогенной мезенхимы, которые затем становятся остеобластами и образуют кость. Промысловое судно, рыбопромышленное судно для добычи и обработки рыбы, а также китов, морского зверя и др. Редоксметрия, группа методов количественного химического титриметрического анализа, основанного на применении окислительно-восстановительных реакций (см. Саго (малайск. sagu), крупа из крахмала. Натуральное С. Сердюков Анатолий Иванович Сердюков, Степуро- [22. Солдатский, посёлок городского типа, центр Нижнечирчикского района Ташкентской области Узбекской ССР.