12,080
edits
Changes
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 15:52, 30 November 2015
, 15:52, 30 November 2015→Operational Representation: * '''Note.''' MathJax is messing up on this section, maybe due to interaction with the rest of the article. Needs troubleshooting.
==Operational Representation==
==Operational Representation==
* '''Note.''' MathJax is messing up on this section, maybe due to interaction with the rest of the article. Needs troubleshooting.
If you think that I linger in the realm of logical difference calculus out of sheer vacillation about getting down to the differential proper, it is probably out of a prior expectation that you derive from the art or the long-engrained practice of real analysis. But the fact is that ordinary calculus only rushes on to the sundry orders of approximation because the strain of comprehending the full import of <math>\mathrm{E}\!</math> and <math>\mathrm{D}\!</math> at once overwhelms its discrete and finite powers to grasp them. But here, in the fully serene idylls of [[zeroth order logic]], we find ourselves fit with the compass of a wit that is all we'd ever need to explore their effects with care.
If you think that I linger in the realm of logical difference calculus out of sheer vacillation about getting down to the differential proper, it is probably out of a prior expectation that you derive from the art or the long-engrained practice of real analysis. But the fact is that ordinary calculus only rushes on to the sundry orders of approximation because the strain of comprehending the full import of <math>\mathrm{E}\!</math> and <math>\mathrm{D}\!</math> at once overwhelms its discrete and finite powers to grasp them. But here, in the fully serene idylls of [[zeroth order logic]], we find ourselves fit with the compass of a wit that is all we'd ever need to explore their effects with care.