Здравствуйте, ботаныч, Вы писали:

Б>собственно вопрос в том, какого ляда мы мочим друг друга не выведя формулу, что это таки надо. а вывод формулы на формальном языке. вдруг оно все разрешимо в рамках формальной логики (на формальных языках)?

Вы мочите друг друга потому что вы — люди — практически животные, с едва заметным налетом "высшей нервной деятельности" (эволюция животных — 900млн лет, эволюция человека — 2.5млн лет, человека разумного — 200тыс.лет). Но эта деятельность все равно подчинена животным биологическим программам, и в конечном итоге — интересам "цивилизации генов", биороботами которой вы являетесь. Прежде всего осознайте этот факт, и подумайте — а так ли оно вам надо, мочить друг друга?