WikiDer > Паранепротиворечивая математика

Тема этой статьи может не соответствовать Википедии общее руководство по известности. Пожалуйста, помогите установить известность, указав надежные вторичные источники которые независимый темы и обеспечить ее подробное освещение, помимо банального упоминания. Если известность не может быть установлена, статья, вероятно, будет слился, перенаправлен, или же удалено. Найдите источники: «Параконсистентная математика» – Новости · газеты · книги · ученый · JSTOR (Февраль 2019 г.) (Узнайте, как и когда удалить этот шаблон сообщения)

Эта статья включает Список ссылок, связанное чтение или внешняя ссылка, но его источники остаются неясными, потому что в нем отсутствует встроенные цитаты. Пожалуйста, помогите улучшать эта статья введение более точные цитаты. (Февраль 2014) (Узнайте, как и когда удалить этот шаблон сообщения)

Паранепротиворечивая математикаиногда называют непоследовательная математика, представляет собой попытку развития классической инфраструктуры математика (например. анализ) на основе непротиворечивая логика вместо классическая логика. Можно разработать ряд новых формулировок анализа, например, функции, которые одновременно имеют и не имеют заданного значения.

Крис Мортенсен утверждает (см. Ссылки):

Вряд ли можно игнорировать примеры анализа и его частный случай - исчисление. Оказывается, есть много мест, где есть отличительные несовместимые идеи; см., например, Мортенсен (1995). (1) Нестандартный анализ Робинсона был основан на бесконечно малых величинах, меньших, чем любое действительное число, а также на их обратных величинах - бесконечных числах. У этого есть противоречивая версия, которая дает некоторые преимущества для вычислений, поскольку позволяет отбрасывать бесконечно малые величины более высокого порядка. Оказалось, что теория дифференциации имеет эти преимущества, а теория интеграции - нет. (2)

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

• МакКубре-Джорденс, М., Вебер, З. (2012). «Настоящий анализ в паранепротиворечивой логике». Журнал философской логики 41 (5):901–922. Дои: 10.1017 / S1755020309990281
• Мортенсен, К. (1995). Непоследовательная математика. Дордрехт: Клувер. ISBN 0-7923-3186-9
• Вебер, З. (2010). «Трансфинитные числа в паранепротиворечивой теории множеств». Обзор символической логики 3 (1):71–92. Дои:10.1017 / S1755020309990281

внешняя ссылка

• Вступление в Интернет-энциклопедия философии [1]
• Вступление в Стэнфордская энциклопедия философии [2]
• Лекции Мануэля Бремера из Университета Дюссельдорфа [3]

Этот математическая логика-связанная статья является заглушка. Вы можете помочь Википедии расширяя это. v т е