Теперь Кью работает в режиме чтения

Мы сохранили весь контент, но добавить что-то новое уже нельзя

Если математика окажется противоречивой, сможем ли мы понять, какие из аксиом "конфликтуют" между собой?

МатематикаНаука
aleksei
  ·   · 2,0 K
Узкий специалист широкого профиля.  · 4 окт 2021
Математика это система знаний. Она не может быть противоречивой опять таки в "целом".
2+2=4 ? Как бы не так! в поле по модулю 4 - это вообще не так!
Хотите расскажу, про то, как можно "низвергнуть" базовые постулаты Евклидовой геометрии?
Можем. Вам стоит познакомится с теоремой Гёделя о неполноте любой системы.
Кратко и возможно не вполне корректно(простите меня любители строгости рассуждений): в любой системе есть аксиомы, которые мы вынуждены принимать как должное, т.е. на веру.
@Владимир Витальевич, приятно иметь дело с человеком "в теме". Про 4=0 - можно и ишака обозвать лошадью для... Читать дальше
Научный журналист  · 10 дек 2021
Что значит: «<...> математика окажется противоречивой <...>». От случая к случаю лучше конкретизировать область, раздел, направление математики, т. к. противоречивость — свойство конкретной логической системы, конкретнее —... Читать далее
Математик-системный программист, разработчик асу...  · 22 сент 2021
Обычно противоречивость доказывается именно указанием на противоречие. При этом можно сказать, что противоречие заключено в подсистеме аксиом, использованных при выводе этих примеров (часть аксиом могла не использоваться... Читать далее
1 эксперт согласен
Логически красиво и похоже на правду.
Стаж в авиации 52 г. Теперь тихий пенсионер...  · 25 авг 2021
Математика это язык описания окружающего мира. Отдельные дисциплины- диалекты Они описывают с разных сторон некие сущности, которые не могут быть описаны исчерпывающе и представляют некое множество математических моделей... Читать далее

"Все относительно". И да и нет.

Первый
Аксиомы не могут конфликтовать. Это некая постулированная система, на которой строятся доказательства, и она не должна быть избыточной. Насколько мне известно, могут возникать различные парадоксы. Тогда математики накладывают... Читать далее