Аксиома сводимости
- Статья обсуждает проблемы аксиомы сводимости в математике и философии.
- Аксиома сводимости вызывает парадоксы и трудности в обработке иррациональных чисел и действительных чисел.
- Витгенштейн предлагает альтернативную аксиому, согласно которой функции пропозиций являются функциями истинности.
- Фон Нейман отвергает попытку Рассела и предлагает аксиоматизацию теории множеств, основанную на функциях.
- Дэвид Гильберт представляет аксиоматическую систему, не основанную на теории множеств Рассела и Уайтхеда.
- Фрэнк Пламптон Рэмси утверждает, что в некоторых случаях аксиома сводимости не является необходимой.
- Курт Гедель предлагает защиту реалистических взглядов Рассела от редукционизма в своей книге «Математическая логика Рассела».
- Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.
Полный текст статьи: