Большая Советская Энциклопедия (ТИ) - Большая Советская Энциклопедия "БСЭ". Страница 28
Однако математика, построенная на базе Т. т., оказывается, как показывает внимательный анализ, существенно более бедной, чем обычная классическая математика. Поэтому Рассел ввёл в свою систему так называемую аксиому сводимости, постулирующую, грубо говоря, для каждого множества (предиката) 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 месяца. Личинки прогрызают в коре частые, слегка извилистые, ходы, обычно не заходящие в заболонь. В июле — начале августа самки откладывают яйца. Зимуют обычно жуки и личинки под корой, в лесной подстилке и в др. укрытиях. В северных и горных лесах у Т. одна генерация, на юге и при высоких летних температурах в зоне смешанных лесов — две. Меры борьбы: создание смешанных насаждений, рубки ухода, окорка и обработка химическими веществами срубленной древесины, выкладка певчих деревьев, применение химических средств защиты насаждений от Т.
Типография
Типогра'фия (от греч. týpos — отпечаток и grápho — пишу), полиграфическое предприятие, выпускающее печатную продукцию в основном способом высокой печати (типографской). Т. часто называются также полиграфические предприятия, где применяется офсетная печать и глубокая печать .
Технологический процесс воспроизведения рукописей и иллюстраций в Т. состоит из трёх этапов: изготовления форм , печатания тиража на машинах и, в зависимости от вида изданий, выполнения брошюровочных, брошюровочно-переплётных или отделочных работ. В соответствии с этим Т. имеют цехи основного производства: формные (наборные, фотоцинкографские, стереотипные, изготовления офсетных форм или форм глубокой печати), печатные и брошюровочно-переплётные. Кроме того, есть вспомогательные службы — ремонтно-механические цехи, складское хозяйство, лаборатории и прочее. Каждый цех состоит из отделений и участков, где выполняются определённые группы операций производственного процесса. Многие средние и все мелкие Т. не имеют цеховой структуры и состоят из отделений и участков.
В СССР в 1974 функционировало около 4000 Т., подразделяющихся по мощности на крупные, средние и мелкие, а по значению — на союзные, республиканские, краевые, областные, межрайонные и районные. Наиболее мощные — Т. союзного значения; обычно специализируются на выпуске 1—2 видов изданий (например, книг, книг и брошюр, центральных газет и журналов, листовой изопродукции и т. п.), Республиканские Т. в отличие от союзных имеют меньший объём производства. Краевые и областные Т. более универсальны, чем республиканские, печатают продукцию в основном местных издательств и организаций (краевые и областные газеты, книги и т. п.). Некоторые из них получают матрицы (см. Стереотипия или изображение полос по фототелеграфу из союзных Т. и печатают центральные газеты. Межрайонные и районные Т. выпускают небольшие тиражи районных газет, бланки и др. продукцию для нужд района.
Крупные Т. (большинство союзных и некоторые республиканские), использующие два или три вида печати, называются полиграфическими комбинатами (например, Минский, Саратовский, Калининский, Ярославский и др.). Если на предприятии преобладает офсетная или глубокая печать, то оно именуется фабрикой (фабрика офсетной печати, картографическая фабрика и т. п.). На базе крупных Т. создаются полиграфические производственно-технические объединения.
Большинство Т. подчинено Госкомиздату СССР и госкомиздатам союзных республик. Кроме того, Т. имеют партийные, советские, профсоюзные и комсомольские органы, а также некоторые министерства, ведомства, учреждения и т. п. Об истории развития и современном состоянии полиграфического производства в СССР и за рубежом см. в статьях Книгопечатание , Полиграфия . Сведения о технологическом оборудовании Т. приведены в статьях Наборные машины , Печатная машина , Брошюрование , Полиграфическое машиностроение .