Apologies for the lack of updates; I’ve been attempting to apply to graduate school. In the meantime, I want to link to a fantastic paper I just heard about by Eugenia Cheng on moral truth in mathematics. In private (or for me, on MathOverflow), mathematicians often say things like “well, morally, this should be true because…” and Cheng extensively discusses what this could mean and why it’s important.
I’m glad I finally have a word for this. I’ve cared about moral truth more than proof for awhile now, and that’s a major reason I’ve been trying to teach myself physics: even if it isn’t a good source of proofs, it seems like a great source of moral truths.