Тег «компьютер»

Математическое доказательство размером с Википедию слишком большое, чтобы люди могли его проверить

Борис Конев и Алексей Лисица

Если ни один человек не может проверить доказательство теоремы, действительно ли это может считаться математикой? Этот интересный вопрос возник в связи с недавним доказательством, полученным с помощью компьютера. Оно столь же велико, как все содержание Википедии, поэтому маловероятно, что его когда-нибудь сможет проверить человек. Читать полностью ‘Математическое доказательство размером с Википедию слишком большое, чтобы люди могли его проверить’ »

Алан Тьюринг и его машины: новый взгляд на загадку

Логично, что величайший шифровальщик Второй мировой войны остается загадкой и сейчас, когда прошло уже сто лет со дня его рождения. Алан Тьюринг, блестящий, оригинальный математик, который считается отцом информатики и искусственного интеллекта, изобрел электромагнитный аппарат, названный Бомба (Turing Bombe), с помощью которого смогли расшифровать код немецкой шифровальной машины Энигма (Wehrmacht Enigma). Читать полностью ‘Алан Тьюринг и его машины: новый взгляд на загадку’ »

Эта замечательная Geogebra

Много раз попадалось на глаза слово Geogebra, но как-то руки не доходили посмотреть, что это за программа и что можно в ней делать. Но вот наконец попала на сайт, на котором была размещена анимированная картинка, где можно было, меняя параметры, посмотреть, как она изменяется. Картинка достаточно красивая, цветная, параметры меняются очень легко: нужно просто мышкой двигать ползунок. Скажу просто: понравилось. А теперь самое главное: эта картинка была нарисована в той самой Geogebra. Тут-то я и пошла выяснять, что же это такое. Читать полностью ‘Эта замечательная Geogebra’ »

Визуализация Баха: невозможная арфа Александра Чена

“Музыка’’, — как замечательно сказал Готфрид Лейбниц, — “это удовольствие, которое испытывает человеческий разум от расчета, не осознавая, что он рассчитывает’’. Специалист по компьютерной графике Александр Чен делает это удовольствие видимым с помощью Baroque.Me, созданной им геометрической компьютерной анимации Прелюдии к Сюите для виолончели Иоганна Себастьяна Баха (Сюита № 1 соль мажор). Читать полностью ‘Визуализация Баха: невозможная арфа Александра Чена’ »

Действительно ли полезно полезное программное обеспечение?

Интересная и наводящая на размышления статья Джона Кука.

В своей книге “Отмели’’ (The Shallows) Николас Карр описывает эксперименты Кристофа ван Нимвегена (Christof van Nimwegen) по взаимодействию человека и компьютера. Пользователей поросили с помощью программного обеспечения решить головоломку. Некоторые пользователи получили специальное программное обеспечение, предназначенное для решения головоломок, показывающее допустимые шаги и т. д. Другие пользователи получили программное обеспечение, сокращенное до минимума. Читать полностью ‘Действительно ли полезно полезное программное обеспечение?’ »