Список проголосовавших за комментарий "ИМХО, Вы ошибаетесь в своей интерпретации этой известной дилемы, что/как. Когда о декларативном знании говорят, что оно отвечает на вопрос «что», там имеется в виду не «что делать», а «что это». То есть, математика говорит на языке отображений. Например 1 + 1 [что это?] = 2; factorial(5)[что это?] = 120"