Теоремы Гёделя и границы логического познания

Чистая логика часто рассматривается как главный ключ к пониманию физической реальности. Математическая физика кажется удобным и простым путём что-то изучить и мы даже тут часто обращаемся именно к математическому поиску. Но в 1931 году 25-летний учёный математически доказал парадокс - даже совершенные логические системы содержат недоказуемые истины. В начале XX века, математики считали, что если им удастся сформулировать правильные основополагающие аксиомы, то каждое истинное утверждение можно будет логически доказать, не прибегая к изучению физического мира. Этим 25-летним человеком, который подпортил математику, был Курт Гёдель, и его теоремы о неполноте навсегда положили конец этим усилиям. Его первая теорема доказала, что любая непротиворечивая формальная система, способная к выполнению основных арифметических операций, неизбежно будет содержать истинные утверждения, которые нельзя доказать внутри самой системы. Его вторая теорема нанесла ещё более сильный удар - непротиворечивая система не может даже доказать свою собственную непротиворечивость, используя свои собственные правила. Гёдель продемонстрировал, что логика не является самодостаточным механизмом для генерации абсолютной истины. Если оставаться исключительно в жестких рамках формальной математической системы, рано или поздно столкнешься с препятствием, где утверждение, несомненно, истинно, но его нельзя логически вывести, используя только аксиомы системы. Для его проверки необходимо выйти за пределы системы и принять более широкую, внешнюю структуру. Это ограничение разрушает идею о том, что мы можем вывести физическую реальность, опираясь лишь на априорную логику. Если чистая математика не может гарантировать даже свою внутреннюю непротиворечивость без внешней помощи, она, безусловно, не сможет отобразить сложности физической вселенной без внешнего ориентира. Физики могут создавать бесчисленное множество прекрасных, совершенно непротиворечивых логических моделей — таких как одиннадцатимерные теории струн или гипотетические мультивселенные, - но одной лишь логики недостаточно, чтобы определить, какая из этих моделей действительно соответствует Вселенной. Во многом это портит и все надежды на голый ИИ в научном поиске. А ещё перечёркивает поиски теорий на голой математике, которые очень активно любят предлагать любители науки. Такая теория - первый шаг. Если вы тут впервые - местный чат с обсуждениями теперь отделён от канала.