All people that say all programs are Turing complete, and therefore equivalent, need to be slapped.
https://link.springer.com/article/10.1007/s10817-021-09604-0
Also formal logics are picking up speed, due to being more democratic than conventional proofs and easier to collaborate on.
@jmw150 do you mean all programming languages? If so, could you elaborate? Do you mean something along the lines of "all programming languages are Turing complete" all the while certain programs are clearly much better expressed in one language over another?
@zpartacoos It is similar to the people that think computer can't represent fractions accurately.
It is not a good upper bound in most cases. Not all constructive logics are equivalent, and the upper bound is not known.
