I’ve been doing a lot of proofs this week. A whole lot. For all times greater than zero, there exists a proof on Meaghan’s whiteboard.
This morning at about 1 a.m. I realized that proofs, even of advanced calculus, are theological. The infinite union of open sets is open because somehow that glorifies God. If E is connected, there is a finite open cover of E because it glorifies God to be that way.
I mean, really, everything that exists gives glory to God. That’s why it exists.
Perhaps if our mathematics group were to write a psalm tonight we would say,
The mathematical truths declare the glory of God,
and their proofs proclaim his handiwork.
Day to day pours out our homework,
and night to night reveals God’s knowledge.