Shahada ya kwanza (juu)FoundationsSomo linapatikana
Mathematical writing
Writing mathematics that others can read and check: structure, definitions before use, notation, examples, LaTeX, and honest statements of what has and has not been proved.
math.found.mathematical-writing
Inajengwa juu ya
Masharti ya awali ya lazima 10 (hadi chini kabisa)
Utajifunza
- Rewrite a correct but unclear proof so that its structure, assumptions and key steps are explicit.
- Typeset definitions, theorems and proofs in LaTeX with consistent notation.
- Write a short expository note that states precisely which results are proved, which are cited and which are conjectured.
Fasili
- A theorem is a principal result, a lemma an auxiliary result, and a corollary a result that follows quickly from another.
- Exposition is writing whose purpose is explanation rather than the announcement of new results.
Nadharia
- Every symbol should be defined before it is used, and every cited result should be identifiable by the reader.
- A proof is written for a reader who will check it against the stated hypotheses.
Mawazo potofu ya kawaida
- Thinking a shorter proof is always a clearer one.
- Using 'standard' notation without defining it.
- Leaving the status of a claim (proved, cited or conjectured) for the reader to guess.
Inaelekea kwa
Ugunduzi wa hiari
- Formalising published mathematics Formalisation blueprints link each informal statement to its formal counterpart, which forces precision in writing.
Njia za kujifunza
Usomaji zaidi
- Donald E. Knuth, Tracy Larrabee and Paul M. Roberts, Mathematical Writing (1989)
- Nicholas J. Higham, Handbook of Writing for the Mathematical Sciences
- Paul R. Halmos, How to Write Mathematics (1970)