Вчені Едсгер Дейкстра та Тоні Гоар вважають інструкції для комп'ютерних програм математичними реченнями та інтерпретують формальну семантику для мов програмування як математичні аксіоматичні системи. Багатозначність Вчені-фахівці у галузі інформатики стверджують, що в інформатиці існують три окремі парадигми. Наприклад, Пітер Вегнер виділяв науку, технологію та математику, Пітер Деннінг — теорію, абстракцію (моделювання) та дизайн. Амнон Х. Еден описував ці парадигми, як: