Not to rescue Tipler, but:
After all, what is a computer program but a series of imperative sentences? A map from range to domain, a proof in propositional logic, or a series of lambda equations and reductions all come to mind...
After all, what is a computer program but a series of imperative sentences?
A map from range to domain, a proof in propositional logic, or a series of lambda equations and reductions all come to mind...
None of these possibilities seem to exclude being also a series of imperative sentences.
In much the same way rhetorically asking ‘After all, what is a computer program but a proof in an intuitionistic logic?’ doesn’t rule out ‘a series of imperative sentences’.
Not to rescue Tipler, but:
None of these possibilities seem to exclude being also a series of imperative sentences.
In much the same way rhetorically asking ‘After all, what is a computer program but a proof in an intuitionistic logic?’ doesn’t rule out ‘a series of imperative sentences’.