Going Home · The open notebook

Worked 2025-01-07Note

Why this problem

Not glory. The cleanliness of the question. Homecoming if every integer returns. A rewritten story if one does not. A record of thinking before the thinking was good.

Tiago Santana · open notebook

First question people ask

Why this problem. Not why math. Not why curiosity. Why a ninety-year-old hailstone machine when there are bills, products, sermons of ordinary life, and a thousand cleaner ways to look smart online. I kept asking myself the same thing in the first week of January 2025, after the jetlag had mostly lifted and the itch had not.

The honest answer is not glory. Glory is a bad fuel for Collatz anyway. The graveyard of overclaims is crowded, and I have no interest in adding a headstone with my URL on it. The draw was cleanliness. A rule a child can execute. A claim about every positive integer. A century of attention from people who can outcompute and outprove me on their lunch break. If every positive integer really returns to 1, that is a hard kind of homecoming baked into arithmetic. If not, the first counterexample rewrites the story in a single object. Clean forks are rare. I wanted to live near one.

Second question, the one I liked less

Are you doing this to be seen. That question showed up in my own mouth before anyone else asked it. Founders are trained to turn private process into narrative capital. I can feel that reflex in my hands. The counter-discipline I set early was simple: keep a record of how I was thinking even before the thinking was good, and do not let the record become a costume.

An open notebook later became the public shape of that discipline. Early pages are allowed to be hungry and wrong. They are not allowed to pretend a hunch is a lemma. That is a higher bar than silence. Silence protects you from being corrected. A dated note with an explicit non-claim exposes you to your future self, which is the audience that matters most if you plan to stay with a problem for years.

Four layers, already arguing with each other

Even early, the project had layers that refused to collapse into one slogan. I am naming them the way I named them in the notes, not the way a pitch deck would rename them for clarity theater.

Layer one: Going Home as the public name. A human title. A reminder that return is the emotional center of why I cared, without forcing every reader into my biography.

Layer two: the mathematical conjecture track. Collatz, Syracuse, stopping times, later energy attempts, later obstructions. This track has to survive contact with literature and counterexamples to strategies. It does not get to borrow warmth from layer one when the inequalities fail.

Layer three: the Santana Principle track. Sufficient awareness guarantees return. That line is a philosophical operating rule with a dynamical-systems shadow. It is a reading of life and a reading of the toy model. It is not, by itself, a proof ingredient. If I ever let it sign a theorem's name, I have failed the ethics of the notebook.

Layer four: the look-ahead bet. The technical hunch that judging a step without a window of future collapse is how you misread both orbits and lives. That bet has a history older than my notebook in the broad sense of multi-step and probabilistic thinking about Collatz. My job is not to plant a flag on the neighborhood. My job is to see what a particular formalization can and cannot do, and to kill it when it dies.

Those four layers still structure the work. The danger was always the same: letting philosophy pretend to be lemma, letting branding pretend to be novelty, letting almost-results pretend to be all-results. Cleanliness includes keeping the layers from laundering each other.

Elevator pitch, then the wall

There was an elevator pitch forming that I still recognize with a wince and a soft spot. Not just a math proof. A picture that chaos resolves and paths lead home. Awareness as horizon. Return as what becomes visible when you stop lying about your trajectory. Ambitious. Useful as private north star. Poisonous if it becomes the public substitute for unfinished math.

So I built a wall into the pitch on purpose. The wall is one sentence long: I have not closed it. Say the wonder. Say the rule. Say the open status. Say the non-closure. If the last clause falls off, Going Home becomes theater. With it, the notebook can hold both hunger and failure without conscripting the reader into a cult of personality.

I repeat that wall because I will be tempted later, on good days, to soften it. A small negative result feels like progress, and progress feels like momentum, and momentum feels like a trailer for a climax. The wall stays. Progress on a strategy is not closure of Collatz. Closure would be a proof or a counterexample, checked and survived. I do not have that. I am not performing almost-having-that.

Dinner party, walk of 7

There is a dinner-party version that still works if you keep the last clause honest. Someone asks what I am working on that is not HVAC. I say there is a puzzle about numbers. If the number is even, cut it in half. If it is odd, triple it and add one. Do that forever, or until you hit a cycle everyone knows: 4, 2, 1. The claim is that every positive integer eventually gets there.

Then I walk 7 on a napkin because napkins are the correct whiteboard for this. Seven is odd, so 22. Twenty-two is even, so 11. Eleven becomes 34. Thirty-four becomes 17. Seventeen becomes 52. Fifty-two becomes 26, then 13. Thirteen becomes 40, then 20, then 10, then 5. Five becomes 16, and 16 is a pure staircase down: 8, 4, 2, 1. People usually smile at that point. The smile is the hook. The next sentence is the ethics: nobody has proved this for all numbers, and I am studying it in public without claiming I have closed it.

