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