В статье исследуется роль абстрагирования в информатике как инструмента управления сложностью через иерархию уровней абстракции, где каждый уровень инкапсулирует предыдущий, формируя логические конструкции. Объектно-ориентированное программирование демонстрирует, как абстракции организуют взаимодействие сущностей, отражая философскую концепцию информации как основы реальности. В отличие от естественных наук, информатика конструирует свой предмет через абстракции - алгоритмы, структуры данных, - устанавливая «закономерности» в виде инвариантов, которые, подобно природным законам, обеспечивают предсказуемость, но допускают временное нарушение для адаптации. Баланс между свободой проектирования и необходимостью порядка подчеркивает уникальность дисциплины как своего рода метанауки, сочетающей творчество и формальные ограничения.