АБСТРАКЦИЯ АКТУАЛЬНОЙ БЕСКОНЕЧНОСТИ

одна из осн. абстракций математики и логики, позволяющая исследовать бесконечные совокупности (множества), применяя к ним логич. принципы (в частности, исключенного третьего закон, произвольного выбора принцип и др.), почерпнутые из опыта обращения с конечными совокупностями. А. а. б. состоит в отвлечении от незавершенности и незавершимости процесса образования бесконечного множества, от невозможности задать такое множество полным списком его элементов (в этом смысле А. а. б. состоит в отвлечении от "бесконечности" множества). См. Алгоритм, Математическая бесконечность, Множеств теория. Лит.: [Колмогоров А. Н.], Бесконечность в математике, Большая Советская Энциклопедия, 2 изд., т. 5, М., 1950, с. 73–74; Шанин ?. ?., О некоторых логических проблемах арифметики, М., 1955. В. Успенский. Москва.

Смотреть больше слов в «Философской Энциклопедии»

АБСТРАКЦИЯ ОТОЖДЕСТВЛЕНИЯ →← АБСТРАКЦИЯ

Смотреть что такое АБСТРАКЦИЯ АКТУАЛЬНОЙ БЕСКОНЕЧНОСТИ в других словарях:

АБСТРАКЦИЯ АКТУАЛЬНОЙ БЕСКОНЕЧНОСТИ

АБСТРАКЦИЯ АКТУАЛЬНОЙ БЕСКОНЕЧНОСТИ         одна из осн. абстракций (идеализации) классич. (теоретико-множеств.) математики и классич. математич. ло... смотреть

АБСТРАКЦИЯ АКТУАЛЬНОЙ БЕСКОНЕЧНОСТИ

        АБСТРАКЦИЯ АКТУАЛЬНОЙ БЕСКОНЕЧНОСТИ — основанный на акте творческого воображения способ образования абстрактных понятий, лежащий в основе форми... смотреть

АБСТРАКЦИЯ АКТУАЛЬНОЙ БЕСКОНЕЧНОСТИ

одна из математических идеализации, связанная с определенной формой идеи бесконечности в математике - с идеей так наз. актуальной бесконечности. ... смотреть

АБСТРАКЦИЯ АКТУАЛЬНОЙ БЕСКОНЕЧНОСТИ

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

АБСТРАКЦИЯ АКТУАЛЬНОЙ БЕСКОНЕЧНОСТИ

ф.п. өзекті шексіздік абстракциясы

АБСТРАКЦИЯ АКТУАЛЬНОЙ БЕСКОНЕЧНОСТИ

абстракцыя актуальнай бясконцасці

АБСТРАКЦИЯ АКТУАЛЬНОЙ БЕСКОНЕЧНОСТИ

өзекті шексіздік абстракциясы

T: 127