4 ms·
There are programs with proofs that they work - but that does not make them reducible. I double checked it with ChatGPT if anyone is interested in more details
by zby 2mo ago
There are programs with proofs that they work - but that does not make them reducible.
I double checked it with ChatGPT if anyone is interested in more details: https://chatgpt.com/s/t_6a6883385ab481919126c7b631000815 https://chatgpt.com/s/t_6a6883385ab481919126c7b631000815