Некоторые исследователи считали, что Бетховен слышал гармонию Вселенной и переводил её на более понятный для нас язык музыки. А вот для финского художника Вилле Матиаса Хейккеля звучат… простые компьютерные программы, — Technology Review.

Идея г-на Хейккеля и его коллег состоит в следующем: любая компьютерная программа, даже самая простая, содержит некий алгоритм. Достаточно его закольцевать в бесконечный цикл, и начнёт генерироваться удивительная компьютерная музыка.

Как видно из результатов экспериментов, которые новаторы выложили на YouTube, уже пара-тройка арифметических операций, и на-гора, пусть не шедевр, но всё же достаточно интересный музыкальный отрывок. читать далее »

Popularity: 7%

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

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

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

Popularity: 7%