Universidad avanzadaFoundationsPlanificado
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
La lección de este tema todavía no se ha escrito. El esquema siguiente forma parte del mapa del plan de estudios y no ha sido revisado.
Se basa en
Requisitos previos obligatorios, hasta el fondo: 10
Aprenderás a
- 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.
Definición
- 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.
Teorema
- 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.
Errores frecuentes
- 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.
Conduce a
Descubrimientos opcionales
- Formalising published mathematics Formalisation blueprints link each informal statement to its formal counterpart, which forces precision in writing.
Itinerarios de aprendizaje
Lecturas complementarias
- 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)