If they want more, I can say computers have checked absurd ranges and every tested start behaves. If they want names, I can say Erdős treated the difficulty as a warning about the readiness of mathematics, and Tao proved deep almost-all statements that still leave a gap the size of the real mountain. If they want my stake, I say the companies fund the hours and the problem teaches me precision under obsession. Then I stop before the pitch becomes a sermon.

What cleanliness is not

Cleanliness is not the same as ease. Collatz is easy to state and not easy to finish. Cleanliness is not the same as innocence. A clean question can still ruin a year if you use it badly. Cleanliness is not moral purity. It is structural: few moving parts in the statement, sharp success and failure conditions, nowhere to hide a fudge factor inside the claim itself.

I work in businesses where fudge factors love to hide. Forecasts that assume best case. Branding that outruns product. Metrics that move because the definition moved. Collatz is a relief because the object does not care about my narrative needs. Either every positive integer returns under the map, or one does not. My feelings are irrelevant to the truth value. That irrelevance is a gift. It is also why philosophy must stay labeled when it sits beside the conjecture. Philosophy cares about meaning. The conjecture cares about integers. Cross-talk is allowed. Smuggling is not.

Money, hours, and the unromantic engine

Why keep going when the wall stays up and the prize stays imaginary. Because the companies fund the hours and the problem still teaches. That is not a humblebrag about wealth. It is logistics. Time is the real substrate of any long attack on an open problem outside academia's formal shelter. Payroll discipline makes private research possible in uneven blocks. Uneven blocks are enough if you refuse to inflate them into a myth of total devotion.

I would rather be changed by a careful study than protected by silence. Silence would be safer for reputation. Silence would also let my worst intellectual habits go uncorrected: falling in love with a slogan, mistaking density for totality, naming a tool as if naming were novelty. Public notes with explicit limits are a training harness. They chafe. They help.

There is also a faith-shaped reason that I will not over-theologize. I do not believe I am owed a proof. I do believe attention is a form of stewardship. If a clean unsolved question keeps teaching me to separate hope from evidence, then the hours are not wasted even if Collatz remains open for the rest of my life. Stewardship is not the same as destiny. Destiny language is how people excuse reckless certainty. Stewardship language is how people stay at a desk after certainty fails.

Homecoming versus counterexample

Two futures still structure my interest. In one, every integer returns, and the homecoming reading stays poetically aligned with the math, though poetry still would not be proof. In the other, a counterexample exists, maybe unreachable by present computation, and the story flips from universal return to a universe with a stranger in it. I am supposed to want the first if I love the metaphor. As a student of the problem I have to want the truth, whichever fork is real.

That posture matters when you have branded the project Going Home. Branding creates gravity toward the comforting fork. The notebook's job is to install counterweight. If a counterexample appeared tomorrow, the honest move would be to update the human essays without pretending I had always been rooting for chaos. I am rooting for reality. Homecoming is my hope and my metaphor. It is not my thumb on the scale.

Ambition with its passport stamped

I am allowed to want a real contribution. Small negative results count. Clear obstruction statements count. Better questions count. A careful public notebook counts as cultural work if not as a theorem. What I am not allowed to want, if I want to stay sane, is the movie version where the founder from Las Vegas walks into the Pantheon of Number Theory with a blog post. That movie is comedy until someone believes it. Then it becomes harm.

Ambition with a passport stamp called honesty looks like this: publish the worked date, publish the limit, cite the prior neighborhood, kill your favorite strategy when the witnesses say die, keep the Santana Principle in the philosophy lane, keep Collatz in the math lane, let them illuminate each other without identity fraud. That is why this problem, not because it is the only hard problem, but because it is the hard problem whose cleanliness matches the kind of honesty I am trying to practice in the rest of my life.

A week that was not a breakthrough week

Worked 2025-01-07. I want that date to mean orientation, not triumph. I was sorting motives. I was naming layers. I was drafting the dinner-party walk of 7 and noticing where I wanted to oversell. I was reminding myself that look-ahead was a bet, not a discovery parade. I was writing toward a future open notebook without pretending the future had already validated me.

Most days that matter in a long project are not breakthrough days. They are days you choose the problem again with clearer terms. This was one of those. If you came looking for a lemma, you are in the wrong entry. If you came looking for why a Brazilian-American operator in the desert would keep a dangerous puzzle beside his companies, the answer is here without fireworks: cleanliness, homecoming stakes, layered work with a hard wall against fake closure, and a preference for being changed over being protected.

Reject pile

I also know why not other problems, at least for me. I did not pick Collatz because it was trendy on social media that month. I did not pick it because a prize purse made my eyes dilate. Erdős money is lore and signal about difficulty, not a compensation plan. I did not pick it because I thought professional mathematicians were foolish for leaving it open. They left it open because it is hard in ways that eat standard tools.

I rejected the framing of lone genius. I rejected the framing of pure self-help metaphor with math stickers glued on. I rejected the framing of secret proof nearly done. The reject pile matters as much as the chosen stack. You can see a project's ethics in what it refuses to be.

