Здравствуйте, graniar, Вы писали:
G>Здравствуйте, ботаныч, Вы писали:
Б>>собственно вопрос в том, какого ляда мы мочим друг друга не выведя формулу, что это таки надо. а вывод формулы на формальном языке. вдруг оно все разрешимо в рамках формальной логики (на формальных языках)?
G>Потому-что надо учитывать тех, кто думает не формулами, а сердцем. И тех, кто и в формальной логике теории игр придет к выводу, что им таки надо, чтобы думающие сердцем мочили кого укажут.
улыбнулся быб