So the empirical evidence has existed for years. There is universal decidability under P. Period. You just haven’t done any empirical work yourself to test it. And it’s hard.
Source date (UTC): 2021-02-13 03:41:40 UTC
Original post: https://twitter.com/i/web/status/1360433934190936075
Reply addressees: @torinmccabe @PROPERTARYAN
Replying to: https://twitter.com/i/web/status/1360432188207095810
Leave a Reply