BrownDwarfZ 35043 (35043) писал (а) в ответ на сообщение:
> XXVector (XXVector) писал (а) в ответ на сообщение:
>> Противоречие означает, что в результате наблюдений вы формулируете утверждение и одновременно его отрицание. Не соблаговолите ли популярно пояснить как возможно такое? Привести пример, скажем quoted2
>Ну скажем вы помрете, а на самом деле жить будете после смерти. В Аду. quoted1
Ну вот там и побеседуем о противоречиях))
BrownDwarfZ 35043 (35043) писал (а) в ответ на сообщение:
> XXVector (XXVector) писал (а) в ответ на сообщение:
>> Это как раз и означает, что система, описывающая природу включает и арифметику тоже. quoted2
>Какое отношение система описывающая природу имеет к природе? Мы говорим про арифметику в природе, а не в вашей модели описывающей ее 4% quoted1
Запишите законы природы на бумаге. Вот вам и формальная система. Определению формальной системы эта запись удовлетворяет
Если вдруг услышите от атеиста разговоры о вечности Души, поделитесь пожалуйста, мне будет это интересно… … Дальше взвешивания тела перед и после физической смерти научные теории ещё не продвинулись…
>Не сообщите их? А за одно нобелевскую получите. Повторюсь — 4%. quoted1
А вы сообщите как должно выглядеть противоречие. Вы так и не удосужились этого сделать, хоть вас и просили. Как это в результате наблюдения над объектом возможно сформировать утверждение об этом объекте совместно с отрицанием этого утверждения.
>>> zaedik245 (zaedik245) писал (а) в ответ на сообщение: >>>> XXVector (XXVector) писал (а) в ответ на сообщение: >>>>> У Маши 2 яблока, а у Пети 3 яблока. Сколько всего яблок у детей? >>>>> >>>> J'applaudis
>>>> Но это природа в арифметике, а не арифметика в природе, Вот ведь оно как! >>> >>> На колу висит мочало. Это как раз и означает, что система, описывающая природу включает и арифметику тоже. Поэтому под условия теоремы Гёделя она подходит quoted3
> Всякая достаточно сильная рекурсивно аксиоматизируемая непротиворечивая теория первого порядка неполна. > В частности, теорема Гёделя справедлива для каждого непротиворечивого конечно аксиоматизируемого расширения арифметической формальной системы S. > quoted1
Совершенно верно, вы продвинулись в сторону конкретики, это радует. Конечно аксиоматизируемого - имеющего конечный ряд безусловных определений. Это можно отнести к природе, или к Богу? Арифметической формальной системы Арифме́тика (др.-греч. ἀριθμητική; от ἀριθμός — число) — раздел математики, изучающий числа, их отношения и свойства. Формальные системы (ФС) — это совокупность чисто абстрактных объектов, не связанных с внешним миром, в котором представлены правила оперирования множеством символов в строго синтаксической трактовке без учета смыслового содержания, т. е. семантики. Следовательно 1+1= арифметическая формальная система - совокупность объектов не связанных с внешним миром, в котором представлены правила оперирования множеством чисел. Это точно про природу., точнее про яблоки….
XXVector (XXVector) писал (а) в ответ на сообщение:
> В частности, теорема Гёделя справедлива для каждого непротиворечивого конечно аксиоматизируемого расширения арифметической формальной системы S. quoted1