Best scientific (not programmable, not producing plots) calculator in your opinion.

[pier4r]

(04-09-2017 07:55 AM)Paul Dale Wrote:  I would be extremely surprised if the 17b solver were not Turing complete. This is a fairly low bar.

The solver would seem to be strictly more powerful than the Z3 and that's been proven to be Turing complete. This machine had no indirect addressing, no conditional execution and the only loop it is capable of was to rerun the entire program.


Pauli

I knew the Zuse systems, and I did not know that they were so limited. Interesting solution in the papee