Обзор: Вот уже сто лет из
Вот уже сто лет из математики пытаются убрать «неправильные» определения, в понимании смысла которых участвует сам определяемый объект.
Матема́тика — точная формальная наука, первоначально исследовавшая количественные отношения и пространственные формы. В более современном понимании, это наука об отношениях между объектами, о которых ничего не известно, кроме описывающих их некоторых свойств, — именно тех, которые в качестве аксиом положены в основание той или иной математической теории.
Непредикати́вность определения в математике и логике, нестрого говоря, означает, что осмысленность определения предполагает наличие определяемого объекта. Пример: объект определяется как такой элемент некоторого множества, который удовлетворяет определённому отношению между ним и всеми элементами этого множества. В некоторых случаях непредикативное определение может привести к недоразумениям или даже противоречиям. Противоположное по смыслу понятие — предикативность.
Теги: Математика Непредикативность (математика) лет математики пытаются убрать определения понимании смысла которых участвует объект