The Future Is Undecidable. Duty Is Not.<br>Jun 8, 2026<br>The Future Is Undecidable. Duty Is Not.

What do you do with a problem your mind refuses to stop running?

That sounds like a computer science question. Unfortunately, it is also a very normal life question.

The last post ended with Godel, strange loops, and a sad song trying to become something cleaner than despair. This one is the thought after that thought. The thing that kept sitting in my head after the song blog was done.

Maybe a lot of anxiety is just bad classification.

Not lack of intelligence. Not lack of seriousness. Not even lack of effort.

Just classification.

Is this decidable?

Is this controllable?

Is this actionable by me?

Those are three different questions. And to be honest, I think a lot of the mind’s suffering comes from treating them as one big horrible blob.

Before going further, I should say one thing clearly. I am not trying to tell anyone what their duty is. That would be stupid, and honestly the opposite of the point. Duty, as I mean it here, is not a commandment handed down by someone else. It is what remains after you strip away the undecidable, the uncontrollable, and the unactionable. Everyone has to arrive at that for themselves.

The mind wants everything to halt

My brain has a nasty habit of treating life like a program that should eventually return a clean answer.

Career. Country. Love. Health. Money. Parents. India 2047. Whether a decision was right. Whether something terrible is coming. Whether the story ends in repair or collapse.

The mind runs the simulation.

Then again.

Then again.

It waits for the program to halt.

And if it does not halt, it assumes the problem must be more thinking. More analysis. More tabs open. More scenarios. More worry, dressed up as responsibility.

But some problems are not failing because I have not thought hard enough. Some problems are simply not available to the kind of certainty I am demanding from them.

That is where the mathematical language started helping me. Not because life is literally a formal system. People are not theorems. Politics is not arithmetic. A relationship is not a Turing machine.

But the metaphor is useful because it humiliates the fantasy of total closure.

Godel did not end mathematics

Careful note first: I am not saying Godel proves anything about anxiety, India, the Gita, or fantasy novels. Mathematics is mathematics. If I pretend otherwise, the whole thing becomes cringe very fast.

But the shape of the lesson matters.

The first incompleteness theorem says, roughly, that any consistent formal system strong enough to express basic arithmetic cannot prove every truth expressible within it. There will be true statements the system cannot prove from inside itself.

The technical version has conditions attached. Obviously. But once those conditions are understood, the structural lesson keeps echoing:

Truth is larger than the system.

That line can feel terrifying at first. The tidy dream dies. The hope that a sufficiently powerful formal machine can contain everything important starts to crack.

But mathematics did not end. Mathematicians did not look at Godel and say, “Well, that was fun, let’s shut it down.” The work continued. It became, if anything, more honest. More aware of its own foundations. More aware of the gap between truth and proof.

In that sense, Godel liberated the mathematicians.

He did not say there is no truth. He showed that truth is larger than the formal system trying to trap it.

That is not nihilism.

That is spiritual oxygen.

Because once certainty stops being the idol, pursuit becomes sacred again.

Mathematics continues. Science continues. Civilization continues. The seeker continues.

Turing and the anxiety machine

Turing’s halting problem gives the same humility another shape: there is no general algorithm that can decide, for every possible program and input, whether that program will eventually halt or run forever.

Again, computation did not die with Turing. It became sharper. More rigorous. More conscious of the horizon beyond which no universal predictor can go.

Human worry often behaves like a bad halting analyzer.

Will this country recover? Will this person forgive me? Will my work matter? Will the thing I am afraid of actually happen?

The anxious mind keeps trying to compute the end state of systems too complex, too recursive, and too alive to be decided from where I am standing.

At some point the problem is no longer intelligence. It is category error.

I am asking for a proof where the honest answer is action under uncertainty.

The practical classifier

This is where the realization becomes useful.

When a problem arrives, instead of immediately worrying about it, classify it:

Can this be known?

If yes, investigate. Read. Ask. Measure. Debug. Verify. Do the engineering thing.

Can this be controlled by me?

If yes, act. Make the call. Send the email. Apologize. Study. Save money. Build the thing....