Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Philosophy of mathematics
canonical A reference to a standard or choice-free presentation of some mathematical object. The term
canonical is also used more informally, meaning
roughly standard or classic. For example, one
might say that Euclids proof's is the canonical
proof of the innitude of primes.
There are two canonical proofs that are
always used to show non-mathematicians what
1
2
Mathematicians may say that a theorem is
beautiful when they really mean to say that it
is enlightening. We acknowledge a theorems
beauty when we see how the theorem 'ts
in its place....We say that a proof is beautiful
when such a proof nally gives away the secret
of the theorem....
Gian-Carlo Rota (1977, pp.173174,
pp.181182)
DESCRIPTIVE INFORMALITIES
Note for that latter quote that as the dierentiable functions are meagre in the space of continuous functions, as Banach found out in 1931, dierentiable
functions are colloquially speaking a rare exception
among the continuous ones. Thus it can hardly be
defended any-more to call non-dierentiable continuous functions pathological.
rigor (rigour) Mathematics strives to establish its results using indisputable logic rather than informal
descriptive argument. Rigor is the use of such logic
in a proof.
well-behaved An object is well-behaved (in contrast
with being pathological) if it does satisfy the prevailing regularity properties, or sometimes if it conforms to intuition (but intuition often suggests the
opposite behavior as well).
3
as well, discussed in the main article. Finally, this
term is sometimes used synonymously with generic,
below.
arbitrarily large Notions which arise mostly in the context of limits, referring to the recurrence of a phenomenon as the limit is approached. A statement in general In a descriptive context, this phrase introduces a simple characterization of a broad class of
such as that predicate P is satised by arbitrarily
objects, with an eye towards identifying a unifying
large values, can be expressed in more formal notaprinciple. This term introduces an elegant detion by x : y x : P(y). See also frequently. The
scription which holds for "arbitrary" objects. Exstatement that quantity f(x) depending on x can be
ceptions to this description may be mentioned exmade arbitrarily large, corresponds to y : x : f(x)
plicitly, as "pathological" cases.
y.
arbitrary A shorthand for the universal quantier. An
arbitrary choice is one which is made unrestrictedly,
or alternatively, a statement holds of an arbitrary element of a set if it holds of any element of that set.
Also much in general-language use among mathematicians: Of course, this problem can be arbitrarily complicated.
2
S, and a proper divisor of a number n is a divisor of
n that is dierent from n. This overloaded word is
also non-jargon for a proper morphism.
regular A function is called regular if it satises satisfactory continuity and dierentiability properties,
which are often context-dependent. These properties might include possessing a specied number of
derivatives, with the function and its derivatives exhibiting some nice property, such as Hlder continuity. Informally, this term is sometimes used synonymously with smooth, below. These imprecise uses
of the word regular are not to be confused with the
notion of a regular topological space, which is rigorously dened.
DESCRIPTIVE INFORMALITIES
resp. (Respectively) A convention to shorten parallel expositions. A (resp. B) [has some relationship to] X suciently large, suitably small, suciently close
(resp. Y)" means that A [has some relationship to]
In the context of limits, these terms refer to some
X and also that B [has (the same) relationship to] Y.
(unspecied, even unknown) point at which a
For example, squares (resp. triangles) have 4 sides
phenomenon prevails as the limit is approached.
(resp. 3 sides); or compact (resp. Lindelf) spaces
A statement such as that predicate P holds for
are ones where every open cover has a nite (resp.
suciently large values, can be expressed in more
countable) open subcover.
formal notation by x : y x : P(y). See also
eventually.
sharp Often, a mathematical theorem will establish con-
matrix, M =
eponymous appliance.
weak, weaker The converse of strong.
Q.E.D. (Quod erat demonstrandum): A Latin abbreviation, meaning which was to be demonstrated,
historically placed at the end of proofs, but less
common currently, having been supplanted by the
Halmos end-of-proof mark.
well-dened Accurately and precisely described or suciently nice A condition on objects in the scope of
the discussion, to be specied later, that will guaranspecied.
tee that some stated property holds for them. When
working out a theorem, the use of this expression
in the statement of the theorem indicates that the
3 Proof terminology
conditions involved may be not yet known to the
speaker, and that the intent is to collect the condiThe formal language of proof draws repeatedly from a
tions that will be found to be needed in order for the
small pool of ideas, many of which are invoked through
proof of the theorem to go through.
various lexical shorthands in practice.
the following are equivalent (TFAE) Often
several
equivalent
conditions
(especially
for
a
denition,
aliter An obsolescent term which is used to announce to
such as normal subgroup) are equally useful in
the reader an alternative method, or proof of a result.
practice; one introduces a theorem stating an
In a proof, it therefore ags a piece of reasoning that
equivalence of more than two statements with
is superuous from a logical point of view, but has
TFAE.
some other interest.
by way of contradiction (BWOC), or for, if not, ... transport of structure It is often the case that two objects are shown to be equivalent in some way, and
The rhetorical prelude to a proof by contradiction,
that one of them is endowed with additional strucpreceding the negation of the statement to be
ture. Using the equivalence, we may dene such a
proved. Also, starting a proof or a sub-proof with
structure on the second object as well, via transport
Assume... indicates that a proof by contradiction
of structure. For example, any two vector spaces of
will be employed.
the same dimension are isomorphic; if one of them
if and only if (i) An abbreviation for logical equivais given an inner product and if we x a particular
lence of statements.
isomorphism, then we may dene an inner product
on the other space by factoring through the isomorin general In the context of proofs, this phrase is often
phism.
seen in induction arguments when passing from the
base case to the induction step, and similarly, in
Let V be a nite-dimensional vector
the denition of sequences whose rst few terms are
space over k....Let (ei) i n be a basis for
exhibited as examples of the formula giving every
V....There is an isomorphism of the polynoterm of the sequence.
mial algebra k[Tij] i,j n onto the algebra
necessary and sucient A minor variant on if and
Symk(V V * )....It extends to an isomorphism
only if"; A is necessary (sucient) for B means
of k[GLn] to the localized algebra Symk(V
A if (only if) B. For example, For a eld K to
V * )D, where D = det(ei ej * )....We write
be algebraically closed it is necessary and sucient
k[GL(V)] for this last algebra. By transport of
that it have no nite eld extensions" means "K is
structure, we obtain a linear algebraic group
algebraically closed if and only if it has no nite exGL(V) isomorphic to GLn.
tensions. Often used in lists, as in The following
Igor Shafarevich (1991, p.12)
conditions are necessary and sucient for a eld to
be algebraically closed....
need to show (NTS), required to prove (RTP), wish to without (any) loss of generality (WLOG, WOLOG,
WALOG), we may assume (WMA)
show, want to show (WTS)
Sometimes a proposition can be more easily proved
Proofs sometimes proceed by enumerating several
with additional assumptions on the objects it
conditions whose satisfaction will together imply
concerns. If the proposition as stated follows from
the desired theorem; thus, one needs to show just
this modied one with a simple and minimal explathese statements.
nation (for example, if the remaining special cases
one and only one A statement of the uniqueness of an
are identical but for notation), then the modied
object; the object exists, and furthermore, no other
assumptions are introduced with this phrase and the
such object exists.
altered proposition is proved.
REFERENCES
Proof techniques
handwaving A non-technique of proof mostly employed in lectures, where formal argument is not
strictly necessary. It proceeds by omission of deMathematicians have several phrases to describe proofs
tails or even signicant ingredients, and is merely a
or proof techniques. These are often used as hints for
plausibility argument.
lling in tedious details.
in general In a context not requiring rigor, this phrase
often appears as a labor-saving device when the
technical details of a complete argument would outweigh the conceptual benets. The author gives a
proof in a simple enough case that the computations
back-of-the-envelope calculation An informal compuare reasonable, and then indicates that in general
tation omitting much rigor without sacricing corthe proof is similar.
rectness. Often this computation is proof of concept and treats only an accessible special case.
index battle for proofs involving object with plurious
brute force Not seeking a short or clever method of
indices which can be solved by going to the bottom
proof, but instead plowing through as many lines of
(if anyone wishes to take up the eort). Similar to
computation as is necessary.
diagram chasing.
angle chasing Used to describe a geometrical proof that
involves nding relationships between the various
angles in a diagram.[2]
by example A proof by example is an argument whereby trivial Similar to clearly. A concept is trivial if it holds
a statement is not proved but instead illustrated by
by denition, is immediate corollary to a known
an example. Often, the statement is obscure and the
statement, or is a simple special case of a more genexample is trivial and unhelpful. Asking the reader
eral concept.
to accept a proof by example is equivalent to asking
to accept a statement without proof.
by inspection A rhetorical shortcut made by authors
who invite the reader to verify, at a glance, the correctness of a proposed expression or deduction. If
an expression can be evaluated by straightforward
application of simple techniques and without recourse to extended calculation or general theory,
then it can be evaluated by inspection. It is also applied to solving equations; for example to nd roots
of a quadratic equation by inspection is to 'notice'
them, or mentally check them. 'By inspection' can
play a kind of gestalt role: the answer or solution
simply clicks into place.
by intimidation Style of proof where claims believed by
the author to be easily veriable are labelled as 'obvious or 'trivial', which often results in the reader
being confused.
clearly, can be easily shown A term which shortcuts
around calculation the mathematician perceives to
be tedious or routine, accessible to any member
of the audience with the necessary expertise in the
eld; Laplace used obvious (French: vident).
complete intuition commonly reserved for jokes (puns
on complete induction).
[3]
diagram chasing
Given a commutative diagram of
objects and morphisms between them, if one wishes
to prove some property of the morphisms (such as
injectivity) which can be stated in terms of elements,
then the proof can proceed by tracing the path of
elements of various objects around the diagram as
successive morphisms are applied to it. That is, one
chases elements around the diagram, or does a diagram chase.
5 Notes
[1] Boyd, Stephen (2004). Convex Optimization. Cambridge
University Press. ISBN 0521833787.
[2] Roe, John (1993), Elementary Geometry, Oxford science
publications, p. 119, ISBN 0-19-853456-6
[3] Numerous examples can be found in (Mac Lane 1998),
for example on p. 100.
6 References
Eilenberg, Samuel; Mac Lane, Saunders (1942),
Natural Isomorphisms in Group Theory, Proc.
Natl.
Acad.
Sci.
USA, 28: 537543,
doi:10.1073/pnas.28.12.537.
Impagliazzo, Russell (1995), A personal
view of average-case complexity,
Proc.
Tenth Annual Structure in Complexity Theory Conference (SCT'95), pp.
134147,
doi:10.1109/SCT.1995.514853.
Jackson, Allyn (2004), Comme Appel du Nant
As If Summoned from the Void: The Life of
Alexandre Grothendieck, AMS Notices, 51 (9,10)
(Parts I and II).
Mac Lane, Saunders (1997), The PNAS way back
then (PDF), Proc. Natl. Acad. Sci. USA, 94 (12):
59835985, doi:10.1073/pnas.94.12.5983.
Mac Lane, Saunders (1998), Categories for the
Working Mathematician, Springer.
7
Monastyrsky, Michael (2001), Some Trends in
Modern Mathematics and the Fields Medal (PDF),
Can. Math. Soc. Notes, 33 (2 and 3).
Pinto, J. Sousa (2004), Hoskins, R.F., ed.,
Innitesimal methods for mathematical analysis,
Horwood Publishing, p. 246, ISBN 978-1-89856399-0.
Poincare, Henri (1913), Halsted, Bruce, ed., The
Foundations of Science, The Science Press, p. 435.
Rota, Gian-Carlo (1977), The phenomenology of
mathematical beauty, Synthese, 111 (2): 171182,
doi:10.1023/A:1004930722234, ISSN 0039-7857.
Shafarevich, Igor (1991), Kandall, G.A., ed., Algebraic Geometry, IV, Springer.
Wiedijk, Freek, ed. (2006), The Seventeen Provers
of the World, Birkhuser, ISBN 3-540-30704-4.
7.1
Text
7.2
Images
File:Ambox_important.svg Source: https://upload.wikimedia.org/wikipedia/commons/b/b4/Ambox_important.svg License: Public domain Contributors: Own work, based o of Image:Ambox scales.svg Original artist: Dsmurat (talk contribs)
File:Text_document_with_red_question_mark.svg Source: https://upload.wikimedia.org/wikipedia/commons/a/a4/Text_document_
with_red_question_mark.svg License: Public domain Contributors: Created by bdesham with Inkscape; based upon Text-x-generic.svg
from the Tango project. Original artist: Benjamin D. Esham (bdesham)
7.3
Content license