Абстракции или от простого к сложному. Еще со времен матана первых курсов никак не могла уложить в голове концепцию доказательств теорем, для которых был мешок "допустим", два мешка "при условии, что" и еще функции все непрерывные и ровно "столько, сколько надо" раз дифференцируемые. По цепочке, почти каждая сфера билась об эти конюшни, битком набитые сферическими конями в вакууме — вся высшая математика, физика, математическая физика. Вчера прибавилась новая "лошадь" — модель вычислений. Чтобы честно оценить какой-то алгоритм — нужна абстракция — модель вычислений, в которую мы заложим, какие операции мы хотим считать, потому что анализировать реальное количество операций, выполняемое процессором — сложно. При этом, модели вычислений могут быть разные. Нужно заложить параллелизм? Заложим. Нужно учесть, что данные читаем с диска или базы данных? Учтем. У машины Тьюринга в этом плане PID=1. Это все к чему? Абстракции перестали смущать, даже наоборот. Теперь, самое интересное — их вытащить, осознать и двигаться дальше, от простого к сложному.