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