Равносогласованность - Equiconsistency

В математическая логика, два теории находятся равносогласованный если последовательность одной теории подразумевает непротиворечивость другой теории, и наоборот. В этом случае они, грубо говоря, «согласованы друг с другом».

В общем, доказать абсолютную непротиворечивость теории невозможно. Т. Вместо этого мы обычно берем теорию S, считается последовательным, и попытайтесь доказать более слабое утверждение, что если S непротиворечиво тогда Т также должны быть последовательными - если мы можем это сделать, мы говорим, что Т является согласован относительно S. Если S также согласован относительно Т тогда мы говорим, что S и Т находятся равносогласованный.

Последовательность

В математической логике формальные теории изучаются как математические объекты. Поскольку некоторые теории достаточно мощны, чтобы моделировать различные математические объекты, естественно задаться вопросом об их собственных последовательность.

Гильберта предложил программа в начале 20 века, конечной целью которого было показать с помощью математических методов непротиворечивость математики. Поскольку большинство математических дисциплин можно свести к арифметика, программа быстро превратилась в установление последовательности арифметических действий с помощью методов, формализуемых внутри самой арифметики.

Гёдель с теоремы о неполноте показать, что программа Гильберта не может быть реализована: если рекурсивно перечислимый теория достаточно сильна, чтобы формализовать свою собственную метаматематика (независимо от того, является ли что-то доказательством или нет), то есть достаточно сильным, чтобы моделировать слабый фрагмент арифметики (Арифметика Робинсона достаточно), то теория не может доказать свою непротиворечивость. Существуют некоторые технические предостережения относительно того, каким требованиям должно удовлетворять формальное утверждение, представляющее метаматематическое утверждение «Теория непротиворечива», но в результате, если (достаточно сильная) теория может доказать свою собственную непротиворечивость, то либо не существует вычислимого способа. определения того, является ли утверждение даже аксиомой теории или нет, или же сама теория непоследовательна (в этом случае она может доказать что угодно, включая ложные утверждения, такие как ее собственная непротиворечивость).

Учитывая это, вместо прямой согласованности обычно рассматривают относительную согласованность: пусть S и Т быть формальными теориями. Предположить, что S это последовательная теория. Следует ли из этого Т согласуется? Если да, то T согласован относительно S. Две теории равносогласованы, если каждая из них непротиворечива по отношению к другой.

Прочность консистенции

Если Т согласован относительно S, но S не известно, чтобы быть последовательным относительно Т, то мы говорим, что S имеет больше постоянство прочности чем Т. При обсуждении этих вопросов, касающихся силы согласованности, необходимо тщательно рассмотреть метатеорию, в которой происходит обсуждение. Для теорий на уровне арифметика второго порядка, то обратная математика программе есть что сказать. Проблемы с устойчивостью - обычная часть теория множеств, поскольку это рекурсивная теория, которая, безусловно, может моделировать большую часть математики. Наиболее широко используемый набор аксиом теории множеств называется ZFC. Когда теоретико-множественное утверждение А считается равносогласованным другому B, утверждается, что в метатеории (Арифметика Пеано в этом случае) можно доказать, что теории ZFC +А и ZFC +B равносогласованы. Обычно, примитивная рекурсивная арифметика может быть принята в качестве рассматриваемой метатеории, но даже если метатеория является ZFC или ее расширением, это понятие имеет смысл. Методика принуждение позволяет показать, что теории ZFC, ZFC + CH и ZFC + ¬CH равносогласованы (где CH обозначает гипотеза континуума ).

При обсуждении фрагментов ZFC или их расширений (например, ZF, теория множеств без аксиомы выбора или ZF + AD, теория множеств с аксиома детерминированности ), описанные выше понятия адаптируются соответствующим образом. Таким образом, ZF равнозначно ZFC, как показал Гёдель.

Сила согласованности многочисленных комбинаторных утверждений может быть откалибрована с помощью большие кардиналы. Например, отрицание Гипотеза Курепы равнозначно недоступный кардинал, отсутствие специальных -Деревья Ароншайн равнозначно Мало кардинал, и отсутствие -Деревья Ароншайн равнозначно слабо компактный кардинал.[1]

Смотрите также

Рекомендации

  1. ^ *Кунен, Кеннет (2011), Теория множеств, Исследования по логике, 34, Лондон: Публикации колледжа, стр. 225, ISBN  978-1-84890-050-9, Zbl  1262.03001