Религиозные диспуты

[mumu-and-gerasim]

Сообщение от Reitarou

Что ж, это мне еще больше нравится. )

у Гёделя всё почти как у бравого солдата Швейка - поскольку из любого ложного высказывания следует любое другое ложное высказывание , то любую систему ложных высказываний можно замкнуть на самое себя.

Я немного упрощаю - оно называется "теоремы о полноте", Соответственно можно вполне успешно доказывать то , что бог есть и одновременно доказывать то , что бога нет. Просто эти системы не должны между собой пересекаться при использовании.

[Reitarou]

Сообщение от mumu-and-gerasim

у Гёделя всё почти как у бравого солдата Швейка - поскольку из любого ложного высказывания следует любое другое ложное высказывание , то любую систему ложных высказываний можно замкнуть на самое себя.

Я немного упрощаю - оно называется "теоремы о полноте", Соответственно можно вполне успешно доказывать то , что бог есть и одновременно доказывать то , что бога нет. Просто эти системы не должны между собой пересекаться при использовании.

У меня это больше с квантовой механикой ассоциируется. )

[mumu-and-gerasim]

Сообщение от Reitarou

У меня это больше с квантовой механикой ассоциируется. )

теория множеств и общая алгебра вообще-то. Середина 1920х. ( это Гёдель ) - Австрия , Вена.

[Reitarou]

Сообщение от mumu-and-gerasim

теория множеств и общая алгебра вообще-то. Середина 1920х. ( это Гёдель ) - Австрия , Вена.

Я так вижу.