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