> XXVector (XXVector) писал (а) в ответ на сообщение: > Развернуть начало сообщения >
>> Всякая достаточно сильная рекурсивно аксиоматизируемая непротиворечивая теория первого порядка неполна. >> В частности, теорема Гёделя справедлива для каждого непротиворечивого конечно аксиоматизируемого расширения арифметической формальной системы S. >>
>Совершенно верно, вы продвинулись в сторону конкретики, это радует. > Конечно аксиоматизируемого — имеющего конечный ряд безусловных определений. Это можно отнести к природе, или к Богу? > Арифметической формальной системы > Арифме́тика (др.-греч. ἀριθμητική; от ἀριθμός — число) — раздел математики, изучающий числа, их отношения и свойства.
> Формальные системы (ФС) — это совокупность чисто абстрактных объектов, не связанных с внешним миром, в котором представлены правила оперирования множеством символов в строго синтаксической трактовке без учета смыслового содержания, т. е. семантики. > Следовательно 1+1= арифметическая формальная система — совокупность объектов не связанных с внешним миром, в котором представлены правила оперирования множеством чисел. > Это точно про природу., точнее про яблоки….
Совершенно верно Вообще говоря не связанными, как любят говорить математики. Однако никто не запрещает строить связанные системы. В частности это предмет теории моделей
А насчёт, что формула 1+1 не связана с объективной реальностью, так это вообще один из ваших шедевров.
21:08 26.06.2017
zaedik245 (zaedik245) писал (а) в ответ на :
> Мне тоже… >
В кинотеатрах перед фильмами показывали
21:08 26.06.2017
miron (miron) писал (а) в ответ на :
> александр74мар (александр74мар) писал (а) в ответ на сообщение:
>> Дальше катехизиса православия, ни куда… >>
>Вот видите, везде границы.
Религию пишут люди…… … Но уверяю вас, там такие границы, в которых ваше сознание утонет… … Изучение мировоззрения человека на сегодняшний день достигло таких пределов, что может считаться по своей сути безграничным… … К слову, есть такие материалы датированные десятками столетий, которые простым *мирянам* знать не полагается… и это после *утюга* коммунистического периода…
21:09 26.06.2017
BrownDwarfZ 35043 (35043) писал (а) в ответ на :
> XXVector (XXVector) писал (а) в ответ на сообщение:
>> В частности, теорема Гёделя справедлива для каждого непротиворечивого конечно аксиоматизируемого расширения арифметической формальной системы S.
>Ну вот и финиш, Бог бесконечен
Но он один. Мы всего-то расширили нашу систему одним единственным Богом. Куда уж конечнее.
21:12 26.06.2017
XXVector (XXVector) писал (а) в ответ на :
> Но он один.
но бесконечен
21:20 26.06.2017
александр74мар (александр74мар) писал (а) в ответ на :
> Религию пишут люди…… > … > Но уверяю вас, там такие границы, в которых ваше сознание утонет… > …
> Изучение мировоззрения человека на сегодняшний день достигло таких пределов, что может считаться по своей сути безграничным… > … > К слову, есть такие материалы датированные десятками столетий, которые простым *мирянам* знать не полагается… и это после *утюга* коммунистического периода…
>> XXVector (XXVector) писал (а) в ответ на сообщение: >> Развернуть начало сообщения >>
>>> Всякая достаточно сильная рекурсивно аксиоматизируемая непротиворечивая теория первого порядка неполна. >>> В частности, теорема Гёделя справедлива для каждого непротиворечивого конечно аксиоматизируемого расширения арифметической формальной системы S. >>>
>>Совершенно верно, вы продвинулись в сторону конкретики, это радует.
>> Конечно аксиоматизируемого — имеющего конечный ряд безусловных определений. Это можно отнести к природе, или к Богу? >> Арифметической формальной системы >> Арифме́тика (др.-греч. ἀριθμητική; от ἀριθμός — число) — раздел математики, изучающий числа, их отношения и свойства.
>
>> Формальные системы (ФС) — это совокупность чисто абстрактных объектов, не связанных с внешним миром, в котором представлены правила оперирования множеством символов в строго синтаксической трактовке без учета смыслового содержания, т. е. семантики. >> Следовательно 1+1= арифметическая формальная система — совокупность объектов не связанных с внешним миром, в котором представлены правила оперирования множеством чисел. >> Это точно про природу., точнее про яблоки….
>
> Совершенно верно Вообще говоря не связанными, как любят говорить математики. Однако никто не запрещает строить связанные системы. В частности это предмет теории моделей > > А насчёт, что формула 1+1 не связана с объективной реальностью, так это вообще один из ваших шедевров.
Вообще"1+1=" означало сложение двух определений. А термин «связанные системы» — имеют конкретное применение в физике. Вы еще точнее не математик.
21:23 26.06.2017
miron (miron) писал (а) в ответ на :
> zaedik245 (zaedik245) писал (а) в ответ на сообщение:
>> Мне тоже… >>
>В кинотеатрах перед фильмами показывали
Ага, причем иногда было интересней чем кино.
21:28 26.06.2017
zaedik245 (zaedik245) писал (а) в ответ на :
> Ага, причем иногда было интересней чем кино. >
Да, фильмов много не было, как-то не помню.
21:33 26.06.2017
miron (miron) писал (а) в ответ на :
> zaedik245 (zaedik245) писал (а) в ответ на сообщение:
>> Ага, причем иногда было интересней чем кино. >>
>Да, фильмов много не было, как-то не помню.
По моему наоборот было полно детских фильмов. Для меня это конец 60х начало 70х. Неинтересные естественно не помню.
21:43 26.06.2017
zaedik245 (zaedik245) писал (а) в ответ на :
> По моему наоборот было полно детских фильмов. Для меня это конец 60х начало 70х. Неинтересные естественно не помню. >
Может, однообразные.
21:57 26.06.2017
BrownDwarfZ 35043 (35043) писал (а) в ответ на :
> XXVector (XXVector) писал (а) в ответ на сообщение:
>> Но он один.
>но бесконечен
Ну и ладно. Бесконечного Бога засандалим по индукции))
>> … >> Но уверяю вас, там такие границы, в которых ваше сознание утонет…
>> …
>
>> Изучение мировоззрения человека на сегодняшний день достигло таких пределов, что может считаться по своей сути безграничным… >> … >> К слову, есть такие материалы датированные десятками столетий, которые простым *мирянам* знать не полагается… и это после *утюга* коммунистического периода…
>Вот, а простым мирянам, катехизис
А он один… Что простым, что начитанным… Одним ближе к пониманию, другим далее по прочтению… Дорогу осилит идущий… Стучите и отворится…
