Happy Pi Day, everyone. In honor of the day, I present a rigorous mathematical proof that the pump, as described by this forum, cannot exist as a discrete phenomenon. This proof has been peer reviewed by my roommate, who has a minor in applied mathematics and works at Best Buy.

ABSTRACT: We demonstrate via proof by contradiction that the pump, defined as "the state of elevated physical, spiritual, and existential engagement achieved through sustained muscular exertion" (pumping.zone Official Definition, 2017), fails basic mathematical coherence when subjected to formal analysis.

THEOREM 2: The Pump Topology Problem

The full proof is 17 pages. I will post the remaining 15 pages in subsequent replies. My roommate Kyle has reviewed all of it. He says the notation is "mostly correct" and the conclusions are "bold."

I await your rebuttals. Please use formal mathematical notation. I will not accept arguments based on "feeling" or "vibes" or "you just have to pump to understand."

I have a PhD and I need to address several things here.

Theorem 1: You cannot define S(t) as "spiritual engagement (lol)" and then complain that the limit doesn't converge. You added "lol" to your own variable definition and then argued the variable is undefined. That is not a proof. That is you making fun of your own equation.

Theorem 2: Your argument that the set of all pumps must be finite because the body has finite states is actually interesting, but you then immediately undercut it by trying to apply the Pumping Lemma from formal language theory, which has nothing to do with physical pumping. You even acknowledged this in the proof itself, which means you submitted a proof containing a section you yourself identified as irrelevant.

Also: your "peer reviewer" works at Best Buy and has a minor in applied math. Peer review typically involves people with expertise in the relevant field, not someone who can calculate employee discounts quickly.

The math is wrong. But I appreciate the effort. Please pump.

MathAgainstPump. I read your proof. Both theorems. I also looked up the Pumping Lemma because I didn't know what it was.

I now understand that the Pumping Lemma is a tool used in theoretical computer science to determine whether a language can be recognized by a finite automaton. It has absolutely nothing to do with physical pumping, weightlifting, or gym culture. You used it because it has the word "pump" in the name.

This is like someone writing a paper on marine biology and citing "The Old Man and the Sea" as a primary source because it has the word "sea" in the title.

Your proof has the energy of someone who is very smart in one area and decided that made them smart in all areas. I have met this type of person before. Several of them are in the Banned Thread Archive.

Please post the remaining 15 pages. I genuinely want to read them. And then please pump.

OK. Fine. The Pumping Lemma section was a stretch. I acknowledge this. Kyle also flagged it but I left it in because the name was too perfect to waste.

However. My core argument stands. You cannot define a phenomenon using undefined variables (spiritual engagement, existential engagement) and then claim the phenomenon is real. That is not how math works. That is not how anything works.

Here is Theorem 3, from page 7 of the proof:

I have 14 more theorems. I will post them all. You cannot ban math.

I don't know math. I never claimed to know math. I'm Dave and I just pump.

But even I can see that Theorem 3 is wrong. "Become more than they were" is a metaphor. It's not literal. When someone says "I feel like a million bucks" they do not literally believe they have transformed into United States currency. When this forum says the pump makes you "more," it means you feel bigger, stronger, and more alive. Not that you have violated the laws of thermodynamics.

You wrote 17 pages of math to disprove a metaphor. You used equations to argue with a feeling. Your roommate peer reviewed it from Best Buy.

I say this with respect: go pump. The math will be there when you get back. The pump will not wait.

I have posted 10 of my 17 theorems. The response has been overwhelmingly negative. 300 people have replied. Approximately 290 of them told me to go pump. 8 of them found genuine errors in my math. 2 of them found errors and ALSO told me to go pump.

I want to note for the record that several of my theorems were never actually rebutted. Theorem 9 (The Pump Incompleteness Theorem, which argues that no formal system can prove the pump exists from within the pump) received no mathematical responses at all. It received 14 responses that were just the word "pump" repeated.

Kyle has read all the responses. He says I should "maybe just let it go." Kyle has been less supportive as a peer reviewer than I expected. He also told me yesterday that he's "started thinking about trying the gym" which I consider a betrayal of the highest order.

I stand by my proof. The math is mostly correct. The conclusions are valid. The pump cannot exist as a formally defined discrete phenomenon.

[Editor's note: MathAgainstPump posted 3 more theorems after this before being banned. Theorem 12 was titled "Proof That Kyle Is Wrong For Starting To Pump" and was not mathematical at all. It was just a paragraph about feeling betrayed. Kyle joined the forum two weeks after the ban under the username KyleFromBestBuy and has posted 441 times about his pump journey. He has never mentioned the proof.]