Our aim is to sketch some ideas related to how we (as in, we two) think we (as in, we humans) think. "That theory is useless. It isn't even wrong." - Wolfgang Pauli. Our hope in this paper is to provide a theory, admittedly somewhat vague, of how we think about mathematics. We also hope our ideas do not cause the reader to be reminded of Pauli's quote above. These notes were motivated by the interesting book by Changeaux and Connes.
Joyner, D. and Lejarraga, P.
"Notes on Formal Constructivism," Humanistic Mathematics Network Journal: Iss.
26, Article 9.
Available at: https://scholarship.claremont.edu/hmnj/vol1/iss26/9