Post #2712420
2026-04-26 19:06 UTC
@RonJeffries@mastodon.social If you could compile and run the specs, then it follows that P=NP, because then verifying the spec is same as implementing it. But there are good reasons that specs omit important details such as user passwords that are required for actually executing them.
Replies (1)
-
@RonJeffries@mastodon.social 2026-04-26 20:54
@esap@noc.social ISTM that a program is in fact a spec for itself, so what does this tell us about P = NP?