215 похожих чатов

Неполнота математики? Не пофиг ли?

7 ответов

5 просмотров

Не пофиг для чистых математиков. Нам пофиг.

Somebody- Автор вопроса
Somebody
И им совершенно пофиг

Ну да, но по другим причинам

Неполнота, понимание что нельзя достичь идеально точной и завёрточной теории... Даже доказать непротиворечивость для достаточно широких теорий невозможно... Кто то из за этого умирал Помню в книге «математика потеря определённости» об этом было написано)

Somebody- Автор вопроса
Николай
Неполнота, понимание что нельзя достичь идеально т...

Я не спец в этой области, но помнится мне фраза "В любой системе аксиом найдется утверждение, которое нельзя ни доказать, ни опровергнуть" Поэтому че там в противоречивость смотреть

Somebody
Я не спец в этой области, но помнится мне фраза "В...

Вы говорите о неполноте а невозможность доказать непротиворечивость ещё хуже. Противоречивость приводит к тому что любое утверждение и ложно и истинно одновременно...

Somebody- Автор вопроса
Николай
Вы говорите о неполноте а невозможность доказать н...

БОльшая часть математики не сводится ли к аксиоматике как их там Франкеля-фиганкеля...?

Похожие вопросы

Обсуждают сегодня

я не магистр хаскеля, но разве не может лейзи тип конвертнуться в не-лейзи запросив вычисление содержимого прям при инициализации?
deadgnom32 λ madao
100
в сях есть множество как в питоне? для удаление дубликатов
Linus
25
читать файл максимально быстро? странный вопрос))
zamtmn
53
How to create an OS in C? what to study?
Linus
18
тоесть, указав return eax, сгенерируется никому ненужная инструкция mov eax,eax ?
Aiwan \ (•◡•) / _bot
24
а как бы вылезти из ИО, что то типа IO -> Ether или в какую сторону смотреть ? что то туплю
Fedor
9
Всем доброго вечера! Хочу поделиться своим злоключением с человеком, который, как оказалось сюда тоже скидывал свое резюме. Жаль, что я вашу группу не нашел раньше… человек ки...
Роман Ахмедзянов
4
а зачем этот вопрос для удаления из чата?
Mёdkinson Medvezhkin
63
Компания Elif ищет менеджера проектов, который будет заниматься поиском и ведением новых проектов. Прежде чем приступить к работе, вам нужно пройти наш недельный курс, где вы ...
Elif
5
Привет, кто может сделать юзербота с апи? Задачи: - создавать группы - создавать каналы - задавать для созданных каналов аватарку или эмоджи, имя группы - добавлять в группы...
Lencore
11
Карта сайта