Теорема Гёделя и Философия Однородности
Теорема Гёделя в Философии Однородности. Я часто выступаю в сообе «Религия и Вера». Где часто дают противоречивые доказательства- Бога и отрицания Его. Как раз с опорой на теорему Гёделя или полагая ее суждения.
Вообще, я назвал свою философию «Философия Однородности. Культура мышления». Ключевым понятием этой философии, как вы можете полагать, есть понятие Однородности, равно применимое и к формам материи и формам мысли, как к простому веществу или слову, так и к сложным формам вещества- Однородностями и общественным Идеям. Так вот, строгость понятия Однородность раскрывается через Закон изменения качества: «изменение свойства вещи (Однородности) на единицу меры свойства вещи прекращает данную вещь и порождает следующую вещь- скачком». Пример. Положим, есть вещь АБВ, где АБВ- элементы вещи и далее свойства элементов, выраженные в едино целой вещи АБВ. И положим, что элемент А по своему свойству уменьшился на некую величину меры свойства- стал элементом «а». И тогда новая вещь- аБВ. Очевидно, что АБВ и аБВ- это разные вещи- Философия Однородности полагает их разными вещами.
А теперь я приведу несколько удобоваримых высказываний двух авторов по разъяснению теоремы Гёделя.
««1.«для любой непротиворечивой системы аксиом существует утверждение, которое в рамках принятой аксиоматической системы не может быть ни доказано, ни опровергнуто».
2.формулировка первой, или слабой теоремы Гёделя о неполноте: «Любая формальная система аксиом содержит неразрешенные предположения». «вторая, или сильная теорема Гёделя о неполноте: «Логическая полнота (или неполнота) любой системы аксиом не может быть доказана в рамках этой системы. Для ее доказательства или опровержения требуются дополнительные аксиомы (усиление системы)». И некоторые суждения: Возьмем любое утверждение типа: «Предположение №247 в данной системе аксиом логически недоказуемо» и назовем его «утверждением A». Так вот, Гёдель попросту доказал следующее удивительное свойство любой системы аксиом:«Если можно доказать утверждение A, то можно доказать и утверждение не-A».Иными словами, если можно доказать справедливость утверждения «предположение 247 недоказуемо», то можно доказать и справедливость утверждения «предположение 247 доказуемо». То есть, возвращаясь к формулировке второй задачи Гильберта, если система аксиом полна (то есть любое утверждение в ней может быть доказано), то она противоречива. Единственным выходом из такой ситуации остается принятие неполной системы аксиом. То есть, приходиться мириться с тем, что в контексте любой логической системы у нас останутся утверждения «типа А», которые являются заведомо истинными или ложными, — и мы можем судить об их истинности лишь вне рамок принятой нами аксиоматики. Если же таких утверждений не имеется, значит, наша аксиоматика противоречива, и в ее рамках неизбежно будут присутствовать формулировки, которые можно одновременно и доказать, и опровергнуть»».
Как видите, даже само понимание теоремы различными людьми полагает разные суждения к одному и тому же- гёделевскому- суждению. Прежде всего, разберемся с тем, что есть полная система аксиом- это система , в которой любое утверждение может быть доказано, т.е. полная система внутренне противоречива. И тогда неполная система- непротиворечивая система аксиом- это система, в которой некое утверждение не может быть ни доказано, ни опровергнуто.
А теперь разберемся еще глубже.
Полная система- система, в которой любое утверждение, а предполагаются утверждения типа А и типа не- А,- доказывается, а потому она внутренне противоречива. Где здесь сбой логики- уже в постановке вопроса? Дело в том, что доказательства А и доказательства не- А принадлежат разным системам (Однородностям)! Так, доказательство: сумма углов треугольника равна 180 град. принадлежит, скажем так, положительной системе доказательств, а доказательство: сумма углов треугольника не равна 180 град.- принадлежит другой, скажем так, отрицательной систем доказательств. И сдвиг логики происходит, когда системы доказательств объединяют в одну- полную- как бы по одинаковым основаниям.
Неполная система не содержит внутренних противоречий. Но она не содержит внутренних противоречий либо потому, что доказательства принадлежат или положительной системе, или отрицательной, либо утверждение «которое не может быть ни доказано, ни опровергнуто» в рамках этой системы принадлежит вообще другой системе аксиом. Итак…
Реально полная система аксиом (законченное познание) внутренне непротиворечива, внутренне взаимно доказуема. Всякое утверждение, принадлежащие этой системе аксиом, доказывается в рамках этой системы, положительной или отрицательной.
Так можно ли «доказать» «существование» Бога, Господа Бога, Духа Святого в рамках системы под названием Писание православного толка- Библии?- Да, как раз в силу того, что Библия есть изложение законченного познания, а «понятия» Бог, Господь Бог, Дух Святой- утверждения, принадлежащие этой системе.
Так можно ли доказательно отрицать Бога, Господа Бога, Духа Святого?- Да, но при следующем условии: система отрицания не должна содержать утверждений (понятий), принадлежащих системе- Библии. В противном случае, как было показано выше, это элементарное мошенничество, когда ко всякому суждению положительной системы просто и бездумно приставляется «не-» и на этом основании заявляется отрицание.
И тогда другой вопрос: если мы из Библии исключим «Бог, Господь Бог, Дух Святой»- оставшееся имеет проявление в объективной реальности?- Да. Тогда Бог, Господь Бог, Дух Святой, являющиеся утверждениями Библии… просто не понимаемы из области спекулятивного отрицания, и 2. принадлежат- таки области объективной реальности. А исходя из суждения «полная система внутренне взаимно доказуема»,- для понимания Библии нужно стать частью, элементом той системы.
Я скажу вам, «откуда» вы не понимаете Библию- за пределами тех ограничений для понимания, который изложены в Евангелиях. Дело в том, что, как я сказал выше, Библия- это документ отразивший и зафиксировавший законченное познание. И для «простого обывателя» это немыслимо! На всем протяжении двуклассового государства- для воспроизводства его- в головы вдалбливалось то, что познание в конец невозможно- познание бесконечно в силу того, что формы материи по своему разнообразию бесконечны. Ибо только «завтра будет лучше, чем сегодня» как раз и позволяет паразитировать на человеке. Однако законченное познание- Библия и Закон ФО о качестве,- говорят нам, что переход к бесклассовому обществу 1. возможен, 2. возможен, но скачком, т.е. не нужно думать, что мы найдем некие инструменты- законы в будущем, которые нам позволят перейти из царства Права в царство Свободы (Закона): все уже давно есть как «пророки и закон уже прорекли до Иоанна».
Вот для чего была придумана теорема Гёделя. И вот почему родилась Философия Однородности- чтобы развеивать всякие мошенничества, и, как видите, не только в области так называемых общественных наук и теорий, но и в области математики или более- логики.
Комментарии
Для систем хотя бы счетного количества аксиом такового доказательства нет.
ps Предупреждая вопрос - счетное количество аксиом может быть представлено определенной процедурой порождения.
"Если имеется Прблема, и она не решается на настоящем уровне, то её надо вынести на бОльший уровень, где больше Ресурсов, и там она будет решена". Но существуют Проблемы, которым не хватит никаких Земных Ресурсов. ПРОБЛЕМА - неправильно сформулированный вопрос. "Формулировка вопроса есть его решение" К.Маркс. Правильно сформулированный вопрос имеет Правильное решение.
...или стрелять в уток из "духовки"....
Разумеется ваш "библейский проект" создавался не в одиночку и достаточно долго.
Все же поясню по системам - я сделал предприятие в форме производственного кооператива, с производительной и реально полезной деятельностью-это реальная система.
И наблюдал как делают "общину", получилась практически тоталитарная секта - это искуственная система.
А Вы сами делали хоть какую-нибудь систему сложнее семьи ?
Речь не о принадлежности к системам высшего порядка, а о создании, Вы сами так сформулировали. Очень сомневаюсь что Вы влияете существенно на гос.систему "РФ", на православие системы церковь, на законы.
Ну хорошо.
Любая (почти, но об исключении чуть позже) деятельность человека, даже по его оригинальной идее, осуществляется в материальном мире.
Если эта идея противоречит объективной реальности - она не выживает, не остается "мудростью предков". Разум это способность именно генерировать идеи, но верны они или ошибочны - как получится.
Возможны ошибки как фатальные, так и от недостатка информации и ошибок логических.
Теперь об исключении. Субъектом к которым человек применяет свои идеи может быть другой человек. Он может быть убежден идеей, загипнотизирован и т.п.,он не беспощадный фильтр как материальный мир, более того - может стать орудием чужой идеи. Таким образом социальные системы в какой-то мере искуственны.
Резкой границы нет, но вот допустим некая традиционная деревня, успешно воспроизводящая столетиями - можно скзать ситема естественная, а секта скопцов - искуственная.
Всю изложенную в статье чушь можно было бы проще изложить. Бог это Единое Целое, вне Его никого и ничего не существует. Он Один и Единый. Если говорить более приземленным языком, Бог это Единая система. Человек это часть этой системы. Например, как болт в автомобиле. Зададимся вопросом, может ли болт увидеть ли представить форму всего автомобиля, не говоря уж об его устройстве в целом? Ответ, заведомо нет. Чтобы увидеть автомобиль, болту надлежит выпасть из автомобиля, (системы) наружу, то есть перестать быть частью системы автомобиля и увидеть этот автомобиль (систему) снаружи. Но вне Бога ничего нет и не существует. Выпадать болту некуда и невозможно, в противном случае, он стал бы вне системы, а вне системы, как мы говорили, ничего нет и не существует. Болт не может, равно как увидеть и познать форму автомобиля, так и представить его устройство.
Комментарий удален модератором
Выводы:
1. Бог непознаваем как Единое Целое.
2. Строго доказать Его существование невозможно.
3. Строго опровергнуть Его существование невозможно.
4. Составить свое собственное видение Бога возможно, на основании собственного разумения, авторитета лиц или авторитетного литературного источника.
5. Передать ваше собственное видение другому невозможно без его на то согласия.
6. Заставить другого принять без его добровольного согласия ваше собственное видение Бога невозможно.
Собственно, так оно всегда и было и останется.
Второе, Будды или просветленные или еще кто, это все суть части Единого Целого. Традиция на Востоке называть Единое Целое Абсолютом, западная традиция называть Бог.
Мохамед всего лишь ретранслятор и человек "праведной жизни" (очень специфичной правда http://iranpoliticsclub.net/cartoons/muhammad-aisha/images/Prophet%20Muhammad%20&%20Aisha%20his%20child%20bride%20love%20cartoon.jpg )
В любезной Вам Библии Бог именуется несколькими словами, имена ли это?
Третья заповедь однозначно гворит что есть имя, в любом варианте перевода и древнееврейского.
...вывод о невозможности универсального критерия истины является
непосредственным следствием результата, полученного Тарским путем соединения теоремы Геделя о неразрешимости с его собственной теорией истины, согласно которому универсального критерия истины не может быть даже для относительно узкой области теории чисел, а значит, и для любой науки, использующей арифметику. Естественно, что этот результат применим a fortiori к понятию истины в любой нематематической области знания, в которой широко используется арифметика.
С чего вы решили что религиозные доктрины можно проверить арифметикой? Это первое.
Второе сказано в первом посте под этой статьей.
Третье сказано внизу в посте Андрея Петрова http://maxpark.com/community/43/content/3221945#comment-42634443
Все с вами ясно.
А нахм возможно Ваш афедрон хорош, так что повежливей пожалуйста.
Нет у вас аргументов внятных, потому и ругаетесь и хамите.
Вот тут нашел Сэр Карл Раймунд По́ппер (нем. Karl Raimund Popper; 28 июля 1902 — 17 сентября 1994) — австрийский и британский философ и социолог. Один из самых влиятельных философов науки XX столетия. Он философ. А вы кто?
Абсолют, абсолютное (лат. absolutus — безусловный, неограниченный, безотносительный, совершенный) — первооснова мира, первоначало всего Сущего, вечное и неизменное, которое понимается единым, всеобщим, безначальным, бесконечным и в свою очередь противостоит всякому относительному и обусловленному Бытию.
Что касается систем в системе и т д., то это не отменяет Единого Целого, как Единой системы всех систем, единого центра материи, энергии, информации.
Как насчет восточных философских школ Адвайта-веданта, Вишишта-адвайта, Двайта, в которых присутствует Абсолют, как Абсолютная Истина?
Вы спросили, где в восточных философиях есть Абсолют,я вам ответил.
А что касается Православия русского, я ничего не имею против, а только за его возрождение..
Комментарий удален модератором
Комментарий удален модератором
Или Вы придерживаетесь некоего неканонического варианта Библии ?
Если Адам был всезнающ - занчит от хотел спровоцировать гнев Бога и покинуть рай пойдя на поводу Евы?
Комментарий удален модератором
Комментарий удален модератором
Комментарий удален модератором
У Вас что-то не совсем то.
Тогда к статье надо бы давать пояснение - Бог и прочие понятия даются в оригинальной интерпретации Николая Колмакова.
Более этог касаться не буду, некогда Вас изучать, хотя конечно любопытно.
Комментарий удален модератором
Комментарий удален модератором
Комментарий удален модератором
Комментарий удален модератором
Комментарий удален модератором
Комментарий удален модератором
Если утрированно гворить что Бог это некто с седой бородой сидящий на облаке, ну что-то конкретное сыформулированное конкретной религией - это недоказуемо в нерелигиозной системе основанной на реальном познании мира, и опровергаемо по совокупности отделных конкретных фактов и признаков Бога. Тем более недоказуемы правила устанавливаемые религией для людей.
Конкретные религии основаны не на одной, а на множестве равнозначных аксиом, их вообще трудно назвать системой.
.
Далее, говоря о религиозной системе, следует учитывать что это система искуственная, фантазийно-мифическая, только опирающаяся на реальность. В ней может быть доказано что угодно. Но таких систем возможно бесконечно много, как вариант - система Толкинена, только придай ей религиозность, или если развить фейк "Макаронный монстр".
И эта особь из стада со вбитым попами в голову (думает что "направлено Христом") будет учить понимать статью ?
Ха-ха.
Благодарю, не знал о таковом.
Суть в следующем: Утверждение "Если А, то Б" в случае если А - ложно, является истинным высказыванием, а Б - всегда истинным.
Таким образом мы постулируем нечто недоказуемое (а такое случается практически всегда), и ждём Гёделя с его теоремой. Что-то голубчик опаздывает. Да, вот он, как раз. Что там, милейший Гёдель скажет? Ага, из ЛЮБОЙ системы аксиом можно вывести любые противоположные истины.
Вот она - та самая сказанная глупость. Та А из которой можно получить произвольную Б, которая будет истинна.
Делаем вывод:
Поскольку высказывание Гёделя о том, что из ЛЮБОЙ системы координат можно вывести любую произвольную истину истинно, стало быть, сама теорема Гёделя - ложна.
Давно понятно, что надо не шифровать, а рисовать, и тогда обмануться на подобных глупостях как талмудистская логика и производная от неё хуцпа будут бессильны нас обманывать. Пусть из рисунка яблока получит нарисованное неяблоко. И докажет, что яблоко и неяблоко - это следствие одной и той же геометрической формы.
Если же про нарисовать, то ситуация в науке на этот счёт аховая. В системе координат Декарта задать однозначно ничего нельзя, а ничего другого пока не придумали. Например, тензорное исчисление, с которым я слегка знаком, опирается на постулат Эйнштейна об относительности (равнозначности всех точек пространства). Следовательно, если постулат ошибочен, то все геометрии, пространства, метрики, и так далее истинны, но это плохая истина. От моего отца осталась работа, в которой он критикует представления ОТО, и в том числе указывает, что в двух метриках, которые обе справедливы в рамках ОТО можно получать различные результаты вычислений.
Так что, понимайте слово "нарисовать" шире.
"...сумма углов треугольника равна 180 град. принадлежит, скажем так, положительной системе доказательств, а доказательство: сумма углов треугольника не равна 180 град.- принадлежит другой, скажем так, отрицательной систем доказательств. И сдвиг логики происходит, когда системы доказательств объединяют в одну- полную- как бы по одинаковым основаниям..."
При объединении получится Круг - Законченное познание.
Чем не переход к безклассовому обществу или безугловому пространству?
Крутится вертится шар голубой и до одного места ему наши противоречия или гадание на ромашке: верю, не верю или любит,не любит.
Короче: Стремитесь с Логической Гармонии - до любого доказательства или реальности РУКОЙ ПОДАТЬ!
Суть Логической Гармонии в охвате всех составляющих в процессе разбирательства ситуации в определенных условиях.
В этом и состоит сам Инструмент.
Права, по моему, царство Свободы, а Закон по сути - зона для прогулки, чтоб не переборщили Правами.
Президент (самозванец) СССР
А теорема Геделя получилась как результат поисков математиками исходной непротиворечивой системы аксиом для вывода всего. А не для чего-то.