6 ms·
The underlying idea is the idea of fixed points (aka spectra, diagonalizations, embedding, invariants, braids). By fixed point I mean something like the "Lawver
by adamnemecek 4y ago
The underlying idea is the idea of fixed points (aka spectra, diagonalizations, embedding, invariants, braids). By fixed point I mean something like the "Lawvere's fixed point theorem".
https://ncatlab.org/nlab/show/Lawvere%27s+fixed+point+theorem https://ncatlab.org/nlab/show/Lawvere%27s+fixed+point+theore...
I have a linkdump on this https://github.com/adamnemecek/adjoint https://github.com/adamnemecek/adjoint
I also have a discord https://discord.gg/mr9TAhpyBW https://discord.gg/mr9TAhpyBW
- Workaccount2 4y agoMaybe an ELI5 of "fixed points"?
- adamnemecek 4y agoA solution of any computational problem.
- Jtsummers 4y agoGeneral definition (courtesy of the wiki): A fixed point (sometimes shortened to fixpoint, also known as an invariant point) is a value that does not change under a given transformation. So x is a fixed point of a function f if f(x) = x. This can be generalized to various kinds of things in mathematics, but as an algebraic example: f(x) = x^2 1 and 0 are fixed points: f(1) = 1^2 = 1 f(0) = 0^2 = 0 https://en.wikipedia.org/wiki/Fixed_point_(mathematics) https://en.wikipedia.org/wiki/Fixed_point_(mathematics)
- emmelaich 4y agoPerhaps not an explanation per se, but examples -- If you have two rulers and and compress one, then you when you lay them together there will be one point which is exactly at the same point. Likewise, if you have two paper chessboards, and scrunch one up, there will be at least one square* which is exactly over the top of the intact one. This also gives an intuition for the difficulty of actually finding the fixed point, even though you know there is one. * more precisely not only a square, but an exact, dimensionless point. (afaik)