Непредикативність (математика) — Вікіпедія

Непредикативність визначення в математиці та логіці, нестрого кажучи, означає, що осмисленість визначення передбачає наявність визначуваного об'єкта^[1]. Приклад: об'єкт $x$ визначається як такий елемент деякої множини, який задовольняє певному відношенню між ним і всіма елементами цієї множини (включно зі самим $x$ ). У деяких випадках непредикативне визначення може призвести до непорозумінь чи навіть суперечностей. Протилежне за змістом поняття — предикативність.

Для визначень формальною мовою «Математична енциклопедія» наводить строгий варіант:

Властивість (точніше, мовний вираз, що виражає цю властивість) називають непредикативною, якщо вона містить пов'язану змінну, в область зміни якої потрапляє визначуваний об'єкт. Властивість називають предикативною, якщо вона не містить таких пов'язаних змінних. Немає загальновизнаного точного визначення непредикативності, різні джерела дають подібні, але різні визначення. Наприклад, зустрічається таке: визначення об'єкта X непредикативне, якщо воно або посилається на сам X, або (найчастіше) на множину $M$ , що містить X; при цьому $M$ виглядає закінченою, хоча це визначення може вплинути на її склад^[2]^[3].

Приклади

Найвідоміший приклад непредикативної побудови — парадокс Рассела, в якому визначається сукупність усіх множин, що не містять самих себе. Парадокс полягає в тому, що визначена так множина внутрішньо суперечлива — вона одночасно і містить себе, і не містить. Наочний історичний варіант цього парадоксу — «парадокс цирульника»: визначення «житель села, який голить тих жителів цього села, які не голяться самі», є непредикативним, оскільки визначає жителя села, використовуючи його стосунки з усіма жителями села (а, отже, і з ним самим). Непредикативність виявляється і в інших парадоксах теорії множин^[2].

До непредикативних формулювань часто відносять і парадокс всемогутності: «Чи може Бог створити камінь, який він не зможе підняти?». Тут використовується поняття «всемогутність», визначення якого внутрішньо суперечливе^[4]. Аналогічно влаштований «парадокс брехуна», в якому твердження заперечує саме себе.

У математиці існує, однак, чимала кількість часто використовуваних непредикативних визначень, які не створюють проблем і не мають простого предикативного варіанту. В класичному аналізі, наприклад, таким є визначення точної нижньої грані числової множини^[5]:

Точною (найбільшою) нижньою гранню підмножини $X$ впорядкованої множини $M$ називають найбільший елемент $M$ , який не перевищує всіх елементів множини $X$ .

Інший приклад загальноприйнятого і цілком безпечного непредикативного визначення в аналізі — визначення максимального значення функції на заданому інтервалі, оскільки значення залежить від усіх інших, включно зі самим собою^[6].

Непредикативні конструкції використовує доведення знаменитої теореми Геделя про неповноту: побудована в результаті «нерозв'язна формула» стверджує недоказовість самої себе^[7].

Нарешті, в логіці та інформатиці існують рекурсивні визначення та рекурсивні алгоритми, в яких закладено непредикативність, тобто, вона є їхньою невід'ємною складовою.

Історія

Терміни «предикативний» і «непредикативний» були введено в статті Рассела (1907)^[8], хоча сенс терміна тоді був дещо іншим. Як небезпечне хибне коло непредикативні визначення засудив Анрі Пуанкаре (1905—1906, 1908), він вважав їх головним джерелом парадоксів у теорії множин. Рассел підтримав цю оцінку і в своїй монографії «Principia Mathematica» вжив заходів щодо недопущення непредикативності (теорія типів та «аксіома звідності»)^[9]. Герман Вейль у своїй книзі «Das Kontinuum» виклав філософську позицію, яку часто називають «предикативізм»^[10].

Ернст Цермело 1908 року виступив із запереченнями проти надмірно радикального підходу і навів два приклади цілком нешкідливих непредикативних визначень, які часто використовують у аналізі. Герман Вейль спробував знайти предикативний аналог визначення найменшої верхньої грані, але успіху не досяг. Відтоді ніхто так і не зміг побудувати аналіз у повному обсязі на строго предикативній основі^[1]^[2].

Примітки

↑ ^а ^б Математическая энциклопедия, 1982, с. 981.
↑ ^а ^б ^в Клини С. К. Введение в метаматематику. — М. : Изд-во иностранной литературы, 1957. — С. 44—46.
↑ Философский энциклопедический словарь, 1983, с. 433.
↑ Клайн М., 1984, с. 241.
↑ Клайн М., 1984, с. 241—242.
↑ Клайн М., 1984, с. 242.
↑ Успенский В. А. Теорема Гёделя о неполноте. — М. : Наука, 1982. — 110 с. — (Популярные лекции по математике)
↑ Russell, B. (1907), On some difficulties in the theory of transfinite numbers and order types. Proc. London Math. Soc., s2-4 (1): 29-53, doi:10.1112/plms/s2-4.1.29.
↑ Willard V. Quine's commentary before Bertrand Russell's 1908 Mathematical logic as based on the theory of types
↑ Horsten, Leon. Philosophy of Mathematics (англ.). Архів оригіналу за 11 березня 2018. Процитовано 15 ноября 2017. {{cite web}}: Проігноровано невідомий параметр |description= (довідка)

Література

Гильберт Д., Аккерман В. Основы теоретической логики. — М., 1947.
Гришин В. Н. Непредикативное определение // Математическая энциклопедия (в 5 томах). — М. : Советская Энциклопедия, 1982. — Т. 3.
Клайн М.^[en]. Математика. Утрата определённости. — М. : Мир, 1984. — 446 с.
Непредикативное определение // Философский энциклопедический словарь. — М. : Советская энциклопедия, 1983. — 840 с.
Френкель Α.- Α., Баρ-Хиллел И. Основания теории множеств. — М., 1966.
Чёрч Α. Введение в математическую логику. — М., 1960.

[FOOTNOTEМатематическая_энциклопедия1982981-1] а ^б Математическая энциклопедия, 1982, с. 981.

[KLEENE-2] а ^б ^в Клини С. К. Введение в метаматематику. — М. : Изд-во иностранной литературы, 1957. — С. 44—46.

[FOOTNOTEФилософский_энциклопедический_словарь1983433-3] Философский энциклопедический словарь, 1983, с. 433.

[FOOTNOTEКлайн_М.1984241-4] Клайн М., 1984, с. 241.

[FOOTNOTEКлайн_М.1984241—242-5] Клайн М., 1984, с. 241—242.

[FOOTNOTEКлайн_М.1984242-6] Клайн М., 1984, с. 242.

[7] Успенский В. А. Теорема Гёделя о неполноте. — М. : Наука, 1982. — 110 с. — (Популярные лекции по математике)

[8] Russell, B. (1907), On some difficulties in the theory of transfinite numbers and order types. Proc. London Math. Soc., s2-4 (1): 29-53, doi:10.1112/plms/s2-4.1.29.

[9] Willard V. Quine's commentary before Bertrand Russell's 1908 Mathematical logic as based on the theory of types

[10] Horsten, Leon. Philosophy of Mathematics (англ.). Архів оригіналу за 11 березня 2018. Процитовано 15 ноября 2017. {{cite web}}: Проігноровано невідомий параметр |description= (довідка)

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]