Professional Documents
Culture Documents
Local Media868043405
Local Media868043405
CONTENT:
I. The Language of Mathematics
The language of mathematics is the system used by mathematicians to
communicate mathematical ideas among themselves, and is distinct from natural languages in that it
aims to communicate abstract, logical ideas with precision and unambiguity. This language consists of
a substrate of some natural language (e.g., English), using technical terms and grammatical conventions
that are peculiar to mathematical discourse. It is also supplemented by a highly specialized symbolic
notation for mathematical formulas.
1
system of diagram conventions may evolve into a mathematical notation, such as the case of
the Penrose graphical notation for tensor products.
Concise Expression
The power of mathematics lies in economy of expression of ideas, often in service to
science. Horatio Burt Williams took note of the effect of this compact form in physics:
Textbooks of physics of seventy-five years ago were much larger than at present. This in spite of the
enormous additions since made to our knowledge of the subject. But these older books were
voluminous because of minute descriptions of phenomena which we now recognize as what a
mathematician would call particular cases, comprehended under broad general principles. [11]:285
In mathematics per se, the brevity is profound:
In writing papers which will probably be read only by professional mathematicians, authors not
infrequently omit so many intermediate steps in order to condense their papers that the filling in of the
gaps even by industrious use of paper and pencil may become no inconsiderable labor, especially to one
approaching the subject for the first time.
Williams cites Ampère as a scientist that summarized his findings with mathematics:
The smooth and concise demonstration is not necessarily conceived in that finished form...We can
scarcely believe that Ampère discovered the law of action by means of the experiment which he
describes. We are led to suspect, what indeed, he tells us himself, that he discovered the law by some
process which he has not shewn us, and that when he had afterwards built up a perfect demonstration,
he removed all traces of the scaffolding by which he raised it. [11]:288,9
The significance of mathematics lies in the logical processes of the mind have been codified by
mathematics:
2
Now mathematics is both a body of truth and a special language, a language more carefully defined and
more highly abstracted than our ordinary medium of thought and expression. Also it differs from
ordinary languages in this important particular: it is subject to rules of manipulation. Once a statement is
cast into mathematical form it may be manipulated in accordance with these rules and every
configuration of the symbols will represent facts in harmony with and dependent on those contained in
the original statement. Now this comes very close to what we conceive the action of the brain structures
to be in performing intellectual acts with the symbols of ordinary language. In a sense, therefore, the
mathematician has been able to perfect a device through which a part of the labor of logical thought is
carried on outside the central nervous system with only that supervision which is requisite to
manipulate the symbols in accordance with the rules. [11]:291
Williams' essay was a Gibbs Lecture prepared for scientists in general, and he was particularly
concerned that biological scientists not be left behind:
Not alone the chemist and physicist, but the biologist as well, must be able to read mathematical papers
if he is not to be cut off from the possibility of understanding important communications in his own field
of science. And the situation here is worse than it is in the case of inability to read a foreign language.
For a paper in a foreign language may be translated, but in many cases it is impossible to express in
ordinary language symbols the content of a mathematical paper in such a way as to convey a knowledge
of the logical process by which the conclusions have been reached.
Mathematics can communicate a range of meanings that is as wide as (although different from) that of a
natural language. As English mathematician R. L. E. Schwarzenberger says:
My own attitude, which I share with many of my colleagues, is simply that mathematics is a language.
Like English, or Latin, or Chinese, there are certain concepts for which mathematics is particularly well
suited: it would be as foolish to attempt to write a love poem in the language of mathematics as to
prove the Fundamental Theorem of Algebra using the English language.
5 = 2+3
= equals sign Equality
5 is equal to 2+3
5≠4
≠ not equal sign Inequality
5 is not equal to 4
3
Symbo
Symbol Name Meaning / definition Example
l
sin(0.01) ≈ 0.01,
approximately
≈ Approximation x ≈ y means x is approximately
equal
equal to y
5>4
> strict inequality greater than
5 is greater than 4
4<5
< strict inequality less than
4 is less than 5
5 ≥ 4,
≥ inequality greater than or equal to x ≥ y means x is greater than or
equal to y
4 ≤ 5,
≤ inequality less than or equal to x ≤ y means x is less than or equal
to y
division sign /
÷ Division 6÷2=3
obelus
4
Symbo
Symbol Name Meaning / definition Example
l
3 3
√a cube root √a ⋅ 3√a ⋅ 3√a = a 3
√8 = 2
4 4
√a fourth root √a ⋅ 4√a ⋅ 4√a ⋅ 4√a = a 4
√16 = ±2
n
√a n-th root (radical) for n=3, n√8 = 2
Geometry symbols
Symbo
Symbol Name Meaning / definition Example
l
measured
ABC = 30°
angle
5
Symbo
Symbol Name Meaning / definition Example
l
π = 3.141592654...
π pi constant c = π⋅d = 2⋅π⋅r
is the ratio between the circumference and diameter of
a circle
c
radians radians angle unit 360° = 2π c
360° = 400
grad gradians / gons grads angle unit
grad
g
gradians / gons grads angle unit 360° = 400 g
Algebra symbols
Symbo
Symbol Name Meaning / definition Example
l
≡ equivalence identical to
approximately
~ weak approximation 11 ~ 10
equal
approximately
≈ Approximation sin(0.01) ≈ 0.01
equal
6
Symbo
Symbol Name Meaning / definition Example
l
{} braces Set
function
(f ∘ g) (f ∘ g) (x) = f (g(x)) f (x)=3x,g(x)=x-1 ⇒(f ∘ g)(x)=3(x-1)
composition
e constant /
e e = 2.718281828... e = lim (1+1/x)x , x→∞
Euler's number
Euler-Mascheroni
γ γ = 0.5772156649...
constant
π = 3.141592654...
π pi constant is the ratio between the c = π⋅d = 2⋅π⋅r
circumference and diameter of
a circle
7
Linear Algebra Symbols
Symbol Symbol Name Meaning / definition Example
inner product
probability density
f (x) P(a ≤ x ≤ b) = ∫ f (x) dx
function (pdf)
cumulative
F(x) distribution function F(x) = P(X≤ x)
(cdf)
8
Symbol Symbol Name Meaning / definition Example
variance of random
var(X) variance var(X) = 4
variable X
variance of population
σ2 variance σ2 = 4
values
standard deviation of
std(X) standard deviation std(X) = 2
random variable X
covariance of random
cov(X,Y) covariance cov(X,Y) = 4
variables X and Y
correlation of random
corr(X,Y) correlation corr(X,Y) = 0.6
variables X and Y
correlation of random
ρX,Y correlation ρX,Y = 0.6
variables X and Y
9
Symbol Symbol Name Meaning / definition Example
variance estimator
population samples
sample standard
s standard deviation s = 2
deviation
estimator
distribution of random
X ~ distribution of X X ~ N(0,3)
variable X
exponential
exp(λ) f (x) = λe-λx , x≥0
distribution
gamma(c,
gamma distribution f (x) = λ c xc-1e-λx / Γ(c), x≥0
λ)
binomial
Bin(n,p) f (k) = nCk pk(1-p)n-k
distribution
geometric
Geom(p) f (k) = p(1-p) k
distribution
hyper-geometric
HG(N,K,n)
distribution
Bernoulli
Bern(p)
distribution
Combinatorics Symbols
Symbol Symbol Name Meaning / definition Example
P
n k permutation P = 5! / (5-3)! = 60
5 3
C
n k
combination C = 5!/[3!(5-3)!]=10
5 3
10
Set theory symbols
Symbol Symbol Name Meaning / definition Example
A = {3,7,9,14},
{} Set a collection of elements
B = {9,14,28}
A={3,9,14},
A=B Equality both sets have the same members B={3,9,14},
A=B
A = {3,9,14},
objects that belong to A and not to
A\B relative complement B = {1,2,3},
B
A-B = {9,14}
A = {3,9,14},
objects that belong to A and not to
A-B relative complement B = {1,2,3},
B
A-B = {9,14}
A = {3,9,14},
objects that belong to A or B but
A∆B symmetric difference B = {1,2,3},
not to their intersection
A ∆ B = {1,2,9,14}
A = {3,9,14},
objects that belong to A or B but
A⊖B symmetric difference B = {1,2,3},
not to their intersection
A ⊖ B = {1,2,9,14}
11
Symbol Symbol Name Meaning / definition Example
belongs to
Logic symbols
Symbol Symbol Name Meaning / definition Example
+ Plus Or x + y
12
Symbol Symbol Name Meaning / definition Example
⇒ Implies
∀ for all
∃ there exists
∴ Therefore
∵ because / since
e = lim
e e constant / Euler's number e = 2.718281828...
(1+1/x)x , x→∞
derivative - Lagrange's
y ' derivative (3x3)' = 9x2
notation
13
Symbol Symbol Name Meaning / definition Example
integration of function of 2
∫∫ double integral ∫∫ f(x,y)dxdy
variables
integration of function of 3
∫∫∫ triple integral ∫∫∫ f(x,y,z)dxdydz
variables
absolute value/magnitude of a
| z | |z| = |a+bi| = √(a2+b2) |3 - 2i| = √13
complex number
gradient / divergence
∇ nabla / del ∇f (x,y,z)
operator
Vector
unit vector
14
Symbol Symbol Name Meaning / definition Example
δ delta function
Numeral symbols
Name Western Arabic Roman Eastern Arabic Hebrew
Zero 0 ٠
One 1 I ١ א
Two 2 II ٢ ב
Four 4 IV ٤ ד
Five 5 V ٥ ה
Six 6 VI ٦ ו
Nine 9 IX ٩ ט
Ten 10 X ١٠ י
Eleven 11 XI ١١ יא
Fifteen 15 XV ١٥ טו
Twenty 20 XX ٢٠ כ
Forty 40 XL ٤٠ מ
Fifty 50 L ٥٠ נ
Sixty 60 LX ٦٠ ס
15
Name Western Arabic Roman Eastern Arabic Hebrew
Ninety 90 XC ٩٠ צ
Greek alphabet letters
Upper Case Lower Case Greek Letter English Letter Name
Letter Letter Name Equivalent Pronounce
Α α Alpha A al-fa
Β β Beta B be-ta
Γ γ Gamma G ga-ma
Δ δ Delta D del-ta
Ε ε Epsilon E ep-si-lon
Ζ ζ Zeta Z ze-ta
Η η Eta H eh-ta
Θ θ Theta th te-ta
Ι ι Iota I io-ta
Κ κ Kappa K ka-pa
Λ λ Lambda L lam-da
Μ μ Mu M m-yoo
Ν ν Nu N noo
Ξ ξ Xi X x-ee
Ο ο Omicron O o-mee-c-ron
Π π Pi P pa-yee
Ρ ρ Rho R row
Σ σ Sigma S sig-ma
Τ τ Tau T ta-oo
Υ υ Upsilon U oo-psi-lon
Φ φ Phi ph f-ee
Χ χ Chi ch kh-ee
Ψ ψ Psi ps p-see
16
Ω ω Omega O o-me-ga
Roman numerals
Number Roman numeral
0 not defined
1 I
2 II
3 III
4 IV
5 V
6 VI
7 VII
8 VIII
9 IX
10 X
11 XI
12 XII
13 XIII
14 XIV
15 XV
16 XVI
17 XVII
18 XVIII
19 XIX
20 XX
30 XXX
40 XL
50 L
60 LX
70 LXX
80 LXXX
17
Number Roman numeral
90 XC
100 C
200 CC
300 CCC
400 CD
500 D
600 DC
700 DCC
800 DCCC
900 CM
1000 M
5000 V
10000 X
50000 L
100000 C
500000 D
1000000 M
II. Expressions Vs. Sentence
DEFINITION expression
An expression is the mathematical analogue of an English noun; it is a correct arrangement of
mathematical symbols used to represent a mathematical object of interest.
DEFINITION
A mathematical sentence is the analogue of an English sentence; it is a correct arrangement of
mathematical symbols that states a complete thought.
18
Sentences have verbs.
In the mathematical sentence ‘3+4=73+4=7’ , the verb is ‘==’.
EXAMPLES:
22 is an expression
1+11+1 is an expression
x+1x+1 is an expression
In Logic, the object of study is reasoning. This is an activity that humans engage in—when we
make claims and back them up with reasons, or when we make inferences about what follows from a
set of statements. Like many human activities, reasoning can be done well, or it can be done badly. The
goal of logic is to distinguish good reasoning from bad. Good reasoning is not necessarily effective
reasoning; in fact, as we shall see, bad reasoning is pervasive and often extremely effective—in the
sense that people are often persuaded by it. In Logic, the standard of goodness is not effectiveness in
the sense of persuasiveness, but rather correctness according to logical rules. In logic, we study the rules
and techniques that allow us to distinguish good, correct reasoning from bad, incorrect reasoning. Since
there is a variety of different types of reasoning, since it’s possible to develop various methods for
evaluating each of those types, and since there are different views on what constitutes correct
reasoning, there are many approaches to the logical enterprise. We talk of logic, but also of logics. A
logic is just a set of rules and techniques for distinguishing good reasoning from bad. There are many
logics; the purpose of this book is to give an overview of some of the most basic ones. So, the object of
study in logic is human reasoning, with the goal of distinguishing the good from the bad. It is important
to note that this approach sets logic apart from an alternative way of studying human reasoning, one
more proper to a different discipline: psychology. It is possible to study human reasoning in a merely
descriptive mode: to identify common patterns of reasoning and explore their psychological causes, for
example. This is not logic. Logic takes up reasoning in a prescriptive mode: it tells how we ought to
reason, not merely how we in fact typically do.
Basic Notions:
19
this book is boring, which is (arguably) true (at least so far—but it’s only the first page; wait until later,
when things get exciting!
Other kinds of sentences do not express propositions. Imperative sentences issue commands:
‘Sit down and shut up’ is an imperative sentence; it doesn’t make a claim, express something that might
be true or false; either it’s obeyed or it isn’t. Interrogative sentences ask questions: ‘Who will win the
World Cup this year?’ is an interrogative sentence; it does not assert anything that might be true or false
either. Only declarative sentences express propositions, and so they are the only kinds of sentences we
will deal with at this stage of the study of logic. (More advanced logics have been developed to deal with
imperatives and questions, but we won’t look at those in an introductory textbook.) The fundamental
unit of reasoning is the argument. In logic, by ‘argument’ we don’t mean a disagreement, a shouting
match; rather, we define the term precisely: Argument = a set of propositions, one of which, the
conclusion, is (supposed to be) supported by the others, the premises. If we’re reasoning by making
claims and backing them up with reasons, then the claim that’s being backed up is the conclusion of an
argument; the reasons given to support it are the argument’s premises. If we’re reasoning by drawing an
inference from a set of statements, then the inference we draw is the conclusion of an argument, and
the statements from which its drawn are the premises. We include the parenthetical hedge—“supposed
to be”—in the definition to make room for bad arguments. Remember, in Logic, we’re evaluating
reasoning. Arguments can be good or bad, logically correct or incorrect. A bad argument, very roughly
speaking, is one where the premises fail to support the conclusion; a good argument’s premises actually
do support the conclusion. To support the conclusion means, again very roughly, to give one good
reasons for believing it. This highlights the rhetorical purpose of arguments: we use arguments when
we’re disputing controversial issues; they aim to persuade people, to convince them to believe their
conclusion. As we said, in logic, we don’t judge arguments based on whether or not they succeed in this
goal— there are logically bad arguments that are nevertheless quite persuasive. Rather, the logical
enterprise is to identify the kinds of reasons that ought to be persuasive (even if they sometimes aren’t)
TASK TO BE DONE
QUIZ #1
References:
20
Baltazar, Ethel C.,Ragasa, Carmelita, Evangelista, Justina S. (2018)
Mathematics in the Modern World, C & E Publishing, Inc.
Aufman, Lockwood, Nation, Clegg, & Susanna S. Epp, Philippine Edition Mathematics in the Modern
World, Cengage Learning, Stanford USA
Auffman, R. et al.,(2015) Mathematical Excursions 3 rd Edition (international Edition),Cengage Learning,
Stanford USA
21