Если бы всё так просто было. Гностики ведь заметили , что "христианство" как бы порождено неоднозначной грамматикой. И что используемая формальная грамматика позволяет порождать не только "формальный язык христианства" но и другие "языки". Основная проблема была в "семантической эквивалентности" порождаемых языков. Точнее даже - какой из языков "соответствует реальности". Или даже так - какой из языков можно использовать для создания реальности. Тогда ведь ещё до "теоремы Гёделя" не додумались! ( ну там как бы следствие утверждения "из любого ложного высказывания следует любое ложное высказывание" ).
http://elementy.ru/trefil/21142
И тут в 1931 году какой-то венский очкарик — математик Курт Гёдель — взял и опубликовал короткую статью, попросту опрокинувшую весь мир так называемой «математической логики». После долгих и сложных математико-теоретических преамбул он установил буквально следующее. Возьмем любое утверждение типа: «Предположение №247 в данной системе аксиом логически недоказуемо» и назовем его «утверждением A». Так вот, Гёдель попросту доказал следующее удивительное свойство любой системы аксиом:
«Если можно доказать утверждение A, то можно доказать и утверждение не-A».
Иными словами, если можно доказать справедливость утверждения «предположение 247 недоказуемо», то можно доказать и справедливость утверждения «предположение 247 доказуемо». То есть, возвращаясь к формулировке второй задачи Гильберта, если система аксиом полна (то есть любое утверждение в ней может быть доказано), то она противоречива
Единственным выходом из такой ситуации остается принятие неполной системы аксиом. То есть, приходиться мириться с тем, что в контексте любой логической системы у нас останутся утверждения «типа А», которые являются заведомо истинными или ложными, — и мы можем судить об их истинности лишь вне рамок принятой нами аксиоматики. Если же таких утверждений не имеется, значит, наша аксиоматика противоречива, и в ее рамках неизбежно будут присутствовать формулировки, которые можно одновременно и доказать, и опровергнуть.
Но всё это как раз был у гностиков в более элегантной формулировке "Азъ есмь то , что азъ есмь".
Там ещё вместо этой фразы просто рисовали этого обжору Ауроборуса.
P.S. Только вот у Кронекера от похожих "озарений" чисто конкретно крыша поехала , а Гёделем ни коллега Фрейд ни коллега Юнг не заинтересовались.
Last edited by crazy-mike; 05-26-2013 at 03:18 PM.
И вообще, Майки, ноль и единица не замечены среди символов каких-либо религий. Так что пора определяться.
Кто будeт рубить сук?A кстати в африке бушует Ебола!Вот тебе нада пожрать в ресторане описанным книгой... (с)
There are currently 1 users browsing this thread. (0 members and 1 guests)
|
|
Terms of Service | Privacy Policy |
|