Художница разработала новые символы для математиков

Художница Тауба Ауэрбах (Tauba Auerbach) создала вместе с американским математиком Байроном Куком девять новых математических символов, сообщает Wired.

Эти символы в настоящее время планируют включить в TeX - издательскую систему, которую ученые используют для верстки математических текстов. По мнению Кука, они очень сильно облегчат работу исследователей в теории алгоритмов.

Символы потребовались Куку для решения задачи остановки. Эта задача формулируется следующим образом. Для конкретной программы необходимо предложить алгоритм, который при известных входных данных выдаст ответ на вопрос: зависнет программа или нет? Еще в 30-х годах прошлого века было доказано, что универсального алгоритма, то есть применимого ко всем программам одновременно, не существует.

Однако данное доказательство не отрицает того факта, что для конкретной программы подобный алгоритм создать можно. Именно решая подобную задачу, Кук столкнулся с тем, что записи его рассуждений в традиционных символах слишком громоздки. Поэтому математик прибег к помощи Ауэрбах, которая помогла ему в создании новых символов.

Министерство обороны Великобритании закрыло отдел по изучению НЛО

Министерство обороны Великобритании приняло решение закрыть отдел, занимавшийся изучением сообщений очевидцев об НЛО. Об этом пишет британская газета The Daily Telegraph. Отдел перестал работать с 1 декабря 2009 года.

Причиной закрытия стала бесполезность отдела для поддержания безопасности страны. За 50 лет его существования не было обнаружено ни одного опасного объекта, отмечается в сообщении, вывешенном на официальном сайте британского министерства обороны. В сообщении также подчеркивается, что сотрудники отдела не могли определить природу НЛО, о которых сообщали жители. Таким образом, его деятельность, которая оплачивалась из бюджета, в принципе не могла влиять на укрепление безопасности страны.

Анализ данных о неопознанных летающих объектах ведется в Великобритании с перерывами с начала XX века. Исходно военные опасались появления в небе аппаратов-шпионов, запущенных вражескими государствами. После Второй мировой войны в подозрительных объектах стали видеть корабли внеземных цивилизаций. За время работы отдела по изучению НЛО было установлено, что появление около 90 процентов объектов объясняется естественными причинами.

В последние годы военные начали постепенно рассекречивать данные об НЛО. В свободный доступ было выложено большое количество соответствующих документов. Их краткий анализ и ссылка на источник доступны здесь.

Первый самолет на солнечных батареях поднялся в воздух

Первый в мире самолет на солнечных батареях Solar Impulse совершил пробный полет, сообщается на официальном сайте проекта.

Полет прошел на минимальной высоте - Solar Impulse оторвался от Земли не более чем на метр и пролетел около 350 метров. Инженеры проекта подчеркивают, что целью испытания было не поднять самолет на большую высоту, а проверить характеристики летательного аппарата.

Настоящие испытания Solar Impulse пройдут в ближайшее время. Так, в рамках одного из тестов самолет должен пролететь без посадки 2 дня и одну ночь. Окончательной целью серии летных испытаний является подготовка аппарата к кругосветному перелету, который запланирован на 2012 год.

Проект самолета на солнечных батареях разрабатывается швейцарским аэронавтом Бертраном Пикаром (Bertrand Piccard). На крыльях Solar Impulse, размах которых составляет 60 метров, установлены 12 тысяч солнечных батарей, их вес составляет 400 килограммов. Вырабатываемого ими электричества достаточно, чтобы четыре мотора мощностью по 10 лошадиных сил работали даже в темное время суток. Общий вес конструкции составляет около 1,6 тонны.