Не пофиг для чистых математиков. Нам пофиг.
И им совершенно пофиг
Ну да, но по другим причинам
Неполнота, понимание что нельзя достичь идеально точной и завёрточной теории... Даже доказать непротиворечивость для достаточно широких теорий невозможно... Кто то из за этого умирал Помню в книге «математика потеря определённости» об этом было написано)
Я не спец в этой области, но помнится мне фраза "В любой системе аксиом найдется утверждение, которое нельзя ни доказать, ни опровергнуть" Поэтому че там в противоречивость смотреть
Вы говорите о неполноте а невозможность доказать непротиворечивость ещё хуже. Противоречивость приводит к тому что любое утверждение и ложно и истинно одновременно...
БОльшая часть математики не сводится ли к аксиоматике как их там Франкеля-фиганкеля...?
Обсуждают сегодня