Abstract
Understanding lengthy mathematical proofs requires strong concentration. Authors must efficiently map whole logical structures into sequential texts. One way to ease such tasks is presenting the logical structure in a functional programming style. In our method, functional proofs are implemented by a real programming language. The behavior of each function appears in the proofs as a building block ready to be visualized with concrete data. This paper contains a case study of the well-known Dirichlet's theorem on the convergence of Fourier series. It shows the relevance of our method in rigorous mathematical presentations that involve ε-δ arguments intensively.
Similar content being viewed by others
References
Beeson MJ (1980) Foundations of constructive mathematics. Springer, Berlin Heidelberg New York Tokyo
Hayashi S, Nakano H (1989) PX: a computational logic. MIT Press, Cambridge, Massachusetts
Kleene SC (1967) Introduction to metamathematics. North-Holland, Amsterdam
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Yukita, S. A functional presentation of Fourier series convergence. The Visual Computer 12, 350–359 (1996). https://doi.org/10.1007/BF01782233
Issue Date:
DOI: https://doi.org/10.1007/BF01782233