This includes some surprisingly complicated systems, like real (as opposed to integer) arithmetic. Real arithmetic is not enough to express integer arithmetic? I suppose it all boils down to how you define "arithmetic",…
This includes some surprisingly complicated systems, like real (as opposed to integer) arithmetic. Real arithmetic is not enough to express integer arithmetic? I suppose it all boils down to how you define "arithmetic",…