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