Туэ Полусистема

если - алгебраич. Иррациональность, и сколь угодно мало, то существует лишь конечное число целых решений . И q>0 (ри qвзаимно просты) неравенства Эта теорема является наилучшей в своем роде - число 2 в показателе степени уменьшить нельзя. Т.-3.-Р. Т. Есть усиление теоремы Лиувилля (см. Лиувилля число). Результат Лиувилля последовательно усиливали А. Туэ [1], К. Зигель [2] и, наконец, К. Рот [3]. А. Туэ доказал, что если -алгебраич. Число степени то неравенство имеет лишь конечное число ц..

- метод в теории диофантовых приближений, созданный А. Туэ [1] в связи с проблемой приближения алгебраич. Чисел рациональными числами. Найти величину v=v(n), при к-рой для каждого алгебраич. Числа степени n неравенство (1) имеет коночное число решений в целых рациональных числах ри q, q>0,при любом и бесконечное число решений при любом А. Туэ показал, что Т. М. Основан на свойствах специального многочлена j(x, у )от двух переменных х, у с целыми коэффициентами и предположении существован..

- ассоциативное исчисление, названное по имени А. Туэ, к-рый впервые сформулировал проблему распознавания равенства слов в ассоциативных системах (проблема Туэ, см. [1]). Если при задании Т. С. Допустимыми подстановками считать только подстановки правых частей соотношений вместо левых частей (т. Е. Исключить обратные подстановки), то получим полусистемы Туэ (полу-Туэ системы, или системы подстановок), к-рые фактически совпадают также с локальными канонич. Системами Поста. Каждая Т. С. Может ра..

- название, закрепившееся за вычислительными машинами абстрактными нек-рого точно охарактеризованного типа. Концепция такого рода машины возникла в середине 30-х гг. 20 в. У А. М. Тьюринга [1] в результате произведенного им анализа действий человека, выполняющего в соответствии с заранее разработанным планом те или иные вычисления, т. Е. Последовательные преобразования знаковых комплексов. Анализ этот, в свою очередь, был осуществлен им с целью решения назревшей к тому времени проблемы поиска т..