The existence of true one-way functions depends on Kolmogorov complexity
I love this. There is something eerie about concrete results in computation and math that makes it hard for me to sleep at night.<p>It's like we're discovering the speed of light in a non-physical universe, placing limits and boundaries on logic itself. Though this is less of a boundary and more of a door, it's no less concrete.