Математиков будут проверять на компьютерах

1 Математиков будут проверять на компьютерахКак сообщает радио «Свобода», компания Intel совместно с известным американским математиком Томасом Хэйлсом начала разработку нового продукта, который будет следить за правильностью математических обоснований.

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

Томас Хэйлс уверен, что внедрение подобный программ, поспособствует не только снижению ошибок, но существенно упростит труд математиков. Специалисты в этой области сообщают, что новое программное обеспечение появится уже в ближайшие годы.

Popularity: unranked

Добавлено в категорию: Технологии

Дом-лист построен в гармонии с природой

13 November 2008 | Автор: Axel | Теги: , , ,

Если вы посмотрите на эти фотографии, то вопрос, почему этот дом называется «дом-лист» отпадет сам собой. Этот дом находится в Рио-де-Жанейро, и его конструкция идеально подходит, как к его расположению, так и к местному климату.

leaf-house Дом-лист построен в гармонии с природой

Идея постройки дома-листа была взята из индийской архитектуры, довольно распространенной в Бразилии, и была воплощена в жизнь практически без изъянов. Дом полностью выстроен из экологически чистых органических материалов. Отдельного внимания заслуживает система сбора дождевой воды, которая позволяет использовать ее в хозяйстве.

leaf-house2 Дом-лист построен в гармонии с природой

В жаркие дни просторные веранды позволяют морскому бризу проникать внутрь постройки и приносить туда прохладу. Такая естественная система вентиляции делает бессмысленной установку каких-либо кондиционеров.

The Leaf House — Aesthetic beauty in harmony with nature

Popularity: unranked

Добавлено в категорию: Технологии

«Энергетический цветок» проследит за потреблением энергии

12 November 2008 | Автор: Axel | Теги: , ,

«Энергетический цветок», созданный экодизайнером Карлом Смитом, не оставит равнодушными любителей растений, которые потребляют слишком много электроэнергии.

flower1 «Энергетический цветок» проследит за потреблением энергии

Изобретение получило название Wilting Flowers, и суть его работы заключается в том, что он при помощи беспроводного передатчика подсоединятся к домашнему счетчику электроэнергии, и, когда владелец дома начинает потреблять энергию в больших количествах, цветок начинает «увядать».

flower11 «Энергетический цветок» проследит за потреблением энергии

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

Concept energy consumption detector gives you visual information of your energy consumption

Popularity: unranked

Добавлено в категорию: Технологии

Интересности | 11.11.08

Глава Google отказался работать в штабе Обамы
Новоиспеченный президент США Барак Обама получил отказ от главы интернет-гиганта Google Эрик Шмидта в ответ на приглашение стать советником президента США по технологиям.

Армия США протестирует искусственный интеллект на геймерах World of Warcraft
Официальные лица армии США заявили о том, что собираются использовать сетевую игру World of Warcraft для того чтобы протестировать одну из своих последних технологий искусственного интеллекта.

Солнцемобиль установил рекорд по дальности путешествий
Канадский автомобиль Xof1, работающий на солнечных батареях, побил рекорд по дальности среди «солнцекаров», сумев преодолеть 15 тысяч 150 км за 140 дней.

— Sony Playstation Portable можно будет использовать в качестве GPS-навигатора
Директор по маркетингу и стратегии бизнеса в России и СНГ Sony Computer Entertainment Europe Александр Харламов сообщил приятную новость для настоящих и будущих владельцев игровой консоли Sony Playstation Portable. С февраля 2009 года российским пользователям в составе функций PSP станет доступен GPS-комплект, в котором содержатся карты Москвы и почти всей России.

Peugeot создаст “яйцемобиль” будущего
Увеличение численности населения и недостаток свободного места заставляют дизайнеров различных автомобильных компаний создавать крохотные экономичные автомобили. Этой тенденции поддался и дизайнер Daniel Scotland, создавший для известного брэнда Peugeot принципиально новый “яйцемобиль” будущего.

Супер Марио ждет обновление
«Мозг» компании Nintendo Shigeru Miyamoto считает, что игры, выходящие на этой платформе, немного консервативны для сегодняшнего рынка. В одном из своих последних интервью ресурсу MTV Multiplayer Blog он отметил, что, если придать таким легендарным играм Nintendo, как Legend of Zelda: Twilight Princess и Super Mario Galaxy немного «свежих» черт, то получатся абсолютно новые по своей играбельности игры, которые смогут составить конкуренцию многим современным бестселлерам.

Компания Renault обеспечит Европу электромобилями
Британское издание Autocar пишет о том, что компания Renault приступила к разработке новых автомобилей с электрическими двигателями. Планируется, что их продажа на европейском рынке начнется в 2011 году.

Popularity: unranked

Добавлено в категорию: Интересности

Подкаст от ScienceBlog.Ru: выпуск №2 (03.11-09.11)

11 November 2008 | Автор: Alex

Темы подкаста:

Когнитивные автомобили смогут общаться между собой на дороге
Грибы подарят человечеству новое дизельное топливо
Тектонические сдвиги заставили человека эволюционировать
Дом-корабль – идеальный способ защиты от наводнения
Муравьи помогут людям справиться с пробками на дорогах

 
icon for podpress  Подкаст от ScienceBlog.Ru: выпуск №2 [4:58m]: Play Now | Play in Popup | Download

Popularity: unranked

Добавлено в категорию: Подкасты

Обычные пальчиковые аккумуляторы теперь можно заряжать от ветра

11 November 2008 | Автор: Axel | Теги: ,

Принципиально новое переносное зарядное устройство Febot, созданное учеными Ji-yun Kim и Soon-young Yang, позволяет заряжать обыкновенные пальчиковые аккумуляторы от ветра.

febot Обычные пальчиковые аккумуляторы теперь можно заряжать от ветра

Все, что нужно, это просто поместить аккумулятор в зарядное устройство, сделанное в виде маленькой торпеды, и прикрепить его с помощью присоски к открытом окну. Ну и, естественно, дождаться, когда подует ветер. Лопасти на торпеде начнут крутиться, в результате чего к аккумулятору будет поступать энергия. читать далее »

Popularity: unranked

Добавлено в категорию: Технологии

Эффективность спама составляет 0,00001 процента

11 November 2008 | Автор: Axel | Теги: , ,

Пожалуй, каждому приходили спамовые письма с предложением за умеренную плату устроить спамовую рассылку. Спамеры в своих письмах говорят, что спам – это эффективный способ раскрутки и продвижения. Сегодня это утверждение было опровергнуто учеными.

spam Эффективность спама составляет 0,00001 процента

Ученые из университета University of California задались вопросом «кто же все-таки отвечает на спам?». Проведя исследование, они выяснили, что в среднем на одно из 12 500 000 спамовых писем получатель пишет ответ. Следовательно эффективность спамовых рассылок составляет 0,00001%.

В ходе исследования ученые проанализировали 350 миллионов электронных писем в течение 26 дней. Только 28 из них не остались без ответа.

Spam gets 1 response per 12,500,000 emails

Popularity: unranked

Добавлено в категорию: Интересности