http://alekoksan.livejournal.com/ ([identity profile] alekoksan.livejournal.com) wrote in [community profile] useless_faq2012-01-02 05:01 pm
  • Add Memory
  • Share This Entry

Логическая задачка

У нас есть некая формальная непротиворечивая система. Будет ли являться непротиворечивой формальная система, построенная на отрицании аксиоматики первой?

UPD: Дорогие господа, задачка-то логическая. Так что ваши утверждения должны быть обоснованы логически. А то развели тут.
Flat | Top-Level Comments Only

[identity profile] regent.livejournal.com 2012-01-04 04:01 pm (UTC)(link)
Я это и имел в виду в последнем предложении.

[identity profile] alekoksan.livejournal.com 2012-01-04 04:07 pm (UTC)(link)
Хм. Интересно. Попробую дальше.

[identity profile] regent.livejournal.com 2012-01-04 04:18 pm (UTC)(link)
Хорошо.

Заменяем первую аксиому на противоположную. Согласно доказанному выше, получаем систему аксиом номер 2, которая тоже непротиворечива.

Заменяем в системе 2 вторую аксиому - получаем систему номер 3, которая в силу того же опять непротиворечива.

Заменяем в системе 3 третью аксиому ...

И так пока не исчерпаем весь список.

[identity profile] alekoksan.livejournal.com 2012-01-04 04:27 pm (UTC)(link)
Спасибо. Вы совершили революцию в моем сознании.

[identity profile] regent.livejournal.com 2012-01-05 07:33 pm (UTC)(link)
Нет. Я неправ.
http://useless-faq.livejournal.com/12434178.html?thread=367144706#t367144706
Flat | Top-Level Comments Only