New answers tagged lambda-calculus
3
The notation $A^T$ stands for the transpose of a matrix. It is not specific to machine learning, but rather standard notation in linear algebra. Other notations are sometimes used, for example $A'$.
A related operation is the adjoint $A^*$. The transpose and adjoint are equal for real matrices.
1
This may take the form of a quantity which is asserted to decrease continually and vanish when the machine stops.
Lambda calculus evaluation is a sequence of beta reduction steps. So for the lambda calculus (with or without types: types don't affect evaluation), you want a quantity (a positive integer) that decreases at each reduction step.
Such a quantity ...
answered Mar 31 at 22:39
Gilles 'SO- stop being evil'
40.1k7 gold badges108 silver badges171 bronze badges
0
After some research, I think I can answer this question by myself now.
Short answer
Wikipedia is correct, that is
If the $\lambda $-calculus uses call by value reduction strategy, the term $(\lambda x.x)(y y)$ is a normal form.
Long answer
Standard $\lambda $-calculus does not distinguish reduction strategies. It only gives you some Reduction Rules (e.g. $\...
Top 50 recent answers are included
