Regular Representations of Uniform TC^0 — mentioned by nyrikki

Mon, 06 Jan 2025 16:31:29 GMT

Rice's theorem means you can't choose to decide if a program is correct, but you have to choose an error direction and accept the epislon. The Curry–Howard–Lambek correspondence is possibly a good tool to think about it. The reason I suggested graduate level complexity theory is because the undergrad curriculum is flawed in that it seems that you can use brute force with a TM to stimulate a NTM with NP. It is usually taught that NP is the set of decision problems that can be solved by a NTM in polynomial time. But you can completely drop the NTM and say it is the set of decision problems that…

Paper and discussion history. A mention is not an endorsement.

Regular Representations of Uniform TC^0 · HackerPapers discussions

Regular Representations of Uniform TC^0 — mentioned by nyrikki