Является ли Программирование подмножеством математики? [закрытый]

Я много раз слышал, что все программирование на самом деле является подмножеством математики. некоторые предлагают что OO, в своих корнях, математически основано, но я не получаю связи, кроме некоторых очевидных примеров:

• использование индукции для доказательства рекурсивного алгоритма,


• формальные доказательства корректности,


• функциональные языки,


• лямбда-исчисление,


• асимптотическая сложность,


• DFAs, NFAs, Машины Тьюринга, и теоретические вычисления в целом,


• и тот факт, что все на поле бинарное.

Я знаю, что математика очень важна для программирования, но я борюсь с этим представлением "подмножества". Каким образом программирование является подмножеством математики?

Я ищу объяснение, которое может иметь отношение к развитию предприятия/ОО, если есть достаточно сильная связь, то есть.