Differentiation of Elementary Functions by Double Reductio ad Absurdum
- 1 Department of Psychiatry, Iryo Hojin Sosindo Sakamoto Hospital, Higashiosaka, Japan
Abstract
This paper proposes a logical framework for differentiating elementary functions using the double reductio ad absurdum, revisiting the methods established by Eudoxus and Archimedes. In the modern era, digitization using computers is advancing across all fields, including documents, photographs, videos, music, and more. Furthermore, genetic information is digital. The element of digital information is Plato’s One. Consequently, the restoration of Plato’s One is necessary, and this paper demonstrates how the ancient Greeks, starting from Plato’s One, employed the double reductio ad absurdum to expand the mathematical universe from discrete to continuous. Specifically, this paper introduces differentiation by rigorously bounding the derivative between the upper and lower secant slopes. Using this approach, this paper demonstrates how this method determines unique derivatives for power, exponential, and trigonometric functions through the double reductio ad absurdum. While computationally more complex than standard techniques, this approach offers significant philosophical value and serves as an educational tool to provide a logical and intuitive grounding in calculus. Furthermore, this paper resolves Zeno’s arrow paradox, the origin of differentiation, using a double reductio ad absurdum, and conducts a neuroscientific examination of human visual perception, which underpins Zeno’s arrow paradox.
- Archimedes (2002a). Measurement of a Circle. In T. L. Heath (Eds.), The Works of Archimedes (pp. 91-98). Dover Publications.
- Archimedes (2002b). Quadrature of the Parabola. In T. L. Heath (Eds.) The Works of Archimedes (pp. 233-252). Dover Publications.
- Aristotle, (1996). Book VI. In R. Waterfield (Ed.), Oxford World ’ s Classics: Aristotle: Physics (p. 161). Oxford University Press. https://doi.org/10.1093/oseo/instance.00262111
- Bear, M. F., Connors, B. W., & Paradiso, M. A. (2016). Neuroscience: Exploring the Brain. In M. F. Bear, B. W. Connors, & M. A. (Eds.), Enhanced (4th Ed., pp. 356-359). Jones & Bartlett Learning.
- Dawkins, R. (2006). The Selfish Gene (30th Ed.). Oxford University Press.
- Dedekind, R. (1963). Continuity and Irrational Numbers. In W. W. Beman (Trans.), Essays on the Theory of Numbers . Dover Publications.
- Euclid (1956a). Book I. In T. L. Heath (Ed.), Th e Th irteen Books of Elements (Vol. 1, p. 153). Dover Publications.
- Euclid (1956b). Book V. In T. L. Heath (Ed.), The Thirteen Books of Elements (Vol. 2, pp. 145-147). Dover Publications.
- Heath, T. L. (1981a). A History of Greek Mathematics (Vol. 1, pp. 67-70). Dover Publications.
- Heath, T. L. (1981b). A History of Greek Mathematics (Vol. 1, pp. 90-91). Dover Publications.
- Heath, T. L. (1981c). Theory of Proportion. In T. L. Heath (Ed.), A History of Greek Mathematics (Vol. 1, pp. 325-327). Dover Publications.
- Hoffman, D. D. (1998). Visual Intelligence: How We Create What We See (p. 143). W. W. Norton & Company.
- Kandel, E. R., Schwartz, J. H., Jessell, T. M., Siegelbaum, S. A., & Hudspeth, A. J. (2021a). Low-Level Visual Processing: The Retina. In E. R. Kandel, J. D. Koester, & S. H. Mack (Eds.), Principles of Neural Science (7th Ed., pp. 521-544). McGraw-Hill.
- Kandel, E. R., Schwartz, J. H., Jessell, T. M., Siegelbaum, S. A., & Hudspeth, A. J. (2021b). Intermediate-Level Visual Processing and Visual Primitives. In E. R. Kandel, J. D. Koester, & S. H. Mack (Eds.), Principles of Neural Science (7th Ed., pp. 545-563). McGraw-Hill.
- Kandel, E. R., Schwartz, J. H., Jessell, T. M., Siegelbaum, S. A., & Hudspeth, A. J. (Eds.). (2021c). The Inferior Temporal Cortex Is the Primary Center for Object Recognition. In E. R. Kandel, J. D. Koester, & S. H. Mack (Eds.), Principles of Neural Science (7th Ed., pp. 565-570). McGraw-Hill.