АБСТРАКЦИЯ ПОТЕНЦИАЛЬНОЙ ОСУЩЕСТВИМОСТИ

одна из осн. абстракций логико-математич. теорий, составляющая основу идеи потенциальной бесконечности. А. п. о. состоит в отвлечении от трудностей реализации конструктивных процессов (см. Конструктивное направление), вытекающих из пространств.-временных и вещественно-энергетич. ограничений, к-рые характерны для любых этапов развития науки и практики. Примерами применения А. п. о. являются допущения, что к любому натуральному числу, сколь велико оно ни было, можно прибавить единицу, что любые два такие числа можно сложить, и т. п. Потребность фактич. реализации конструктивных процессов в вычислит, математике и кибернетике приводит к необходимости «ослабления» этой абстракции либо к отказу от неё в нек-рых рассмотрениях (напр., в теории конечных автоматов - абстрактных систем дискретной переработки информации, обладающих конечным числом состояний).