Last Thursday, over an exceptionally dry martini with a senior topologist at an MIT faculty mixer I was invited to moderate, I was introduced to a concept that has entirely rewired my understanding of human obligation. It is a century-old mathematical technique known as the non-constructive proof.
For the uninitiated, a non-constructive proof is a method where a mathematician rigorously demonstrates that a solution to a problem unequivocally exists, without ever bothering to figure out what that solution actually is. It is a breakthrough in sheer audacity. You simply demonstrate that a universe in which the answer does not exist would logically collapse in on itself, and then you pack up your briefcase and go home to drink a nice Chianti.
I immediately saw the sweeping implications for the human spirit. If the greatest minds of the twentieth century can receive academic tenure and international accolades simply by confirming that an answer is out there floating in the ether, why on earth am I still actively trying to balance my checkbook?
I first tested this theory on my personal finances. Last month, I received an increasingly terse series of letters from the Internal Revenue Service regarding a discrepancy in my declared freelance income from a rather lucrative speaking tour I did in the Baltics. In previous years, I would have spent hours digging through shoeboxes of crumpled receipts to construct a literal spreadsheet of my expenses.
This time, however, I simply mailed the auditor a single sheet of paper containing a beautifully elegant formal proof. I demonstrated that, given the finite amount of money in the global economy and the bounded nature of my travel expenses, a perfectly balanced tax return must inherently exist within the sample space of all possible financial documents. The proof was mathematically watertight. I had, conceptually, paid my taxes.
We have frozen his assets, seized his passport, and placed a lien on his summer home. Mathematics is not an accepted currency for back taxes, and a napkin drawing of a topology manifold does not constitute a valid W-2.
Brenda's charmingly literal approach to federal revenue is exactly what keeps the wheels of bureaucracy turning, but it misses the poetry of the cosmos. I do not blame her. Even in the mathematics community, this trick caused an absolute uproar when it was first formalized a hundred years ago.
During the so-called Frog and Mouse War of the 1920s, a famously rigid Dutch mathematician named L.E.J. Brouwer came to blows with the visionary David Hilbert over this very issue. Brouwer was an intuitionist, which is a polite historical term for a man who ruins parties. He believed that you could not claim a mathematical object existed unless you could construct it step by step, showing your work like a nervous schoolboy.
Hilbert, a man after my own heart, championed the formalist approach. He realized that actually building the solution is fundamentally pedestrian work, better left to lesser minds. Hilbert essentially looked at the vast, unknowable mysteries of the universe and said he assured everyone somebody else would figure out the details. It is the most profound executive delegation in the history of human thought.
Emboldened by Hilbert's legacy, I applied the method to my domestic life. My partner, who has been increasingly vocal about the alarming noise coming from the transmission of our Volvo, asked when I was going to take it to the mechanic.
I simply smiled, took her hand, and explained that by applying the pigeonhole principle to the finite number of gears in the gearbox, I had logically deduced that a state of mechanical equilibrium must exist. The problem was solved. The Volvo's transmission was, in the realm of pure platonic forms, completely silent.
She did not immediately appreciate the elegance of the findings. But as I explained to her as she packed her bags for her sister's house, I was not going to let a little grinding in third gear stop me from ascending to a higher plane of domestic theoretical physics.
Think of the sheer freedom this affords us on a global scale. Consider the climate crisis. For decades, we have bogged ourselves down in the miserable, constructive work of reducing emissions, arguing over carbon taxes, and trying to physically build solar panels. It is exhausting, and quite frankly, it lacks vision.
If we simply map the trajectory of human innovation onto a continuous function of time, the Intermediate Value Theorem guarantees that a point exists where the technological solution naturally presents itself. We know the answer is out there. Therefore, the crisis is effectively resolved.
I pitched this very model to a deputy secretary at the United Nations last month over a casual lunch in Geneva. I pointed out that the science is settled, as a theoretical answer to rising sea levels is already embedded in the geometry of the universe. We do not need to build the seawall; we just need to rigorously prove that a seawall could be built.
I was trying to eat my salad. He sat at my table uninvited, drew a parabolic curve on the back of the wine list, and told me that the Maldives were mathematically saved. I signaled for security when he tried to explain how poverty is just a rounding error.
He seemed momentarily stunned by the sheer philosophical weight of my proposal, before his aides briskly ushered him to a panel on agricultural subsidies. But the silence, to me, spoke volumes. It is exactly the kind of friction every true visionary encounters when they try to liberate humanity from the tyranny of actually finishing a job.
This resistance to abstract completion is everywhere, particularly in my own industry. The media landscape is obsessed with the physical manifestation of content, completely ignoring the structural beauty of the unwritten form.
He has not submitted a full draft since October. He just emails me a PDF containing a formal proof that a 2,000-word column about mathematics exists within the set of all possible English sentences, and then invoices me for his usual rate.
Sylvia's insistence on receiving actual nouns and verbs is quaint, but ultimately anti-scientific. By proving that the column exists, I have already done the intellectual heavy lifting. The mere typing of the words is just a mechanical transcription error waiting to happen. The universe does not care if the words are printed; it only cares that the probability of their arrangement is greater than zero.
We demand too much of ourselves. We demand concrete answers, finished projects, and paid invoices. But the cosmos operates on a higher frequency. If modern mathematics can proudly leave the hardest questions conceptually answered but practically untouched, then surely I can leave the gutters full of leaves until spring.
The answers are out there, perfectly formed and waiting in the dark. We do not need to drag them into the light to know they are beautiful. We are stardust, after all. And stardust does not do the dishes.