БСЭ БСЭ - Большая Советская Энциклопедия (ТЬ)

К. Маркс высоко оценивал работу Т. по истории третьего сословия, называл Т. «... отцом ''классовой борьбы'' во французской историографии...»; вместе с тем он вскрыл буржуазную сущность концепции Т. о единстве третьего сословия, об отсутствии исторических корней антагонизма внутри него (Маркс К. и Энгельс Ф., Соч., 2 изд., т. 28, с. 321).

Соч.: Œuvres complètes, v. 1—10, P., 1851; в рус. пер. — Избр. соч., М., 1937.

Лит.: Плеханов Г. В., О. Тьерри и материалистическое понимание истории, Соч., т. 8, М. — П., 1923; Алпатов М. А., Политические идеи французской буржуазной историографии XIX в., М. — Л., 1949, с. 61—84; Реизов Б. Г., французская романтическая историография, Л., 1956, гл. 4; Косминский Е. А., Историография средних веков, М., 1963, с. 370—82.

А. И. Молок.

О. Тьерри. Литография работы Э. Лассаля. Кабинет эстампов. Лувр. Париж.

Тьете',Тиете (Tietê), река на Ю.-В. Бразилии, левый приток р. Парана. Длина 1120 км, площадь бассейна 71,9 тыс. км 2. Берёт начало на северо-западных склонах хребта Серраду-Мар, течёт по Бразильскому плоскогорью. Много порогов, перед устьем — водопад Итапура (высота 22 м ) . Летние паводки. Средний расход воды в нижнем течении около 620 м 3/сек. В верхней части бассейна построены ГЭС, водохранилища. На Т. — г. Сан-Паулу.

Тьма,в старинном русском счёте 10 тыс.; тьма тем — 100 тыс. В переносном значении Т. — неисчислимое множество.

Тьо'урсау,река на Ю.-З. Исландии. Длина 230 км (самая длинная в стране), площадь бассейна 7530 км 2 (в том числе около 1200 км 2 покрыто ледниками). Берёт начало на плато в центре страны (ряд правых притоков — от края ледника Хофс-йёкудль), течёт, образуя многочисленные водопады (на притоке Т. — р. Фоссау водопад Хауифосс, высота около 130 м, самый большой в Исландии), впадает в Атлантический океан. Средний расход воды 390 м 3/сек; зимой в верхнем течении замерзает. В среднем течении — ГЭС Бурфедль (мощность 210 Мвт ) .

Тью'ринг(Turing) Алан Матисон (23.6.1912, Лондон, — 7.6.1954, Уилмслоу, близ Манчестера), английский математик. Член Королевского общества (1951). По окончании Кембриджского университета (1935) работал над докторской диссертацией в Принстонском университете в США (1936— 1938). В 1939—45 сотрудник Британской иностранной службы, в 1945—48 — Национальной физической лаборатории, в 1948—54 — Манчестерского университета. Основные работы по математической логике и вычислительной математике; в 1936—1937 ввёл математическое понятие уточнённого абстрактного эквивалента алгоритма, или вычислимой функции (получившее впоследствии название Тьюринга машина ) ; в последние годы жизни работал над математическими проблемами биологии.

Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957; Машины Тьюринга и рекурсивные функции, пер. с нем., М., 1972; Трахтенброт Б. А., Алгоритмы и вычислительные автоматы, М., 1974; Апокин И. А., Майстров Л. Е., Развитие вычислительных машин, М., 1974.

Тью'ринга маши'на,название, закрепившееся за абстрактными (воображаемыми) «вычислительными машинами» некоторого точно охарактеризованного типа, дающими пригодное для целей математического рассмотрения уточнение общего интуитивного представления об алгоритме. Концепция такого рода машины сложилась в середине 30-х гг. 20 в. у А. М. Тьюринга в результате произведённого им анализа действий человека, выполняющего в соответствии с заранее разработанным планом те или иные вычисления, то есть последовательные преобразования знаковых комплексов.

Т. м. удобно представлять в виде некоторого автоматически действующего устройства, способного находиться в конечном числе внутренних состояний и снабженного бесконечной внешней памятью — лентой. Среди состояний имеются два выделенных — начальное и заключительное. Лента разделена на клетки (ячейки) и не ограничена влево и вправо. В каждой клетке ленты может быть записан любой из символов, входящих в некоторый заранее заданный перечень (ради единообразия считают, что в пустой клетке записана «пустая буква»). В каждый момент времени Т. м. находится в одном из своих состояний и, рассматривая (посредством специального устройства) одну из клеток своей ленты, воспринимает записанный в ней символ. Если в текущий момент времени Т. м. находится в не заключительном состоянии, то в следующий за ним момент: 1) она переходит в новое состояние, быть может совпадающее со старым, или заключительное; 2) в рассматриваемой клетке старый символ заменяется новым, быть может пустым или совпадающим со старым; 3) лента машины сдвигается на одну клетку влево или вправо либо остаётся на месте. Этот шаг Т. м. вполне определяется её текущим состоянием и текущим воспринимаемым символом. Таблица, содержащая полное перечисление возможных шагов данной Т. м., называется программой этой машины.

Текущее полное описание Т. м. даётся её конфигурацией, которая состоит из указания для данного момента следующей информации: 1) конкретного заполнения клеток ленты символами, 2) клетки, находящейся в поле зрения машины, 3) состояния, в котором машина находится.

Если у данной Т. м. взять в качестве исходной какую-либо конфигурацию с не заключительным состоянием, то работа этой машины будет заключаться в последовательном, шаг за шагом, преобразовании исходной конфигурации в соответствии с программой машины до тех пор, пока не будет достигнута конфигурация с заключительным состоянием. Эта последняя, если она существует, и считается результатом работы данной Т. м. над исходной конфигурацией.

Имеются серьёзные основания считать, что понятие Т. м. доставляет адекватное уточнение общего представления об алгоритме, то есть что всякий алгоритм может быть промоделирован подходящей Т. м. Соответствующее соглашение известно в алгоритмов теории под названием тезиса Тьюринга. Теория Т. м. даёт удобный рабочий аппарат для многих исследований, требующих точного понятия алгоритма. В частности, ввиду естественности совершаемых ими шагов, Т. м. стали объектом пристального внимания в теории сложности алгоритмических вычислений. В ходе развития теории Т. м. рассматривались различные их обобщения: например, Т. м. с более общим типом лент, с несколькими лентами, а также недетерминированные Т. м.

Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957; Мендельсон Э., Введение в математическую логику, пер. с англ., М., 1971.

Н. М. Нагорный.