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.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.