Неизменно промахиваясь - Концептуальное математическое искусство.

From: ignat@lj Date: October 23rd, 2005 - 10:23 am (Link)

Всё теперь понятно, большое спасибо!

Возвращаясь к исходному вопросу об эквивалентности истинных утверждений, становится понятно, что логическая эквивалентность не есть полная тождественность смыслов и несомой информации. В частности, сам вывод данной тавтологии представляет интерес как объект метаматематики или логики. И интересно получить наиболее короткие цепочки, как предлагал это делать svintusoid@lj. В этом и состоит разница между тривиальными и нетривиальными высказываниями.

Спасибо за то, что помогли мне с этим разобраться!

(Reply to this) (Parent)