Skip to content
DevMeme
3012 of 7590
Mathematics Post #3327 · source on Telegram

A Mathematician's Bedside Manner

Description

This is a six-panel comic strip that plays on the ambiguity of the title 'doctor'. In the first panel, a woman is tending to a man who has collapsed on the sidewalk, calling out, 'Any doctor here?'. He says he's having 'A heart attack'. A man in a business suit approaches, stating, 'I'm a doctor, what's going on'. In the following panels, he clarifies, 'I'm a doctor in mathematics'. The woman, distressed, tells him, 'he is going to die'. In the final panel, the mathematician, with a deadpan expression, responds, 'Prove it'. The humor stems from the collision of two worlds: the urgent, practical world of medicine and the abstract, proof-based world of mathematics. The joke satirizes the stereotype of the academic who is so detached from reality that they would demand a formal proof for an observable, life-or-death event. It resonates with anyone in tech or academia who has a Ph.D. and isn't a medical doctor

Comments

16
Anonymous ★ Top Pick This is what happens when the formal verification team is asked to join a production incident bridge. They don't offer a fix, they just ask you to prove the system is actually down
  1. Anonymous ★ Top Pick

    This is what happens when the formal verification team is asked to join a production incident bridge. They don't offer a fix, they just ask you to prove the system is actually down

  2. Anonymous

    PagerDuty: “Checkout service is in cardiac arrest!” Formal-methods PhD on call: “Hold the defibrillator - I won’t touch prod until someone produces a Coq proof that CPR preserves liveness.”

  3. Anonymous

    This is every code review where the senior architect asks you to formally prove your O(n) solution won't cause heap exhaustion in production while the servers are literally on fire and customers are screaming - sometimes you just need to ship the defibrillator patch, not derive its correctness from first principles

  4. Anonymous

    When your PhD in Computer Science makes you technically a 'doctor' but the only thing you can debug is code, not cardiac arrest. At least in mathematics, every problem has a proof - in production, we just have post-mortems and hope the logs tell us what killed the system

  5. Anonymous

    Mathematician on the incident bridge: “Prove it.” SRE: “Around here, QED means quick emergency deploy - Grafana provides the axioms.”

  6. Anonymous

    Prod heart attack? Mathematician on-call: 'First, prove liveness property holds.'

  7. Anonymous

    Sev0 with the team’s math PhD: “Prod is dying!” “Prove it.” Two hours later we had a TLA+ spec, a neat QED, and a dead cluster

  8. @ZgGPuo8dZef58K6hxxGVj3Z2 5y

    Oh no

  9. @tarasssssssssssssss 5y

    cringe

  10. @sylfn 5y

    That girl: Thats obvious (это очевидно!)

  11. @alhimik45 5y

    Sherlock Holmes and Dr. Watson, being drifted away in a hot air balloon, finally spot a man below and ask him where they are. "You are in a hot air balloon." "Watson, that man below is a mathematician." "But Holmes, how can you know that?" "His answer is both correct and totally useless."

    1. @dsmagikswsa 5y

      legit

    2. @zaspirin 5y

      Brilliant

    3. @clockware 5y

      I heard some people have same impression about Japanese. "Does this train go to station X?" "Yes" ... "Does this train stop at station X?" "No"

    4. dev_meme 5y

      🤷‍♂️

  12. @wormik48 5y

    Minus 1

Use J and K for navigation