В смыслье машины тьюринга, тоесть такой алгоритм есть, но в конечном виде мы его записать не можем, это алгоритм а не число
Так как же мы вычисляем полное значение pi, если вычисление никогда не заканчивается
Алгоритм — это и есть машина Тьюринга по определению. И они оба по определению конечны. 🤷♀️
Извлекаем свойства какие-то
И как Вы намерены извлечь свойство равенства π самому себе? 😏
Если только рассуждать так: у нас есть 3 и есть множество порядковых чисел, равное множеству натуральных чисел N. И если представить, абстрактно, что мы вычисляем на порядке, большем любого n : N, то вычисление получится. И что это за машина такая? Которая позволяет вычислять в актуально бесконечных интервалах.
Обсуждают сегодня