Наткнулся случайно на определение «вычисления» в википедии и был несколько ошарашен.
Вычисле́ние — математическое преобразование, позволяющее преобразовывать входящий поток информации в выходной, с отличной от первого структурой. Если смотреть с точки зрения теории информации, вычисление — это получение из входных данных нового знания.
Сразу предвижу критику русской википедии, поэтому привожу англ вариант.
A calculation is a deliberate process that transforms one or more inputs into one or more results, with variable change.
Значит ли это, что отображение функции вида /x.x не является вычислением. И даже функция вида, /x.(maybe x) - после своего отображения, будет считаться вычисленной не всегда. Более того, математическое выражение 3*1 (и еще over 100000) - та же фигня.
Как же это совмещается с комбинаторами неподвижных точек? Есть ли альтернативные определения вычислений?
И почему бы не дать более подходящее определение вышеописанному явлению - ИЗМЕНЕНИЕ. А под вычислением понимать просто процесс трансляции input --> output?
Это специлаьно так сделано, чтобы запутать необремененных мозгом чуваков, вроде меня, или на то имеются объективные причины?
