Зачем будущих программистов учить физике

[vit_r]

Программирование - это процес построения и проверки гипотез. Именно "проверки", а не "доказательства".

В ИТ редко когда что надо доказывать. Формальные языки (которые каким-то боком подходят для математических теорем) в ИТ употребляются только в очень узких областях.

Так что, программист использует типичный подход физика: изучаем систему, предсказываем поведение, ставим эксперимент и сравниваем результаты с теорией.