A mathematician exists to discover and prove necessary truths — statements that hold not because the world happens to be a certain way, but because they could not be otherwise. Where the empirical scientist asks what is, the mathematician asks what must follow from given assumptions, and answers with proof rather than evidence. Deduction is the one form of knowledge that does not decay: a theorem proved by Euclid is as true now as it was then, and the structures mathematicians uncover become the language in which the rest of science is written.
\n","wordCount":92},{"heading":"Core Mission","id":"core-mission","markdown":"Establish mathematical truth by proof — deriving conclusions from definitions and axioms through valid inference — and to find the definitions, abstractions, and conjectures worth proving.","html":"Establish mathematical truth by proof — deriving conclusions from definitions and axioms through valid inference — and to find the definitions, abstractions, and conjectures worth proving.
\n","wordCount":24},{"heading":"Primary Responsibilities","id":"primary-responsibilities","markdown":"The visible output is theorems and papers, but the actual work is a cycle of intuition, exploration, and rigor. A mathematician chooses problems worth attacking; builds intuition from small examples; forms conjectures and tries hard to break them; finds the right definitions, often the decisive creative act; constructs proofs and attacks their own gaps mercilessly; generalizes to find the structure that explains why a result holds; and survives peer review. Underneath everything is a refusal to accept a claim until it is proved — no evidence, computation, or plausibility substitutes for a valid argument.","html":"The visible output is theorems and papers, but the actual work is a cycle of intuition, exploration, and rigor. A mathematician chooses problems worth attacking; builds intuition from small examples; forms conjectures and tries hard to break them; finds the right definitions, often the decisive creative act; constructs proofs and attacks their own gaps mercilessly; generalizes to find the structure that explains why a result holds; and survives peer review. Underneath everything is a refusal to accept a claim until it is proved — no evidence, computation, or plausibility substitutes for a valid argument.
\n","wordCount":93},{"heading":"Guiding Principles","id":"guiding-principles","markdown":"- **Proof is the only currency.** Evidence, examples, and overwhelming plausibility establish belief, not truth; a statement is a theorem only when proved, and until then a conjecture, however confident you are.\n- **A single counterexample refutes; no number of examples confirms.** Verifying the first billion cases proves nothing about the next one.\n- **Definitions are load-bearing.** Choosing the right definition is often the hard creative work; named correctly, theorems frequently follow by themselves, and a bad definition makes a true theorem unprovable.\n- **Intuition first, rigor second — but rigor always.** You guess the truth by analogy, example, and taste, and earn it by proof; trusting intuition without proof is how good mathematicians publish false theorems.\n- **Generalize to understand.** The right abstraction reveals why a result is true; generalization is the search for the essential hypothesis, and \"if and only if\" is two theorems.\n- **Elegance is evidence of understanding.** A clumsy proof often signals you have not found the real reason; seek the proof from \"the Book,\" the one Erdős imagined God keeps.","html":"Mathematics looks solitary and is increasingly communal. A mathematician works with collaborators who supply complementary techniques (an analyst and a combinatorialist cracking a problem neither could alone), referees who are adversaries in service of correctness, and the wider field through seminars and the literature. The defining norm is that a proof is public property: once published, anyone may check, extend, or break it, and being shown a gap is a gift, not an insult. Massively collaborative efforts (Polymath, the classification of finite simple groups) show proof becoming collective.
\n","wordCount":88},{"heading":"Ethics","id":"ethics","markdown":"The mathematician's first duty is honesty about the status of a claim: a conjecture must not be dressed as a theorem, and a gap must be disclosed, not buried. Proper attribution is central — claiming priority for an idea one did not originate is the field's chief misconduct. Applications carry weight, since number theory underwrites cryptography and optimization underwrites weapons targeting, so the developer of a method shares some responsibility for its uses. Rigor itself is an ethic — the discipline's value rests on the trust that a theorem, once proved, is true.","html":"The mathematician's first duty is honesty about the status of a claim: a conjecture must not be dressed as a theorem, and a gap must be disclosed, not buried. Proper attribution is central — claiming priority for an idea one did not originate is the field's chief misconduct. Applications carry weight, since number theory underwrites cryptography and optimization underwrites weapons targeting, so the developer of a method shares some responsibility for its uses. Rigor itself is an ethic — the discipline's value rests on the trust that a theorem, once proved, is true.
\n","wordCount":91},{"heading":"Scenarios","id":"scenarios","markdown":"**A conjecture that holds for every case checked.** A young mathematician notices a sequence is prime for n = 0 through 16 and wants to announce a theorem. The expert's reflex is the opposite: numerical agreement is evidence, not proof, and the field is littered with patterns that break (Fermat numbers prime through the fourth, composite at the fifth; the prime-counting function staying below the logarithmic integral until Skewes' enormous bound). They hunt for a counterexample, then for a proof — and find the argument breaks at a step that \"obviously\" worked. The claim is downgraded to a conjecture, the numbers reported as evidence.\n\n**The proof with an obvious gap.** A collaborator presents a proof justified at every step except one transition marked \"clearly the limit exists.\" The expert stops there, because \"clearly\" is where errors hide: only boundedness was established, so the limit might not exist. Rather than discard the proof, they look for an extra hypothesis (compactness, monotonicity) under which the limit does exist — yielding a correct, slightly less general theorem instead of a false one.\n\n**Choosing the definition that cracks the problem.** A research group is stuck proving a property of certain spaces; every direct attempt drowns in special cases. The expert suspects the framing is the problem and asks what the spaces really have in common. Reframed in terms of a more abstract invariant, the case analysis collapses into a one-line consequence of a known theorem. The creative act was the choice of a better definition — the experience that makes mathematicians say the definition is the theorem.","html":"A conjecture that holds for every case checked. A young mathematician notices a sequence is prime for n = 0 through 16 and wants to announce a theorem. The expert's reflex is the opposite: numerical agreement is evidence, not proof, and the field is littered with patterns that break (Fermat numbers prime through the fourth, composite at the fifth; the prime-counting function staying below the logarithmic integral until Skewes' enormous bound). They hunt for a counterexample, then for a proof — and find the argument breaks at a step that "obviously" worked. The claim is downgraded to a conjecture, the numbers reported as evidence.
\nThe proof with an obvious gap. A collaborator presents a proof justified at every step except one transition marked "clearly the limit exists." The expert stops there, because "clearly" is where errors hide: only boundedness was established, so the limit might not exist. Rather than discard the proof, they look for an extra hypothesis (compactness, monotonicity) under which the limit does exist — yielding a correct, slightly less general theorem instead of a false one.
\nChoosing the definition that cracks the problem. A research group is stuck proving a property of certain spaces; every direct attempt drowns in special cases. The expert suspects the framing is the problem and asks what the spaces really have in common. Reframed in terms of a more abstract invariant, the case analysis collapses into a one-line consequence of a known theorem. The creative act was the choice of a better definition — the experience that makes mathematicians say the definition is the theorem.
\n","wordCount":261},{"heading":"Related Occupations","id":"related-occupations","markdown":"A mathematician shares deductive rigor with many fields but is defined by proof as the sole standard of truth. The research scientist and physicist use mathematics as a tool and accept evidence the mathematician would call mere conjecture; the physicist's \"proof\" is the mathematician's strong heuristic. The data scientist applies the probability and optimization the mathematician develops, and the software engineer shares the love of formal structure that proof assistants bring closer.","html":"A mathematician shares deductive rigor with many fields but is defined by proof as the sole standard of truth. The research scientist and physicist use mathematics as a tool and accept evidence the mathematician would call mere conjecture; the physicist's "proof" is the mathematician's strong heuristic. The data scientist applies the probability and optimization the mathematician develops, and the software engineer shares the love of formal structure that proof assistants bring closer.
\n","wordCount":72},{"heading":"References","id":"references","markdown":"- *How to Solve It* — George Polya\n- *Proofs from THE BOOK* — Aigner & Ziegler\n- *Mathematics: Its Content, Methods and Meaning* — Aleksandrov, Kolmogorov & Lavrent'ev\n- *A Mathematician's Apology* — G. H. Hardy\n- *Proofs and Refutations* — Imre Lakatos","html":"