Stanislav Maslovski -> [email protected] @ Sun, 8 Jul 2012 17:23:46 +0400:
SM> Ты явно хочешь свернуть с доказательства правильности *решения* задачи на SM> доказательство правильности *постановки* задачи. Это отдельная SM> проблема, которая формальными методами не решается *в принципе*. В принципе - решается. В теории следующего уровня :-) -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
