Компьютерные науки

Материал из Вики ИТ мехмата ЮФУ
Версия от 09:10, 2 июня 2009; Ulysses (обсуждение | вклад) (связь алгебры и логики)

Перейти к: навигация, поиск

Компьютерные науки определить довольно сложно: над этим долгое время бьются лучшие силы Мехмата[1], но пока их позиция местами отличается от всех других существующих позиций, одной из которых (наиболее доминирующей) являются следующая: «Информатика — это не наука»[2]. В наиболее экзотических подходах утверждается, что компьютерные науки — это алгебра во всех ее проявлениях[источник?]. Или даже — математическая логика во всех её проявлениях[3][4]. Впрочем, последние две точки зрения при определённом желании могут считаться одной[5][6].

Возможно, имеет смысл присоединить компьютерные науки к известной[7][8][9] аналогии между женщинами–программистами и морскими свинками.

Ссылки

  1. Статья «Computer science: область знаний».
  2. Сотрудник деканата, личная беседа.
  3. Отчасти эта линия прослеживается в статье Н. Н. Непейводы: От анализоцентризма к логикоцентризму в преподавании математики для информатиков.
  4. «Что было существенно в начале века — логики стали жать, это то, что потом превратилось в computer science». «В логике была программа Гильберта... Гёдель, Тьюринг, фон Нейман, вычислительные машины и computer science — в значительной степени это всё пошло от Гильберта». Ю. И. Манин, интервью polit.ru, 16.10.2008.
  5. Тесная связь алгебры и логики характерна, к примеру, для Новосибирской математической школы, основанной А. И. Мальцевым. См. также журнал Алгебра и логика.
  6. В «Номенклатуре специальностей научных работников», определяющей научные направления, по которым можно регистрировать свои достижения (защищать диссертации и получать учёные звания), для алгебры и матлогики определено единое направление: 01.01.06 «Математическая логика, алгебра и теория чисел». См. также программу вступительного экзамена в аспирантуру и кандидатский минимум.
  7. Обсуждения этой аналогии на одном из форумов интернета.
  8. Статья «Женщина в информационных технологиях: профессионал или морская свинка?».
  9. Соответствующий тезис на сайтах анекдотов: [1][2][3].