Мир Лема - словарь и путеводитель
Теорема Гёделя

В начало словаря

По первой букве
0-9 A-Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

Теорема Гёделя

Теорема Гёделя - гласит, что в широком классе систем, в которых вообще существуют понятия утверждения и доказательства (например, математика), существуют утверждения, которые не могут быть ни опровергнуты, ни доказаны; данное утверждение широко используется за пределами его корректной применимости:

"От такого положения уже недалеко до утверждения, что знаменитая теорема Гёделя, содержащаяся в его работе "Uber die unentscheidbaren Satze der formalen Systeme" и определяющая границы совершенства, достижимого в системной математике, не является универсально справедливой, то есть пригодной "для всех возможных Космосов", а справедлива лишь для Космоса в его теперешнем состоянии". - Новая космогония

"Иначе и проще говоря: излишек точности, то есть желание добраться до абсолютно точного языкового описания понятий, ведет в формальные системы, после чего мы падаем в страшную бездну, открытую Куртом Гёделем". - Тридцать лет спустя (ВЯ)

"Также наш язык и каждый его вид, благодаря своему составу, лексикографии, фразеологии, а также идиоматике, избегает ловушек и предательских капканов, присутствие которых в каждой арифметически замкнутой системе открыл великий Гёдель... " - Тайна китайской комнаты. Tertium comparationis (ВЯ)

"Вероятно, причина наибольшего в современности недоразумения, которое породило как английскую лингвистическую философию, так и явно отличную от нее феноменологическую философию вместе с поздними ответвлениями этой философии (Хейдеггер, Деррида, Леман, Лиотар et alii), была скрыта от понимания этих мыслителей; я имею в виду известный закон Гёделя, который для НАШИХ целей здесь достаточно привести только полуметафорично и достаточно кратко. Никакая достаточно большая система, вместе со своим алфавитом и своей грамматикой (или со своим конечным набором знаков и правилами их преобразования) НЕ ЯВЛЯЕТСЯ ПОЛНОЙ. Это значит, что для каждой такой системы (к ней относится математика, а в своей известной первой работе Гёдель ссылается на "Principia Mathematica" Рассела как также подверженную неустранимому правилу несовершенства) можно обнаружить истинные утверждения, правдивость которых не удается доказать внутри этой системы ЕЕ правилами (доказанными из него трансформационными правилами)". - Тайна китайской комнаты. Языки и коды (ВЯ)

"Дело в том, что "мягкие" языки могут избегать пропасти, открытой Гёделем. Так оно и есть: чтобы доказать правильность утверждения, содержащегося в определенной (назовем ее "нулевой") системе знаков утверждения, которое согласно закону Гёделя НЕ удастся подтвердить внутри этой системы - мы ДОЛЖНЫ подняться на следующий уровень системы и только там сможем решить задачу". - Тайна китайской комнаты. Языки и коды (ВЯ)

"Нормальный" этнический язык, которым мы пользуемся, сам справляется с гёделевским препятствием, не заботясь о "качелях" логикосемантических уровней. Это следует из места, которое он занимает на нашей шкале, - полоса в середине. Именно там язык располагается, являясь достаточно "кодово" твердым, чтобы понимание было возможным, и одновременно - достаточно "мягким", чтобы можно было понимать его тексты с различными отклонениями. Это спасает от падения в "пропасть Гёделя". Я сказал "пропасть", поскольку в языке, освобожденном от возможности многих истолкований, разнозначности, зависимости смысла от контекста, то есть в "мономорфическом" языке (в котором каждое слово означало бы одну единственную вещь) преобладал бы страшный численный излишек, настоящая вавилонская энциклопедия - таким языком невозможно было бы пользоваться. Каждая же попытка окончательно "плотно закрыть" знаково несовершенные системы приводит к regressus ad infinitum. Таким образом, наш язык в восприятии является немного "размытым", и чем длиннее тексты, тем больше вокруг них возникает неоднородно воспринимаемых "ореолов". Он существует, не попадая в ловушки Гёделя, противопоставляя им свою гибкость, эластичность или, одним словом, благодаря тому, что является метафорическим и способен ad hoc создавать метафоры". Тайна китайской комнаты. Языки и коды (ВЯ)

"Поскольку отступление МОЖЕТ быть в такой запутанной теме допустимым, я считаю утверждение Гёделя (о неполноте больших формальных систем) космической постоянной, примерно такой, как заряд электрона". - Тайна китайской комнаты. Brain chips (ВЯ)

"Мы не должны опасаться метафор, потому что они представляют собой одно из наиболее эффективных орудий, которое спасает наши языковые высказывания от каждого regressus ad infinitum, открытого Гёделем. Естественные языки справляются с неустранимым гёделевским дефектом, потому что их неоднозначность, конотационно-денотационная размытость, а также контекстуальность позволяют им нейтрализовать не только "мягкие" (семантические) противоречия, но и "твердые" (логические)". - Тайна китайской комнаты. Искусственный интеллект как экспериментальная философия (ВЯ)

"Кроме того, представляется, что "лингвистический стержень" человеческого Разума возник достаточно случайно и только тогда, когда его использование понемногу "оправдалось", начался более выразительный дрейф в "языковую сторону", который (не знаем как) "научился" обходить "гёделевские пропасти" и бездонные неопределенности самовозвратности, но эти шаги уже происходили достаточно поздно по исторической шкале и на определенном этапе опередили возникновение письма как "антихронного" (то есть противостоящего эрозийному действию времени, течение которого убивает каждого из нас) стабилизатора, и даже как того "шеста", вдоль (ввысь) которого должен был, как вьюнок, тянуться Разум (сравнение с фасолью, может, для многих особ было бы несъедобным)". - Мегабитовая бомба. Разум (ВЯ)

В начало словаря