And I rejected waiting until I was qualified in the resume sense. That one is delicate. Credential humility is good. Credential theater that delays honest notes forever is how founders hide. My compromise: write as a student, compute like an amateur with respect for professionals, never launder amateur status into authority, never launder authority cosplay into proofs. January 7 was me signing that compromise in ink.

What HVAC taught me about open loops

A service call has a brutal clarity. Either the house cools or it does not. You can tell a story about the compressor, the capacitor, the duct design, the homeowner who kept the filter until it became archaeology. The air still either moves or fails. Collatz has that family resemblance. Intermediate stories about modular patterns and average drift can be true and still leave the main loop open. I am at home in that kind of unfinishedness because my day job already trains it. You close tickets. You also inherit systems that will never be perfect, only tended.

That does not make Collatz a home appliance. It makes my tolerance for non-closure less exotic than it sounds in essay land. People assume entrepreneurs need decisive endings. Sometimes. Sometimes the craft is living inside a machine that only yields partial diagnostics while customers still deserve care. The conjecture is a pure form of that pressure without the customer. No one is hot and angry in a living room if I fail to prove termination. The only customer is truth, which does not call you back. That quiet is exactly why ego tries to invent applause.

On not recruiting the reader into my myth

A risk special to personal sites: the reader becomes an extra in the founder story. I do not want that. If you use these notes, use the parts that help you think. Steal the dinner-party walk of 7. Steal the wall sentence. Steal the layer discipline. Leave my biography on the table if it does not serve you. Going Home is not a funnel. It is a field notebook that happens to live next to my name because I am the one who has to stand behind the limits.

This is also why I resist symmetrical wrap-ups. Real weeks do not end in a bow. On January 7 I still had unread messages and a brain half in business ops. The orientation I wrote did not complete a circle back to the opening question with a key change in the melody. It just made the question expensive enough that I would not spend it cheaply later.

If you feel unfinished at the end of this entry, good. The problem is unfinished. My closure status is unfinished. The only finished thing I can offer is the refusal to pretend otherwise.

A sharper inventory of temptation

Temptation one: call the Santana Principle a theorem-shaped object because it sounds decisive. Reply: put it in philosophy, make it earn any future mathematical form the hard way, never let the slogan do algebraic work.

Temptation two: treat Tao almost-all as near enough for public vibes. Reply: almost is not all. Say it until it bores you. Boredom means the medicine is working.

Temptation three: treat computational verification as moral support for certainty. Reply: verification is evidence about checked ranges, not a cloak for the infinite tail.

Temptation four: treat look-ahead as my invention because it organized my notes. Reply: the neighborhood is older. Cite. Narrow your claim to the formalization you actually tested and the obstruction you actually proved later. This is early, so the claim stays even smaller: a bet, a direction of attention.

Temptation five: use faith language to skip lines in a proof. Reply: faith may sustain the worker. It does not substitute for the line.

Temptation six: disappear into the problem to avoid a hard conversation in a company. Reply: if Collatz becomes avoidance, pause Collatz. The notebook is not asylum from stewardship.

I wrote that inventory because motive hygiene is part of why this problem stays available to me. Dirty motives still happen. Naming them keeps them from driving.

What I told myself about time

I did not promise myself a year. I did not promise myself a proof by forty or fifty or ever. I promised myself a mode: return to the clean question, sharpen the layers, keep the wall, fund the hours without romantic bankruptcy, accept that a life can hold HVAC and hailstones without making one the apology for the other.

Time will either grow a real result or it will not. Either way the record should remain readable by a hostile skeptic and a generous friend. The skeptic checks for counterfeit closure. The friend checks for despair. Both are useful readers. I write toward both.

Brazilian families taught me long games in a different key: migrations, businesses that take years to stabilize, faith practiced through ordinary Tuesdays. Las Vegas taught me heat and show business and the discipline of systems that fail loudly when ignored. Collatz sits strangely well between those lessons. Long game. Loud failure modes for bad strategies. Ordinary Tuesdays where you simply do the next honest page.

January light in the valley

Las Vegas in early January can feel like a held breath before summer becomes the main character again. That weather matched the work: not dramatic, just clear enough to sort motives on paper. I did not need a storm to make the decision sacred. I needed a table, a napkin walk of 7, and a wall sentence I would still be willing to say when a microphone was on. Clarity without fireworks is still clarity. That was enough weather for choosing how I would speak about an unsolved problem.

If this entry has a center, it is not a tidy moral. It is a tension I still live inside: I want the picture in which paths lead home, and I refuse to counterfeit the certificate. The companies keep the lights on. The wall keeps the soul from selling tickets to a finish line I have not reached. The problem remains clean. So do my obligations to it.

Keep reading

All field notes on /going-home. The obstruction essay is Ugly Windows.