News for hackers. Stuff that matters.
Re:Who Can Understand the Proof? A Window on Formalized Math... by Xcelerate on Friday January 10, 2025 @12:52PM (#42657947)
> is just a DFA

Oh is that all? If resource bounded Kolmogorov complexity is that simple, we should have solved P vs NP by now!

I debated adding a bunch of disclaimers to that parenthetical about when the infinite tape starts to matter, but thought, nah, surely that won’t be the contention of the larger discussion point here haha

There are no comments on this comment yet.