Большая Советская Энциклопедия (ТИ) - [39]
Однако математика, построенная на базе Т. т., оказывается, как показывает внимательный анализ, существенно более бедной, чем обычная классическая математика. Поэтому Рассел ввёл в свою систему так называемую аксиому сводимости, постулирующую, грубо говоря, для каждого множества (предиката) n- го типа существование эквивалентного ему множества 1-го типа. Но уже для этой аксиомы ни на какое «чисто логическое» обоснование математики, как показал сам Рассел, рассчитывать не приходилось (в силу чего программа логицизма выведения всей математики из «чистой» логики оказывалась невыполнимой).
Лит .: Гильберт Д., Аккерман В., Основы теоретической логики, пер. с нем., М., 1947, гл. 4 и прилож. 1; Ван Хао, Мак -Нотон P., Аксиоматические системы теории множеств, пер. с франц., М., 1963, гл. 1—2, 5—6; Френкель А., Бар-Хиллел И., Основания теории множеств, пер. с англ., М., 1966, гл. 1, 3 (лит.); Andrews Р. В., A transfinite type theory with type variables, Amst., 1965.
Типов теория (в химии)
Ти'пов тео'рия в химии, одна из ведущих химических теорий середины 19 в. В 1839— 1840 Ж. Б. Дюма предложил рассматривать химические соединения как продукты замещения одних элементов или радикалов (см. Радикалов теория ) другими в немногих «типичных» соединениях («старая Т. т. »). В 1853 Ш. Жерар разработал «новую Т. т.» и использовал её для классификации органических соединений. Согласно Жерару, более сложные органические соединения могут быть произведены от следующих основных четырёх типов веществ:
Заменяя в этих формулах атомы Н др.: атомами или радикалами (по Жерару, «остатками»), можно было получить формулы органических соединений всех известных в середине 19 в. классов. Например, к типу водорода относили углеводороды, металлоорганические соединения, альдегиды, кетоны, к типу воды — спирты, кислоты, эфиры, к типу хлористого водорода — моногалоген опроизводные углеводородов, к типу аммиака — амины, амиды, имиды, арсины, фосфины. С 1857 по предложению Ф. А. Кекуле углеводороды стали относить к типу метана.
Т. т. способствовала развитию органической химии, в частности классификации органических соединений. Но её основная мысль — уложить соединения углерода в формулы простейших неорганических соединений — была ошибочной. Вскоре обнаружилась необходимость введения кратных (удвоенных, утроенных и т. д.) и смешанных (составленных из двух и более простых) типов, а также возможность относить соединения одного класса к разным типам (например, альдегиды — к типам водорода и воды). Кроме того, формулы Т. т. выражали не истинное строение соединений, а только сходство некоторых их реакций с реакциями более простых и известных веществ. Поэтому в 1860-х гг. Т. т. стала уступать место классической химического строения теории , созданной А. М. Бутлеровым .
Лит.: Быков Г. В., История классической теории химического строения, М., 1960, с. 17—23.
С. Л. Погодин.
Типовое проектирование
Типово'е проекти'рование, разработка проектов типовых (однотипных) зданий, сооружений, конструкций, деталей и др. изделий, предназначенных для массового строительства или серийного производства. См. Проектирование , Типизация .
Типогенез
Типогене'з (от греч. týpos — отпечаток, форма и... генез ) (биологическое), возникновение в процессе эволюции новых систематических групп высокого ранга. Автор термина «Т.» — немецкий геолог и палеонтолог О. Шиндевольф (1936). Новые группы высокого ранга должны были возникать, по его мнению, не в процессе постепенного развития, а внезапно, скачком. Ошибочная гипотеза Т. была основана на преувеличении значения неполноты палеонтологической летописи.
Типограф
Типо'граф (Ips typographus), жук семейства короедов. Тело длиной 4,2—5,5 мм, коричневый, с отлогой впадиной на скате надкрылий, по бокам которой имеется 4 зубца, поверхность впадины тусклая, покрыта как бы мыльной плёнкой. Распространён в СССР — на Кавказе, Украине, в Сибири и на Дальнем Востоке; в Китае и Корее. Обитает главным образом на лесосеках, гарях, ветровальных участках и по опушкам. Опасный вредитель хвойных пород, особенно ели, а также сосны, пихты, лиственницы. Заселяет весь ствол, но предпочитает участки с толстой корой. В средней полосе и на севере СССР жуки летают в мае — июне, в лесостепных и предгорных районах Украины — во 2-й половине апреля. Развитие личинок и куколок длится 1,5—2 месяца. Личинки прогрызают в коре частые, слегка извилистые, ходы, обычно не заходящие в заболонь. В июле — начале августа самки откладывают яйца. Зимуют обычно жуки и личинки под корой, в лесной подстилке и в др. укрытиях. В северных и горных лесах у Т. одна генерация, на юге и при высоких летних температурах в зоне смешанных лесов — две. Меры борьбы: создание смешанных насаждений, рубки ухода, окорка и обработка химическими веществами срубленной древесины, выкладка певчих деревьев, применение химических средств защиты насаждений от Т.
