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 Yes, languages. The concept of representability is what matters, not computability.
By the formal defintion of computability, functions processable by a computer are only natural number functions. By representability, real number functions and more are processable by computers.
