В заключительной, четырнадцатой, главе впервые в этой книге вводятся бесконечные системы. Показано, что вещественные числа ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Биркгоф Г.N. Современная прикладная алгебра


В заключительной, четырнадцатой, главе впервые в этой книге вводятся бесконечные системы. Показано, что вещественные числа образуют несчетное множество. Определяется понятие вычислимости, объясняется его связь с машинами Тьюринга. Наконец, понятие машинной вычислимости связывается с некоторыми идеями математической лингвистики и проблемой классификации языков программирования.

(cкачать страницу)

Смотреть книгу на libgen

В заключительной,  четырнадцатой,  главе впервые в этой книге вводятся бесконечные системы.  Показано,  что вещественные числа образуют несчетное множество.  Определяется понятие вычислимости,  объясняется его связь с машинами Тьюринга.  Наконец,  понятие машинной вычислимости связывается с некоторыми идеями математической лингвистики и проблемой классификации языков программирования.