МК
А вот в иных средах скорость движения фотонов может быть ниже скорости света, то есть ниже скорости движения фотонов в вакууме.
Size: a a a
2021 May 30
TL
Ландау
МК
Верить нельзя никому. Мне – можно.
f
Горжусь
MM
Гёдель забился в угол и нервно хихикает
SC
А какая польза от теорем Гёделя?
A
расстояние между двумя точками на х / расстояние между двумя точками у есть производной?
MM
В постановке каждой из двух теорем же сказано. Ты осознаешь ограничения и ошибки некоторой формальной системы (арифметики) или имеешь такую возможность, зная вещи, которые доказать или опровергнуть в твоей формальной системе правил нельзя
МК
В отдельно взятом разделе математики, возможно, польза есть. А если их открытие приводит к развитию того или иного полезного математического аппарата - так совсем удачно, непосредственно выполняется задача, на выполнение которой и были затрачены усилия.
МЗ
Нет
MM
это величина обратная производной же
MM
dy/dx надо
МЗ
А предел где?
TL
MM
Соль шутки была в том, что этот чел своей фразой выдал простейшую и непротиворечивую систему правил
MM
Только выйдя за пределы этой системы можно увидеть ее косяки
МК
Даже если есть философское значение, то сама философия плохо вяжется с пользой. Но идет ли речь про философское значение вообще? Ведь в них идет речь про неполноту математики в строго определенном смысле, который вряд ли соотносится с рассуждениями о боге, которые ведутся по поводу данных теорем.
MM
Может, я был не в теме, тут это обсуждали?
MM
А, ну вопрос был про пользу. Я к тому, что через доказательства или опровержения этих теорем можно говорить о мере непротиворечивости и её связи с выразительной мощностью системы