Lettres persianes - 1
Dec. 13th, 2006 06:29 amПерсидские письма
Письмо первое
На восьмой день, хорошенько отдохнувши, выспавшись и погулявши, вернулся Аллах Милосердный и Многомудрый на работу. И сотворил он бесконечные множества, и назвал он часть из них открытыми, и отдал он их Математикам на вечное изучение.Взмолились математики: О Великий Аллах! Слишком бесконечны твои множества, и слишком мало среди них открытых. Дай нам силу знать, что узнать нам никогда не дано будет.
И сотворил Аллах, Милостивый и Милосердный, ноль и единицу, и отдал он их Логикам и Тисиистам*. И дошли Логики и Тисиисты, шагая от нуля к единице и обратно в разных сочетаниях, до развилки, на которой было написано "Налево - Р, направо - NP". И взмолились они: О Великий Аллах, а истинно ли, что это действительно разные пути? Дай нам знать, что можем мы отделить вычислимое от невычислимого.
Вздохнул Аллах, Всемогущий и Всеведущий, и сотворил Он Квадратичные полиномиальные векторные поля на плоскости. И избрал Он народ себе, и назвал Он народ Свой Персами, и отдал он Квадратичные векторные поля Персидским Математикам.
И славят с тех пор Аллаха Милосердного и Многомудрого все пятнадцать миллионов Персидских Математиков, ибо в пятимерном многообразии Квадратичных векторных полей для каждого найдётся уголок, и для Мудреца, поседевшего в изучении подстановок, и для безусого Юноши, только что овладевшего своим Первым Интегралом.
И нет в этом мире Теорем Невозможности, ибо единственная достойная правоверного Перса формулировка такой теоремы канонична, как молитва, и начинаться обязана словами
"Именем Аллаха Милосердного и Всемогущего, клянусь, что перебрал я все возможные случаи и не встретил среди них искомого. Значит, угодно Аллаху было, чтобы он не существовал..."Но ещё ни один Персидский Математик не дошёл до такой степени учёности и искусства заменять переменные, чтобы осмелиться сказать, что перебрал всё. Ибо Велик, но Постижим мир Квадратичных векторных полей, дарованных Аллахом в вечное владение Персидским Математикам.
__________________________
TCS=Theoretical Computer Science. Нет в языке истинно верующих названия для этих людей.