2012-12-21

alleukemist: (Darwin)

Только что президент наш, Барак Обама, свет очей наших, подписал указ о том, что этот понедельник - тоже официальный выходной день, а не только вторник. Во всяком случае, для работников исполнительной ветви власти и их подчиненных (включая нас). Я буду приходить по-любому ненадолго, но это приятно.

Под катом сам указ, если кому интересно. Я, например, никогда не видел здешние указы. )

Я, меж тем, все-таки садист. Ловлю какое-то первертивное удовольствие, спрашивая что люди будут делать на рождество. Они всячески рассказывают, потом зеркалят: "А ты?" На что я с удовольствием отвечаю: "Ничего! Мы будем праздновать Новый год!" Ловлю ошарашенные взгляды. :-) Правда, прокол в одном месте вышел. При нашем греке Диносе спросил у одной американки, а когда сказал, что никак не буду праздновать, Динос внезапно вмешался: "Да-да, у нас рождество 7 января будет!" Динос - это такой sweet guy, что мне стало его жалко, я кашлянул и промямлил, что-то типа "Ну-у... У православных христиан в России рождество принято праздновать 7 января, по дореформенному календарю".

alleukemist: (Darwin)
Разговаривал давеча с коллегой [livejournal.com profile] roomd за обедом. Интересный, надо сказать, человек. Он программист, соответственно какое-то прикладное математическое образование (к сожалению, я забыл какое именно), но много толкался по биологическим лабораториям за свою карьеру, имел отношение к классификации и алгоритмам анализа химических соединений, так что было о чем поговорить. Так вот, разговорились мы с ним о математике, затронули судоку, к которой я, если помните, безуспешно пытался найти способы поиска решения без перебора. И он меня огорошил известием, что невозможность такого решения уже доказана математически. Это побудило меня написать данный пост, который, подозреваю, наберет 0 комментариев, но мне важно записать мои собственные мысли.
Дело в том, что таких задач в математике огромное количество. Математики не могут найти формулу для простых чисел, кроме как перебором. Решить ту же судоку в общем виде, кроме как перебором. Между прочим, даже простейший алгоритм оптимального расположения звездочек на американском флаге (помните, я писал об этом) требует перебора. Этих задач огромное множество, с ними сталкиваются на каждом шагу, и все они имеют одно общее свойство: это задачи, требующие решений в целых числах. Как ни странно, насколько мне известно (а мне известно, к сожалению, крайне мало, но я не встречал никогда иного), математика практически не может оперировать с целыми числами. Я не имею в виду арифметические правила. Вот смотрите, сколько всего мощного есть для рациональных чисел: тут тебе и понятие функции, и дифференциальный анализ, и возможность работать с бесконечными множествами - куча всего. Я понимаю, что сейчас вызываю смех у профессиональных математиков и прошу их простить меня - суть не в этом. Что же мы имеем для столь же глубокого анализа целых чисел? Ничего. Функция, определенная только для целых чисел, недифференцируема, и вот весь анализ отпадает. Множество целых чисел бесконечно, однако оно счетное, и большая часть инструментов для работы с множествами тоже отпадает. Мне кажется, что это какая-то досадная оплошность. Можете смеяться, но я уверен, что простые числа - это всего лишь какая-то функция целых чисел. Как и числа Фибоначчи (а ведь они имеют даже биологическое значение, то есть в природе функциональны!). Если бы эту теорию функций целых чисел кто-то взялся разработать, думаю, это дало бы большой прорыв в математике и заставило бы полностью пересмотреть современные подходы к компьютерной безопасности, которая основывается на условно необратимых операциях (перемножении больших простых чисел). К сожалению, я этого сделать не могу: у меня времени нет, да и я уже слишком специализировался в биологии и никогда не стану математиком. Это так, пожелание грядущим поколениям. :-)
Page generated 2017-09-19 11:41
Powered by Dreamwidth Studios