23 подписчика

Предикативизм как трезвая альтернатива

12 декабря 202512 дек 2025

1 мин

Предикативизм как трезвая альтернатива ⠀ Феферман был сторонником предикативизма — направления, восходящего к Пуанкаре и Вейлю. Его ключевая идея: объекты (особенно множества) следует определять, не апеллируя к тотальности, которая их уже содержит (избегая импредикативных определений). Это не конструктивизм, отрицающий закон исключённого третьего, но более осторожный подход, который не постулирует «завершённые бесконечности» как готовые платонические сущности. ⠀ В своей знаменитой работе «Почему малое означает многое» (1992) Феферман делает потрясающий технический и философский ход. Он так представляет формальную систему W (названную в честь Вейля): ⠀ 1. Она достаточна для практически всей математики, используемой в естественных науках: от классического анализа XIX века до ключевых теорем функционального анализа XX века (теорема Хана-Банаха, спектральная теория операторов). ⠀ 2. Она слаба в основах: она доказательно сводима к арифметике Пеано (PA). Это значит, что с точки зрения логиче

⠀

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

⠀

В своей знаменитой работе «Почему малое означает многое» (1992) Феферман делает потрясающий технический и философский ход. Он так представляет формальную систему W (названную в честь Вейля):

⠀

1. Она достаточна для практически всей математики, используемой в естественных науках: от классического анализа XIX века до ключевых теорем функционального анализа XX века (теорема Хана-Банаха, спектральная теория операторов).

⠀

2. Она слаба в основах: она доказательно сводима к арифметике Пеано (PA). Это значит, что с точки зрения логической силы система W не выходит за пределы той же самой арифметики, которая оперирует натуральными числами.

⠀

Это и есть «малое, которое значит многое». Оказывается, чтобы обосновать колоссальный массив научно-применимой математики, не нужно залезать в дебри трансфинитной теории множеств. Достаточно арифметики — системы, обосновать которую гораздо проще с философской точки зрения.