4 ms·
Also, an example of Brouwer's fixed point theorem is the Y Combinator in the lambda calculus. See https://en.wikipedia.org/wiki/Fixed-point_combinator#Y_combina
by zitterbewegung 5y ago
Also, an example of Brouwer's fixed point theorem is the Y Combinator in the lambda calculus. See https://en.wikipedia.org/wiki/Fixed-point_combinator#Y_combinator https://en.wikipedia.org/wiki/Fixed-point_combinator#Y_combi...
- drdeca 5y agoWhat is the compact space in question there? I don’t see one. Or, I don’t even see an appropriate topology to apply? Are you sure?