Конструктивная математика: различия между версиями
[отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Bezik (обсуждение | вклад) м откат правок 178.234.82.212 (обс.) к версии InternetArchiveBot Метка: откат |
м →Абстракции конструктивной математики: орфография |
||
Строка 17:
Абстракцию отождествления используют, когда говорят о двух в том или ином смысле одинаковых объектах как об одном и том же объекте.
Абстракцию потенциальной осуществимости (потенциальной бесконечности) используют, когда при конструировании отвлекаются от практических ограничений в пространстве, времени и материале. Допустимость этой абстракции отличает конструктивизм от [[ультрафинитизм]]а.
Конструктивная математика отвергает используемую в теоретико-множественной математике абстракцию '''актуальной бесконечности''', связанную с рассмотрением никогда не завершаемых процессов как бесконечно продолженных и тем самым как бы завершённых.<ref name="ReferenceA" />
|