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



Выдержка из книги Гейтинг А.N. Интуиционизм


Я согласен с этим, и все же, если мы просмотрим доказательства теорем арифметики действительных чисел в разделах 2.2.4 и 2.2.5, то мы увидим, что они зависят только от возможности неограниченного продолжения последовательностей; мы нигде не используем того факта, что их продолжение производилось по известному правилу; значит, можно рассматривать их продолжение, не требуя существования такого правила. Идея закона, управляющего образованием последовательности, здесь необязательна и может быть устранена процессом абстрагирования.

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

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

Я согласен с этим,  и все же,  если мы просмотрим доказательства теорем арифметики действительных чисел в разделах 2.2.4 и 2.2.5,  то мы увидим,  что они зависят только от возможности неограниченного продолжения последовательностей;  мы нигде не используем того факта,  что их продолжение производилось по известному правилу;  значит,  можно рассматривать их продолжение,  не требуя существования такого правила.  Идея закона,  управляющего образованием последовательности,  здесь необязательна и может быть устранена процессом абстрагирования.