writing
My writing is released under the GNU General Public License (3.0 or later), so that anyone can make edits to the work provided it stays free.
Arithmetic of the Continuum
The target audience for this book is threefold: graduate students in technical fields (not necessarily math); math majors at liberal arts colleges; and the occasional precocious teenager.
-
Introduction
(released: 11 Nov 2025)
[src | pdf] -
Logic, Sets, and Order
(released: 11 Nov 2025)
[src | pdf] -
The Topological Perspective
(released: 24 Dec 2025)
[src | pdf] - Products of the Line
(upcoming: 3 Mar 2026) - Functional Analysis
(upcoming: TBA) - Distributions
(upcoming: TBA) - Harmonic Oscillation
(upcoming: TBA)
Rhapsody in C
This is my planned attempt at treating complex analysis, differential geometry, and electromagnetism as a unified conceptual body. Expect to see something on this by the end of 2026.
4NAND
An experimental four-valued logic system with imaginary truth values,
inspired by G. Spencer Brown's Laws of Form.
(released: 5 Jan 2026)
[src | pdf]
Elementary NT Notes
I grew disenchanted with how voluminous the later editions of
Rosen's elementary number theory book became, and how difficult it
can be to find a print copy of the original in good condition. So, I wrote
a set of mini notes in the spirit of Rosen's original.
(released: 26 Jul 2025)
[src | pdf]
Calculus: Integrals Tutorial
A quick how-to on the basic techniques of integration
from high school calculus: substitution, integration by parts,
and avoiding trigonometric identities via complexponentials.
(released: 18 Jul 2025)
[src | pdf]
Calculus: Divergence of a Binomial Series
A "perturbation theory" solution to a series that resists the usual tests.
(released: 19 Jul 2025)
[src | pdf]
Calculus: Integrating (x8+1)-1
Wolfram Alpha chickens out on giving the answer in terms of radicals.
(released: 6 Jan 2026, originally from Jul 2025)
[src | pdf]
Finite implies (Injective iff Surjective)
Two environments, one solution: just count.
(released: 18 Jul 2025)
[src | pdf]
Connection and Curvature
Maxwell's equations in the language of differential forms,
including how to write the Faraday 2-form as a matrix.
Written in the mostly-plus convention, due to many of us not being particle physicists.
(released: 26 Jul 2025)
[src | pdf]
contact: justinthomaschun[at]proton[dot]me