Немного об абстракциях
Абстракция отождествления, или обобщающая абстракция - абстракция, которая показывает одинаковые свойства предметов и не берет во внимание отличающие их признаки.
Абстракция аналитическая, или изолирующая, в результате которой четко фиксируются свойства объектов, обозначаемые определенным именем ("теплоемкость", «растворимость», «непрерывность», «четность», «наследственность» и др.);
Абстракция идеализирующая, или идеализация, в результате которой образуются понятия идеализированных (идеальных) объектов ("идеальный газ", «абсолютно черное тело», «прямая» и др.);
Абстракция актуальной бесконечности (отвлечение от принципиальной невозможности зафиксировать каждый элемент бесконечного множества, т.е. бесконечные множества рассматриваются как конечные);
Абстракция потенциальной осуществимости (отвлечение от реальных границ наших возможностей, нашей ограниченности собственной конечностью, т.е. предполагается, что может быть осуществлено любое, но конечное число операций в процессе деятельности).
Иногда, как особый тип, выделяют абстракцию конструктивизации (отвлечение от неопределенности границ реальных объектов, их «огрубление» с целью схватывания в «первом приближении)». Пределами или интервалами абстракции как обобщенного образа являются интерпретации (например, понятие мнимого числа) и информационная полнота (наличие семантической интерпретации и осмысление на материальных моделях).
Конструктивная математика - абстрактная наука о конструктивных процессах, человеческой способности осуществлять их, и об их результатах - конструктивных объектах.
Абстракция отождествления состоит в предположении о возможности однозначного и не вызывающего сомнений решения вопроса о (графическом) равенстве или различии любых двух рассматриваемых нами конструктивных объектов, а также о возможности полного отвлечения от мелких различий, имеющихся между графически равными объектами. Случаи, когда указанные предположения не выполняются, заранее исключаются из рассмотрения.
Абстракция потенциальной осуществимости состоит в отвлечении от границ наших конструктивных возможностей в пространстве, времени и материале. Случаи, когда находящихся в нашем распоряжении средств недостаточно для осуществления требующихся построений, заранее исключаются из рассмотрения.
Характерной чертой конструктивных объектов является то обстоятельство, что они не существуют извечно. Они рождаются в результате развёртывания некоторых конструктивных процессов, а затем исчезают (в силу самых различных естественных причин). Алгебраическое выражение, написанное мелом на доске, находилось на этой доске не всегда - и просуществует на ней ровно до того момента, пока его не сотрут.
В связи со сказанным, в конструктивной математике под «существованием» конструктивного объекта понимается его потенциальная осуществимость - то есть наличие в нашем распоряжении метода, позволяющего воспроизводить этот объект любое потребное число раз. Такое понимание резко расходится с пониманием существования объекта, принятым в теоретико-множественной математике. В теории множеств факт постоянного рождения и исчезновения конструктивных объектов не находит никакого выражения: с её точки зрения, подвижные реальные объекты являются лишь «тенями» вечно существующих в некотором фантастическом мире статичных «идеальных объектов» (и только эти «идеальные объекты» и следует якобы рассматривать в математике).
Абстракция аналитическая, или изолирующая, в результате которой четко фиксируются свойства объектов, обозначаемые определенным именем ("теплоемкость", «растворимость», «непрерывность», «четность», «наследственность» и др.);
Абстракция идеализирующая, или идеализация, в результате которой образуются понятия идеализированных (идеальных) объектов ("идеальный газ", «абсолютно черное тело», «прямая» и др.);
Абстракция актуальной бесконечности (отвлечение от принципиальной невозможности зафиксировать каждый элемент бесконечного множества, т.е. бесконечные множества рассматриваются как конечные);
Абстракция потенциальной осуществимости (отвлечение от реальных границ наших возможностей, нашей ограниченности собственной конечностью, т.е. предполагается, что может быть осуществлено любое, но конечное число операций в процессе деятельности).
Иногда, как особый тип, выделяют абстракцию конструктивизации (отвлечение от неопределенности границ реальных объектов, их «огрубление» с целью схватывания в «первом приближении)». Пределами или интервалами абстракции как обобщенного образа являются интерпретации (например, понятие мнимого числа) и информационная полнота (наличие семантической интерпретации и осмысление на материальных моделях).
Конструктивная математика - абстрактная наука о конструктивных процессах, человеческой способности осуществлять их, и об их результатах - конструктивных объектах.
Абстракция отождествления состоит в предположении о возможности однозначного и не вызывающего сомнений решения вопроса о (графическом) равенстве или различии любых двух рассматриваемых нами конструктивных объектов, а также о возможности полного отвлечения от мелких различий, имеющихся между графически равными объектами. Случаи, когда указанные предположения не выполняются, заранее исключаются из рассмотрения.
Абстракция потенциальной осуществимости состоит в отвлечении от границ наших конструктивных возможностей в пространстве, времени и материале. Случаи, когда находящихся в нашем распоряжении средств недостаточно для осуществления требующихся построений, заранее исключаются из рассмотрения.
Характерной чертой конструктивных объектов является то обстоятельство, что они не существуют извечно. Они рождаются в результате развёртывания некоторых конструктивных процессов, а затем исчезают (в силу самых различных естественных причин). Алгебраическое выражение, написанное мелом на доске, находилось на этой доске не всегда - и просуществует на ней ровно до того момента, пока его не сотрут.
В связи со сказанным, в конструктивной математике под «существованием» конструктивного объекта понимается его потенциальная осуществимость - то есть наличие в нашем распоряжении метода, позволяющего воспроизводить этот объект любое потребное число раз. Такое понимание резко расходится с пониманием существования объекта, принятым в теоретико-множественной математике. В теории множеств факт постоянного рождения и исчезновения конструктивных объектов не находит никакого выражения: с её точки зрения, подвижные реальные объекты являются лишь «тенями» вечно существующих в некотором фантастическом мире статичных «идеальных объектов» (и только эти «идеальные объекты» и следует якобы рассматривать в математике).