The little square
There is a little square at the end of a proof. It is so small, almost impolite, considering everything that came before it. All those lines, the careful assumptions, the moments where something seemed obvious until it wasn’t, and then this little square. Finished. I look at it and feel a kind of peace. Not because the world has become easier, but because a small part of it has agreed to stop arguing with me.
I think that is part of what draws me to mathematics. There is a promise in it. If I am careful enough, if I refuse the convenient mistake, if I keep following the thing even after it stops being beautiful, something will finally hold. The conclusion will not change because I am tired. It will not become less true because somebody dislikes it. There is a gentleness in that, although gentleness is probably not the word people expect.
But I catch myself wanting that little square in places where it does not belong. At the end of a conversation. At the end of an apology. At the end of the long, embarrassing question of whether I am becoming someone I would want to know. I want a conclusion that will stay concluded. I want the world to be understandable, but sometimes I think I only mean obedient.
What the proof cannot carry
A proof begins somewhere. Before the certainty, there are assumptions, definitions, a language we have agreed to use. This does not make the proof dishonest. It makes it possible. I know this when I am looking at symbols. Somehow I forget it when I am looking at my own life. I mistake my starting point for the only place a person could reasonably begin.
If someone values peace more than I do, their conclusion can look foolish from where I stand. If someone is willing to lose an argument to keep a friendship, I can call that weakness and congratulate myself for having principles. But what exactly have I proved? Only that their choice does not follow from my assumptions. I have been grading their answer to a question they were never trying to solve.
There is an arrogance in treating every disagreement as an error waiting to be corrected. I recognize it because it is an attractive arrogance. It lets me remain curious about ideas without being curious about people. I can ask what is wrong with their reasoning and never ask what their reasoning is protecting. Their grief, perhaps. Their hope. Some ordinary, necessary happiness that does not fit neatly into the language I brought with me.
Leaving a little room
I do not want to abandon precision. I love precision. I love the feeling of finding the exact place where a thought stopped making sense. But I am beginning to suspect that precision also means knowing what a method cannot tell me. A ruler does not become more useful because I insist on measuring a song with it. There are questions that need a different kind of attention.
An unfinished proof can be frustrating because it asks me to remain in contact with something I do not control. I can leave it, of course. I can decide the question was uninteresting. I can fill the missing step with confidence and hope nobody looks too closely. Or I can sit with it. Admit that I have reached the edge of what I know, and that the edge is a place, not a failure.
Maybe this is the comfort I am trying to find. Not the comfort of everything being settled, but the quieter comfort of not having to pretend that it is. I can be serious about truth without rushing to declare myself its owner. I can care about an answer and still leave some space around it.
The little square is beautiful. I still want to earn it. But until then there is this open page, and this question, and the possibility that tomorrow I might see something I cannot see today. For now, I think that is enough to keep writing.