деля
31гёделя теорема — важнейший результат, полученный австрийским логиком и математиком К. Гёделем (1906 1978). В 1931 г. в статье О формально неразрешимых предложениях Principia Mathematica и родственных систем Гёдель доказал теорему о неполноте: если система Z… …
32Мо́деля среда́ — (Л.М. Модель, 1888 1962, советский микробиолог) жидкая синтетическая питательная среда для выращивания микобактерий туберкулеза, содержащая в качестве основных компонентов оксалат аммония и глицерин …
33Ри́деля опера́ция — (V. Riedel) хирургическая операция, применяемая для лечения хронического фронтита или обширного повреждения лобной пазухи, заключающаяся в полном удалении ее передней и нижней стенок, тщательном выскабливании слизистой оболочки пазухи и… …
34Ри́деля разре́з — (B.M.K.L. Riedel, 1846 1916, немецкий хирург) продольный разрез через прямую мышцу живота в области надчревья для доступа к органам верхней части брюшной полости …
35Ри́деля стру́ма — (B.M.K.L. Riedel, 1846 1916, немецкий хирург; син.: зоб каменный, зоб фиброзный, Риделя тиреоидит, струма деревянистая, струма твердожелезная, струмит железо подобный, тиреоидит фиброзный) хронический тиреоидит, характеризующийся первичным… …
36Ри́деля тиреоиди́т — (B.M.K.L. Riedel, 1846 1916, немецкий хирург) см. Риделя струма …
37Стру́ма Ри́деля — см. Риделя струма …
38Ше́деля зажи́м — (Schedel) инструмент для прикрепления операционного белья к краям раны, представляющий собой пластинчатый пинцет с перекрещивающимися губками, концы которых иглообразно заострены …
39ГЁДЕЛЯ ИНТЕРПРЕТАЦИЯ — интуиционистской арифметики специальная операция, переводящая формулы интуиционистской арифметики в формулы вида где наборы переменных по вычислимым функциям специального вида. При этом выводимые формулы переводятся в истинные формулы в смысле… …
40ГЁДЕЛЯ ТЕОРЕМА О НЕПОЛНОТЕ — общее название двух теорем, установленных К. Гёделем [1]. Первая Г. т. о н. утверждает, что в любой непротиворечивой формальной системе, содержащей минимум арифметики ( знаки и обычные правила обращения с ними), найдется формально неразрешимое… …
