Нет, это не абстрагирование. Эти людт ничем не хуже прочих на потоке разбирались, допустим, с функциями на многообразии:) То есть, они прекрасно умели делать все связанное с новыми "правилами игры", что ли, и доказательства теорем и задачи и все что хочешь что не связано с построению определенной последовательности действий оптимальным путем.

Как-то так.