24 декабря Архивач восстановлен после серьёзной аварии. К сожалению, значительная часть сохранённых изображений и видео была потеряна. Подробности случившегося. Мы призываем всех неравнодушных помочь нам с восстановлением утраченного контента!
>>47352 > Это же математика. Или нет? Да, это математика, но теорема Гёделя имеет глубокий философский смысл (впрочем, есть и те, кто против таких далекоидущих интерпретаций). Суть в том, что любая формальная система ( https://ru.wikipedia.org/wiki/Формальная_система ) может быть либо доказуемо полна (способна определять истинность или ложность любого утверждения в её терминах), либо доказуемо истинна (непротиворечива, однозначна), но не одновременно (это доказывается в Гёделевской теореме). Гипотетически, теория всего (некая теория, непротиворечиво объединяющая все физические законы друг с другом и являющаяся, по-сути, конечной целью науки) должна так же быть формальной - свестись к набору базовых аксиом, из которых должно быть выводимо всё остальное. Гёдель показывает, что это возможно лишь в том случае, если мы будем верить в её истинность (и в инвариантность понимания её всеми), т.к. формально доказать истинность такой полной теории в терминах самой этой теории невозможно.
Что это значит?