Professional Documents
Culture Documents
LecturesonthePhilosophyofMathematics 10040575
LecturesonthePhilosophyofMathematics 10040575
o f M a t h e ma t ic s
By
J AME S BY R N I E S H A W
C HI CA G O L O N DO N
T HE O P EN C O UR T P U BL I S HI N G C O M PA N Y
1
918
C OP YRI G HT 19 18 BY
THE OPEN C OURT PUBL I S HIN G C o .
o t h ers
. This view is ne cessary adequately t o a cc ount
f or mat hemati cs .
P r ef a ce
The object of the lectures is t o c onsider the wh ole
field of mathematics in a gen eral way s o as t o arrive at a
,
the Pascal Rep er torium and the Ta s chenb uch of T eub ner
, .
J A ME S BYR N I E S HA W
TABLE OF C O NTE N T S
CHA P TER
I . M EA NI N G OF THE PH HY
I L O S OPM ATHEMATICS
OE
MA TI C S
MA TI CS T o A LGE B RA
T O T RA NS M U TATI ONS
MA TIC S To S YS TE M S OF L O GIC
x F O RM A S A C E N T RAL PRI NC IP LE
E T HE O RY OF I NVARIANT S
X II M ATHE MATI CS A S THE T HE O RY OF F UNC TI ONS
.
”
distinct types of cry s tals when he meet s such facts
-
I
S p t ti w d
o s oo e, Rep or t of the B r itis h A s s ocia tion f or the A d va nce
ment of S cience ,
1 8 78 , p .
31 .
Philos op hy of Ma thema tics 3
1
Rus sel l , I nterna tiona l M onthl y , 4 p . 84 .
4 Philos op hy of Ma thema tics
kn ow what we are talking ab out nor whether what we ,
”
are s aying is true " D oe s mathematics rest on the
granite of the earth or on the mists of the air or on the
, ,
trunk and branches have been built during the past ages
ou t of the fibers of l ogic ; its f oliage is in the atm o sphere
an everlasting h oliday .
1
Qu ot e d by C ou m ot as the ep igr a p h of t he Tra ité él émenta ir e d e
l a theor ie d es f oncti ons
’
l ib iv, vs 1 0 8 3
. . .
Philos op hy of Ma thema tics 5
micr osc opes spectr osc opes balances electr ometers all
, , , ,
find that while he may learn the way t o prepare his i n tel
,
he k n ew not of .
then con sider the right of this Q ueen of all the sciences t o I
Ged achtnis s . .
6 Philos op hy of Ma thema tics
rule Has mathemati cs a realm apart fr om human life
.
,
very same as the realm of human life " I s the dif f ere n tial
equati on only a refi n ement u p on the real law of physics ,
Hl i b rt
e ,
B ul l . A mer . M a th . S oc
. 8 ( 1 90 2 p .
4 78 .
Philos op hy of Ma thema tics 7
w orld D efiniti ons that are based up on its meth ods are
.
thr ough the centuries yet leav ing it s record s m ore imper
,
study it .
maties can all be put int o one or an other of the divisi ons
f oll owing (see table p 1 9 6 ) , .
3 A rr a ng ements l ea di n g t o t a cti c
.
,
5 O p e r a
. t or s l e a di n g t o o p e r a t i on a,
l c a l cul us
D YNAMI C 6 H yp e.r n u m b e r s l e a di n g t o a l gebra ,
M ATHEMATI CS 7 P r o cesses
. l e a di n g t o t r a n s m ut,
a t i on s
8 S y stems l ea di ng t o g enera l in fe r ence
.
,
shall find that the most imp ortant questi on s are reducible
t o finding the class of s oluti ons of equati on s or pr op o siti on s
of given chara c ters .
mathematics t o physics .
3 The
. w o rld of mental activity a reducti o n t o p sy ,
ch ol ogy .
Creative e v oluti on .
“
is n o t merely the natural hist ory of an ex is t ing inner I
1
K y r Hibb t J
e se ,
er our na l , 3 ( 1 9 04 p .
313 .
2
K t C itiq f P
an , r ue o ur e Rea s on .
3 Bool e, L a ws of Thought .
Philos op hy of Ma thema tics 11
f oll ows
1 .S cientific leading t o generalizati ons of wideni ng
,
s cope .
ti on of n ew realms .
“
car e w h o says in his memoir on The Partial D iff erential
,
I
” “
Equati on s Of Physics If one l ooks at the d ifl er en t
pr oblems of the i n tegral calculus which arise n atur ally
whe n he wishes t o g o deep int o the diff erent parts of
physics it is imp ossible not t o be struck by the a n al ogies
,
th ought .
— 62
4 49 4
Boche r ,
“
Th e F und a ment a l C oncepti on s a nd M ethod s of
M a thema t i cs ,
”
B ul l . A mer . M a th . S oc . I I
-
PP 11 5 135
Moore ,
“
On the Found a t ions of M a thema t i cs ,
B ul l A mer . . M a th .
S oc , 9 — 2
pp 4 0 2 4 4 .
Pring s heim,
“
Ueb e r Wer t und an gebl i he c n Un we r t de r
M a t hemet ik ,
”
J a hr b . D euts ch . M a th . Ver .
,
13 ( 1 9 04 )
— 82
pp 357 3
Pi c rd
a ,
“
the D evel opment Of M a thema ti ca l A na l ysi s a nd
On
Rel a t i on t o Other S ci ences Bu l l A mer M a th S oc
”
It s ,
. . . .
,
11 pp .
—
4 04 4 2 6 .
Vol te rr a, L es ma th ma t q ues d a n s l es
“
é i sci ences bi l gi q ues
o o et
soci a l es ,
”
Revu e d n M ois , 1 pp . 1 —2 0 .
S oc .
,
12 pp 4 6 —. 2 0 2 0 .
1
Ky r Si
e se ,
c ence (N w S ri ) 3 5
e e p 64 5 es ,
. .
S p rt i l rl y
ee a cu a , Ency cl opédie (l es sciences ma thema tiqu es .
Philos op hy of Ma thema tics 13
this way he bec omes acquai n ted with the best th ought
of the mathematicians of the w orld regarding mathe
t o utilize all that has been d one in the c ourse Of the ages ,
of hist ory ,
the basis f or his ow n system but he ca nnot ,
likely l ong bef ore the c omm on pr ope rties of integers were
,
in that f org otten peri od of the w orld s hist ory that men
’
“
times entitled K n owledge of Al l D ark Thi ngs
,
”
The .
devel oped thr ough the ages as man faced the w orld a n d
it s pr oblems The struggle f or e x istence made number
.
ample is that of the bank dep osit and the safety dep osit
b ox . If one puts his m oney int o the b ox he draws ou t ,
1
Weber , J a hr b D euts ch
. . M a th Ver . .
,
2 (1 89 1 p . 1 9.
16 Philos op hy of Ma thema tics
work of ma n Yet the hist ory of the e voluti on of the
o ther kind s of numbers leads us t o think that the integer
the next is 2 8 : It w a s
sh wn in Euclid s time that if
o
’
— 1 is prime then ,
the wh ole the ory of fracti ons irrati onal s r oots of algebraic , ,
later in the preface of the D iopha ntis che A ppr oxima tionen
,
of M ink owski
“
the asserti on Integers are the f ountain
, ,
”
head of all mathematics Bu t in reply t o these extreme s
.
onl y ,
the te rminol ogy i nvol ved in the u se of nega tive f ra c ,
1
Theory f
o F unctions f
o . a Rea l Va ria bl e, p . 21 .
Number a nd A rithmetiza ti on 1 9
id ea l , i f it wer p ibl t tt i it w l d m u t t r v rs l
e os s e o a a n ,
ou a o n o a e e a
for a l l ctu l pr gr
a ha d p d d up uc s ive g r l iz
o es s as e en e on s ce s en e a a
t i s f th
on o ti f u mb r
e no l th gh th s g
on o r l iz t i s
n e ,
a ou e e en e a a on
a re no w r g rd d e ul t i m tel y d p d e t t h wh l u mb r
a e as a e en n on e o e n e
for th ir f u d ti
e o Thn b d me t f the i stim b l e
a on . e a an on n o ne a
a dv t g f the f rm l i
an a e o l y i s f t h ex t s i s f the
o a us e n a na s o e en on o
no ti on o f umb r c u l d
n l y b e h r cte riz e d
e o sp c i s f on c a a as a e e o
m th m t i l N ih ili s m
a e a ca .
y el l ow , gr een ,
y el l ow ,
b l u e, y el l ow , gr een
, y
el l ow ,
b l u e , y el l ow
c orresp ondi ng t o the numbers 0 , 2 , 3 , 4 , 6 , 8 , 9 , 1 0 ,
1 2 , 1 4, 1 5 ,
We c ould just as well have made
1 6, 1 8 .
16 18 ,
20 24 2 8 30 3 2 3 6
, , ,
the Euclidean rati o of
, , ,
20 Philos op hy of Ma thema tics
the number s 4 and 6 Hence we declare that the t w o .
inflecti ons their order are not pr oved by the teacup nor
, , ,
It is true that b oth have gr own that b oth are the result ,
—
1 , +a I+
x x + a+ a+ a
ide n tify the same irrati onal u nder vari ous f orms ; just
as we discrimi nate between the number 2 a n d the r ep r e
s en t a t ion of 2 by figures or by the R oman II The crea .
real truth .
this we consider all the rati onal numbers the sum of wh ose
,
”
of a set Lebesgue and others have found a means of
handling sets satisfactorily .
’
the rati onal n umbers the members of any subset bel ongi ng
t o the integer N can be f ou n d with out kn owi ng th ose of
a ny o ther subset Hence the argument of the p ossibility
.
b il ity
. It is clear that the inc ommensurable decimal s
can be arra nged s o that s ome of them are omitted but ,
con t inuu m .
I
1
D e L a V a l l ée- P ou s s i n, L es integr a l es d e L eb es gu e
’
2
V a n Vl eck , B u l l A mer. . M a th S oc
. .
,
21 pp .
3 2 1
— 1
34 .
The fifth stage in the devel opment of the list of num bers
we have j ust reached t oday It is not c on te n t with the .
integer the rati onal the irrati on al the p oint set but it
, , ,
-
,
2
M a th A nn a l en
.
, 68 pp . 1 4 5 —1 68 ; N ou vel l es A nn a l es ,
8 —1 1 6 28 9 — 17 Th e
se r .
97 , 3 . se .
creative ability of the mind and the envir onm ent in which
it finds the pr oblems which it has t o s olve in s ome manner
and t o s ome degree Every one of the diff erent branches
.
RE FERE NCES
Wi nte r ,
L es princip e s du ca l cul foncti onnel ,
Rev d e met
. . et
mora l e ,
21 pp .
4 62 —
510 .
P ierp t
on ,
“
A ri thm t iz t i e a on of M a thema t i cs ,
B ul l . A mer .
M a th S oc . .
5 p .
3 94 .
C HAPTE R III
S PA C E AN D T HE G E OM E T RIZATION OF M AT HE M A TI C S
”
hil ls a n d fertile vall eys N othi n g seems m ore stati on ary
.
feet vertically d oes not l ook like a hundred h oriz on tal feet ,
and that the Sky reaches the gr ound many times farther
away than it is ab ove us at the zenith Yet we find as .
objects A B et c
,
merely distinguishable fr om each
,
.
,
1
El em
. ma th. vo m hoheren S ta nd p unkte a us , Vol
’ ‘
. . 2 p .
384 .
34 Philos op hy of Ma thema tics
red ucti on of ge ometry t o a branch of physi cs A third .
“
View is that of Poinca ré Ge ometry is not an exp eri ,
I
t o light only when experience unl ocks the d oor and takes
d own the shutters A f ourth View is that advanced by
.
acc ount the fact that thi ngs are not related of themselves ,
2
P roc A mer A s s oc A d o S ci
. . . . . p .
359 .
Sp a ce a nd Ge ometr iz a ti on 35
f ore the Pythag orean frater n ity were endeav ori ng t o reduce
th e universe t o number Thales of M iletus measured the
,
the m ore f ortu nate wh o met in the Aka d éme over wh ose
“
p ortal was the warning Let no one ig norant of ge ometry
,
”
enter my d oor " In such high repute w a s ge ometry
held that Plat o pr on ounced one day the imm ortal sentenc e ,
”
G od ge ometrizes eternally "
Yet on the other hand we remember that the practical
, ,
C liff ord : Even at the time this b ook " Euclid "w a s
“ I
—
written Sh ortly after the f oundati on of the Alexandrian
M useum M athematics w a s no l onger merely the ideal
—
the hist ory of the w orld was written in g orge ous n ess and
misery a n d the Roman eagles Spread imperial r ul e a nd
,
of Greek culture .
I
Lectures a nd Es s a y s , 1 p .
354 .
Sp a ce a nd Ge ometr iza ti on 37
“
D escartes w h o said Ge ometrical truths are in a way
,
appr oach i ndefi nitely near with out ever reaching them ”
.
and many other pr oblems and we may wel l ask the ques ,
c ould we ascertain the fact "a n d what eff ect w ould it have
on life " N ot by m oti on clearly c ould we fin d f our
ab out which we may pr ove the orems The mind f oll owed .
up on the area of the tria ngle and trig on ometry bec omes
,
the great Gauss had disc overed the same results before ,
dif ference which ge ometry was the true one if there were ,
1
I ntrod uction to Tra ns l a tion f
o B ol y a i .
Sp a ce a nd Ge ometr iza ti on 43
just as the pla n t tra n sf orms the water the air the carb on , ,
I
g
M on e ( 7 4 1
—
6 1818 ) —Pon cel et
(1 788
3
Col umbia Univers ity Lectures p . 2 .
Sp a ce a nd Ge ometr iz a ti on 45
I
r
Poinca é , R evu e d e met . cl mor .
,
20 pp .
—
48 3 5 04 .
4 6 P hilos op hy of Ma thema tics
We have fro m these investigati on s th e defin ite result
that even in a w orld of c ontinual flux where f orms ,
relativities are p ossible and of the m ost curi ous types and ,
bec omes the m ost rati onal way t o think of phen omena ,
RE F ERE NC E S
M a ch S p a ce a nd
,
Geometry t r by M c C orma ck
,
. .
i
H nt on F ourth ,
Dim ens ion .
M a n ni n g ,
The F ou rth D im i ens on S imp l y Exp l a ined .
Ha l ste Th e d , s a o on M e s ge f N -
id
Eu cl e a n G e omet y r ,
P r oc .
A mer A s s oc A d v S ci 5 3
. . . .
,
pp 3 49 3 7 .
— 1 .
D a rb ou x
“
evel o ment of G eomet
,
D p ri l M th d s
ca e o ,
B ul l .
A mer M a th S oc . 1 1 . . pp 5 7 5 43
. 1 — .
K a s n er
“
,
r
P e s en t P o l ems in G eometr rb y B ll Am
,
u . er . M a th .
S oc . 1 1 pp .
—
283 3 14 .
Kl e i n,
“
r g r Pr gr mme
E lan e o a ,
B ul l . N ew Yor k M a th . S oc .
,
2
pp 5 — 4 9 . 21 2
C H APTE R IV
A RRA N G E M ENTS AN D M AT HE M ATI C AL TA C TI C
There is a charm f or m ost pers ons in the arra ngement of
a gr oup of objects in symmetrical designs Three objects .
that the sums of certain selected lines are all equal has ,
the statement of M a cM a h on : I
1 5 9
6 7 2
8 3 4
An
1
dr w e s, M a gic S q u ar es a nd Cu b es ; M a cM a h on Combin a tory
,
A na l y s is .
A rra ngemen ts a nd Ta ctic
d ifli cul t .
H
we may investigate what c omp ou n ds of these elements
or radicals can be made s o that n o b onds are left u n
previ ously given last set The n ce we are led t o the cre a .
i n deed the key that Gal ois f ou n d t o u nl ock this diffi cult
part of algebra A nd the is om orphism betwee n these per
.
I
I ntrod uction to a F orm of Gener a l A na l y s is , p . 1 .
A rr a ngemen ts a nd Ta ctic 55
ing d own int o the m ost h opeless rui n s the ages have ever
see n f or with it w oul d g o man s h ope of ever reall y reach
,
’
all physical reality has c onfirmed the truth of the the orems ,
once supp osed that every c on ti n u ous fu n cti on was dif fer
en t ia b l e
. Later it was Sh own t hat there were c on tinu ous
fu n cti on s that were n ot dif fere n tiable T o assert that the .
, ,
pos teriori but a re a crea t ion of the mind ; a nd thi s crea tion i s
,
2
E . Bou t rou x , N a tur a l L a w in S cience a nd P hil os op hy , t r a ns by
p
.
Rot h w el l , .
40 .
2
C entury D ictiona ry ; a r ticl e M a thema tics .
60 P hilos ophy of Ma thema tics
t he mathematician were engaged onl y in ideal building ,
ma t ics .
RE F ERE NCE S
M a cM a hon ,
Combina tory A n a l y s is , 191 5
—1 6 .
Luca s ,
Recr ea tions ma théma tiq u es , 1 89 1 —9 4 .
'
Brfi ch ner , V iel ecke u nd Vielf l ache, 1 9 00 .
B r gd
a on , P r oj ective Or a ment, 19 1 2 .
C HA PTE R V
L O GI S TI C AN D THE R D E U C TION OF M ATHE M ATI CS
TO L O G I C
In the year 1 9 0 1 we find in an article by B ertra n d
Ru s s el l :I
The n i netee n th ce n tury which prides itself ,
address we find :
3
the t w o great c omp onents of
the critical m ovement th ough distinct in origin and f ol
,
2
P r incip l es f M a thema tics
o ,
p .
5 .
whe n A rist otle was devel oping the study usually called
l ogic The l ogic of A rist otle is well en ough defined when
.
the f oll owi ng terms Let us supp ose that we start with a
.
put int o the empty term (which may be any w ord of the
sta tement ) the variable a nd that yield true pr op ositi on s
, , ,
5,
6 1
,
0 1 1 ,
N ow the
,
class o f f ourth p owers o f
integers are all either divisible by 5 or give 1 f or
remai nder Hence the f ourth p owers con stitute a s ub
.
8 and ( f or i no
stan ce
, ,
r 3 divis or of 2 8 8
o ,
6 ( Y
° "
r
th en ( “
Y
namely ,
-
a ( B x e a then x e B
o
, ,
.
vidual circle .
2
Rivis ta di ma tema tica p .
3 .
66 Philos op hy of Ma thema tics
class is als o under c onsiderati on represented by a If ,
’
.
1a = a, 1 + a = 1 oa = o, o + a = a
,
.
—
suggested f or example the use of I a f or a with the ’
, , ,
a a bb c a bc ac .
2
P rincipl es of S cience; P u re L ogic; s ee a l s o, S tudies in D ed uc
al so C ou t ura t , A l g ebr e d e l a l ogiqu e (A l gebr a of L ogic) ,
‘
tive L ogic;
t r
a ns . by R bi
o n son .
L ogis tic a nd R edu cti on to L ogic 67
equivale n t la nguage .
a = a b, b b c, then a a c;
or in equivalent f orms ,
ab
’
0, bc
’
0, then ac
’
0 .
are the s ource of the c onclusi ons the c onclusi ons are not ,
the one t o the other is made m ost eas ily by these meth ods ,
and the conclusi ons are new pr op ositi ons c onsistent with
the pre mi ses A simple example will sh ow what is meant :
.
'
If a implies a then a is 0 ; f or if a a = 0 at on ce a = o
, , , .
C onversely :
'
if a a 0 a 0 a = 1 That is a pr op ositi on
’ ’
, ,
.
,
(a implies b ) I ) .
n ary relatives
-
A S simple examples we may omit
.
x
M em A mer A cad A r ts
. . . a nd S ciences ( N ew Se ri es ) , 9
pp .
—
3 1 7 3 78
2
C ou t u ra t , Ency c .
f
o the P hil S ci. .
, Vol . I p , . 1 70 .
L ogis tic a mt R eduction to L ogic 69
“
between the t w o asserti ons and If 2 is a
number and if 3 is a n umber and if 2 and 3 be added then
, , ,
”
has only r oots such t hat they cann ot be distinguished as ,
are 2 X3 1 2/2 ,
which are all ind is t inguis h
,
3 Then if we call ,
these pr o p o siti ons
s imil a r in that each ha s indis tingu is ha b l e r oots we may ,
“
migh t be in the tacit interpretati on of pure mathe ”
Wh at is an individual " is me t .
of the s e is said t o have the truth v al u e tru th; the sec ond -
,
work s of g enius s impl y cel ebra tes the vi ctory or r ecord s the
,
scien ce with the intent ion of di sce rning wha t i s in co rp ora ted
the rein of intelligence a nd t ruth .
it ou t S ays J ourdain
.
2
a nd w e ca n f eel th a t ou r ow n di scove ri e s a nd vi e w s d o n ot
that the w ords he uses in the E nglish t ongue have not been
built up by the eff orts of ma n but have e x isted fr om the ,
2
N a ture of M a thema tics ,
p . 88 .
7 6 Phi los op hy of Ma thema tics
beginnings of time that the idea of pr op ositi onal functi on
,
of wells or that
,
be cause s ound waves exist in the air
,
-
,
theref ore symph on ies operas and all music have always
, ,
Z eus nor is it the rec o rd of the intellectual micr osc ope and
,
2
J a hr b D eut . . M a th Ver . .
,
13 p .
38 1 .
7 8 P hilos op hy of Ma thema tics
but the discussi ons in the Revu e d e M éta phy s iqu e et M ora l e
fr om 1 9 00 on will be f ou n d very illuminating in their
bearing on the nature of mathematics The phil os ophical .
The net result of al l the dis cussi ons is that all the meta
physic s has been eliminated fr om l ogistic a n d it assumes ,
allied t o the subj ect of the preceding chapter the the ory ,
“
mathemati cs is the only true metaphysi cs ”
.
RE FERE NC ES
Bruns chv icg , L es éta p es d e l a p hil os ophic ma théma tiq u e .
d rd
Ha a ma , L a l o st q ue et l a not on e nom e ent
“
gi i i d br ier ,
Rev gen d es . . s ci .
,
16 pp 9 6 —9 4 . 0 1 .
Ke yser T he T hesi
,
“
s of Mo d er L gist i c S i
n o ,
c ence, 30
— 6
pp 9 49 9 3
Moore the Foun d ti s M a thema t i cs
“
, On a on of ,
B ul l A mer
. .
M a th . S oc .
9 p .
40 2 .
Hob son ,
On the I nfini te a nd I nfinit es ima l in M a thema t i ca l
A na l ysi s ,
”
P roc L ond
. . M a th . S oc .
, 35 pp . 1 1 7
—1
40 .
C ou t u ra t , M onis t ,
22 pp .
4 81 —
5 23 .
2
Lif e, p . 10 .
82 Philos op hy of Ma thema tics
transmutations of f orm or s ubstance The explicit use .
the sch ool of Hera cl eitos was s oon scattered a n d his b ooks ,
the abs olute the eternal The idea of ev oluti on was yet
,
.
+ 1 ,
X= x +b .
— —
and indicated by 1 such that (x+ 1 ) 1 = x In such .
,
—
the number pr oduced by the operati on 1 1 It w ould .
F r m this p in t
o o of View they w uld have s een that there
o
always p ossible .
1 1 2 3 5 7
, , ,
With these they c ould have investi
, , ,
hence they could have said that the rati onal operati on s
f orm a disc ontinu ous i nfi n ite gr oup .
cessi on
after T , mac k n) after S after T I
‘
- .
x; , ,
(G I
01 33 +
m
of x = a x w ou ld be x
’
= a x+ d ( 1 — a) where T is written ’
,
—
in the f orm m(x d ) This c ould als o be written in the .
—
f orm x d a (x d )
= ’— .
and =
y 2 ay 1 + b ,
which give
a: b: — xl
l
This pr operty they c ould have labeled d ouble transitivity
of the gr oup of rati onal operati on s .
H x; after T y
,
The s et c onjugate t o H w ould thus
,
.
i l y thi s ki d f xi m th t Eu l id e u i t s
c se n o a T he the r
o a c n nc a e . o s
fir st by us d th t c se q ue tl y the
an ti a f gr up e i ste d
on n no on o o x
pri r t l l the rs
o o a o .
and m oving them ar ound did not disturb their size and
shape but the obser vati on br ought no intellectual resp onse
,
c ould not have existed S uch n oti ons are simply not .
We may l oose our fan cy again and supp ose the school
of Euclid of A lexandria discussi n g the questi on a s t o what
9 0 Philos op hy of Ma thema tics
containin g twenty f our operati ons -
and the ic osahedral ,
c ould not reas on not because they c ould not draw physical
,
and a half ce n turies bef ore Lie devel oped this n otion ,
u c t s of th ought .
as,
f or example the r oots of an algebraic equati on of
,
series of devel opments of Gal ois and C auchy that f oll owed
this algebraic begin nin g occupied s o much of the atten
ti on of the mathematical w orld f or a l ong time that a s ,
2
Hohere Geometrie
‘
,
2, p .
4 .
Oper a t ors a nd R educti on to A lg orithms 9 1
i=
’
1,
on 2 .
The the ory of c ontinu ous gr oups is due alm ost wholly t o
Lie a N orseman w h o studied the field of integrati on of
, ,
2
C ontinu ierl iche Gr upp en p
( .
9 2 Philos op hy of Ma thema tics
of it s oon c onvinced the auth orities that his calculati ons
,
hav e f or example
, ,
2x +1
5 x +3
their pr oducts being
1 II _ +
I IxI4 3 3 x+ 1 9
( )
II I
x .
x
2 9x+ 3 7
( x .
x ) 2 6x +15
This class of substituti ons is of great service in the
s tudy of equivalent quadratic f orms in the the ory of
cha nge .
diff erences .
hd/ d x _1
A ” (e ) n
n
u .
2
A nn ma th p ures
. . et a pp .
, 5 (1 8 1 4 p .
93 .
Oper a t or s a nd R edu ction to A lg or ithms 95
( 1 0 ) distributivity .
B ourlet 4 M oore
,
5 F r éch et (papers on lin e functi on s
,
-
,
S o imp orta n t and widespread has the n oti on bec ome that
one is tempted t o assert t h at the wh ole of mathematics
imp ortance the the ory of Operat ors and of gr oup s is onl y
,
2
P hil . Tra ns . Roy . S oc L ond
. .
,
1 27 p . 1 79 .
2
P hil . Tr a ns . Roy . S oc L ond . .
,
1 34 p . 2 25 ; a nd M a th .
A na l y s is f
o L ogic pp . 1 5
—1
9 .
3 Ency c d es . s ci . ma th ,
T o me II , V ol 5 , Fa s c
. . 1 .
4 A nn . Ecol e N or ma l e 14 p . 1 33 .
5 Gen era l A na l y s is .
9 6 Philos ophy of Ma thema tics
change and tran s mutati on and h a s resp onded with a
vast creati on j ust a s it faced the pr oblem of the collecti on
,
RE F ERE NCES
M ill e r Hi s tori ca l S k etch of the T heory of G roup s of Fi ni te
,
Orde r Bib M a th pp 3 1 7 3 2 9
—
”
,
10 . . . .
M a th S oc . 12 pp 4 . 2 0—2 60 .
Hil b e rt ,
P r bl ms
o e of Ma them t i cs a ,
”
Bull . A mer . M a th S oc . .
8 —
PP 4 3 7 4 7 4
Burns ide ,
Ency cl op a ed ia Br ita nnica , rt icl e G r up a o .
Dick s on ,
“
p rt
Re o on the Recent Pr g ress in the The ry o o of
L inea r G r up s o ,
”
B ul l . A mer . M a th . S oc . 6
pp . 13
—2
7 .
9 8 Philos op hy of Ma thema tics
of dimensi ons C ertain functi ons of the vari ous
tw o .
—
functi on a y b x which may be called the vector pr oduct
,
—
the expressi on (a x by a y + b x) Likewise in space of .
,
the time will c ome when d ouble algebra will be the begin
ner s t ool ; and quaterni ons will be where d ouble algebra
’
is n ow
”
O n the other hand we hear L ord Kelvin com
.
,
2
2
f Ha mil ton Vol 3
Lif e o ,
.
,
p .
49 3 .
2
Lif e o f Lord K el vin, p . 1 1 38 .
3 F ou nd a tions o Geometr
f y p .
45 .
Hy p er numb ers a nd R educti on to A lgeb r a 99
o f pr j ct ive pr p r ti
o e which r fe r t t h ircul r p i t i
o e es e o e c a o n s, s a
m re m m i t h i
e e f pu rel y l g br i c l pr p erti s ; t h
or a ec n ca or a e a a o e e
circul r p i ts a t t o n b e f u d i sp e but l y i
a re no o o n n ac ,
on n
t r f rmed T h t
a ns o c t r di ct i s ri e f r m the g
. a no on a on a s o eo
m t ri c l i t rpret t i s f i m gi ri s i s t w d rf l ; f
e a n e a on o a na e no on e u or
m y d mi t
a a v l id i th ir i te rpret t i t i m gi ri s
as a n e n a on o a na e .
The p e rcep ti f sp ce b e i g wh ll y b e t Al g br
on o ul es a n o a s n , e a r
s upreme d i c i ste cy n ri se
,
an no n ons n ca a .
B e n jamin Peirce : 2
_
T hi s symb l 1 i s r est ri cted t a preci se signific ti
/ o ,
1 I ,
o a on
in the r c ses
o B t the st r g st use f the s ymb l i s t be
a . u on e o o o
f r m whi ch m d er
o l ysi s h d evel p ed he r su rp ssi g
o n a na as o a n
ge met ry
o .
—
ab out p oi ts in space or else part of the time we are
n
reference t o algebra .
o thers ,
all of them c oming under the one name hyper
number s The numerical element is not of particular
.
write it as
1/ 7 ( cos 0+ i Sin
where
cos 0= —l / Sin 0= l/
7 é .
102 Philos op hy of Ma thema tics
The c omplex number a + bi bec omes then the linear
, ,
substituti on
i
2
1 Evide n tly the only way ou t is t o assert that in
the first case 1 and 0 as well as 1 are all only places on
, ,
F or insta n ce ,
— — zi
( I ) zi , (s ),
— — zi
( 1 4t) , (s )
D id Gauss imagine f or a m oment that he was not dealin g
with numbers but was s olving pr oblems ab out linear
,
n ot 5 ,
13 17 ,
29 but were the duple x es ( 5
, ,
(1 3, ( 7
1 ( 9 0)
2
,
fact orable as duplexes but
, ,
o verb oard the i n tegers and use the rati os of this type
instead of them " When the n egative was first i n tr o
d u ce d t o s olve such an equati o n as x + 5 3 we may be
=
,
a,
2 = a F or if w e c onsider x + 0y x and y b oth od d
2
.
'
, ,
—
( 1 9) is divisible by 3 but neither n or ,
1
— 0 is divisible by 3 that 3 behaves li ke a number with ,
6 a Ba B
I Z.
turn ou t t o be
a fi and I
— 0= a 6 l 2,
f or disc overies .
—
indeed of all numbers includin g integers is n ot t o be
, ,
3=
x 1 5 x +4 .
Leibniz and B ern oulli had s een that the dec omp ositi on
of rati onal fra cti on s f or integrati on might lead t o com
l og .
( cos x + i s in x ) = ix .
V ol 1 F as c 3
.
,
In 1 8 3 3 S ir W R Hamilt on under
. . . .
2
P hil . M as 25 pp 49 0
-
49 5
Hy p ernumb ers a nd R educti on to A lgeb r a 11 1
— —
q r= rq + 2 i (y d -
ao ) + 2j ( zb dx ) + 2 h (xc y b ) .
Hamilt on spent the latter part of his life in devel opi ng the
algebra of quaterni on s and its applicati on t o ge ometry of
three dimensi on s His w ork was carried on als o by Tait
.
and J oly The fun cti onal s ide of the devel opment of
.
such exit ns ions bey ond the use of vari ous imaginary u n it s
,
them hy p ernu mb er s .
j 7 5 l
=l
j
fur n ishes numbers which have all the laws of c ombinati on
of matrices of order n A n algebra of thi s character is
.
called a quadrate .
the basis remains the the ory of abstract Operat ors s o here ,
4 —
the r oots of x 2 2 x 4 8 x 2 2
are rati onally express
Hy pernu mb ers a nd R edu cti on to A lgeb r a 1 15
—V VE
3 - = —
p,
VS V5 = —
p
3
+ 5p e )/ z o,
—V z + 1/ 3
2 10
The the ory of gr oups sh ows that these equati ons have
r oots rati onally expressible in ter m s of p A n other Simple .
transf ormati on
ma y , f orinstance ,
su m t r a ns f or
mati ons like
M) s Lox t ax ) d t
Jinx ) d t+
RE FERE NC E S
Bou t roux , Sur l a rel t i d e l l g eb
a on
’
a re a l
’
a na l y s e ma th .
,
P r oc I n t
. . C ongr es s a t Rome, Vol 3 , . pp .
3 81 —
3 84 .
G ibb s ,
“
M ult ipl e Al gebr a,
”
P roc A mer . . A s s oc . A dv . S ci .
35 P 37
Ma cfa rl a n e ,
A Re p rt o on Recent P r gres
o s in the Qua te rnion
yi
A na l s s , P roc A mer A s s oc A d v S ci
. . . . .
, 51 pp .
—
3 05 3 2 6 .
1 18 Philos ophy of Ma thema ti cs
game as a pleasant way t o visualize his new hy p ernumb ers ,
“
A S there is an infinity of wise things c on ducted in a very
f oolish way s o there are f ollies c onducted in a very wise
,
”
way . In the game it is the c ombinati on the transiti on , ,
the play he may receive suggesti ons from which imp ortant
the ories fl ow .
fine the integers the rati onals the irrati onals as stages
, , ,
2
Q d by L
u ot e u ca s , Recr ea tions ma théma tiq u es , t tl e-p a i g e, Vol . 1 .
Pr oces s es and R edu cti on to Tr a ns mu t a ti ons 1 19
the calculus of classes and relati ons the the ory of opera ,
Fr m
the fact that modes of acti on while they result
o ,
f ound the l ong s ought abs olute truth The creati ons he
-
.
,
2
Ency cl op ed ia f
o the P hil os op hica l S ciences , Vol . 1 ,
p . 1 34 .
1 20 Philos op hy of Ma thema tics
c reati on of the order—types is in fact a finding of the
f orms that cha r a cter ize a l l ord er l y a ctivi ty , j us t in so f ar
Even th ough the static results of the the ory of cl asses and
relatives d o n ot c ontain all mathematics yet in the active ,
1 22
I nf er ences a nd Sys tems of L ogic 1 23
tems and may be called fun cti ons of the latter F i nally .
,
S aid Peirce : 2
2
A mer . J our . M a th .
, 4 p .
97 .
1 24 Philos ophy of Ma thema tics
Its wings may rest up on the air and it may rise because ,
ing This is because these thi ngs are not onl y diverse
.
2
Revu e d es d eu x mond es 25 p . 662 .
C HA PTE R X
F ORM A S A C N RAL P R N C PL E T I I E
We have examined the d omain of mathematics as t o
its subject matter findin g at present eight main divisi ons
-
,
were thr ough these eight di visi ons al on g the lin es of cer
, ,
2
N a ture, 8 4 p . 28 7.
Form as a C e ntra l Princip l e 1 27
the architect s m ind bef ore the st one was even quarried
’
“
arrays and studied the square numbers They f ound .
“ ”
in equ ilateral triangles tria ngular numbers and other , ,
2
P r oc Lond . . M a th S oc
. .
,
26 p . 13 ; N a ture, 4 3
pp . 1 5 6 —162 .
1 28 Philos op hy of Ma thema tics
f orms C oming up t o m odern t imes we fin d numbers
.
,
8 1 2 8 33 5 5 0 3 3 6 8 5 8 9 8 6 9 0 5 6 1 3 7 4 3 8 6 9 1 3 2 8 are perfect
, , , ,
here als o .
n ec t e d with statics .
a s f oll ows
. 2 2 .
132 Philos op hy of Ma thema tics
whi h the di st i g i shed d u di ti gui hed e titi e l l e ti s
c n u an n s n s n s , co c on
of e t i t i es
n d p e ts f c l l ecti s f e titie
,
an as di t ributed
c o o on o n s a re s
thr u gh t h sy tem
o e s .
T h p culi ri t i es
e e d pr p e r t i s f
a system f e t it i es
an o e o a o n
d p d
e en f
s so
'
the pr cesses f ex ct th ugh t
ar a s c e r ed o o a o a re on c n ,
up the p rt i c l r f rm i t ssumes d
on a u a i d ep e d e t f
“
o
”
a ,
an a re n n n o
an ythi g l se
n e .
The the ory in questi on fails utterly t o say m ore than that
th ey are intr oduced A cc ording t o the View advan ced .
in the present treat ment they are usually direct creati ons ,
the functi onality relati onships that are added t o previ ous
entities are s ometimes of m ore imp ortance than the enti
ties themselves and it is the functi onality that is studied
,
these it takes int o acc oun t th ose features that are inv a ri
ant under a change of f orm These we will c onsider in .
Form as a C e ntra l Pr incip l e 135
RE FERE NCE
K em p e The ry
,
o of M them t i c l F rms
a a a o ,
P hil . Tr a ns Roy
. .
S oc L on d
. . P rt I pp
a
—
,7 . 1 0 .
C HA PTE R XI
THE ORY OF IN VA R AN I TS
The pri n ciple of invarian ce has als o been c onsidered
t o be the essence of mathe matics I n h is presidential
.
Lie says (p “
.In recent times the v iew bec omes m ore
and more prevalent that many branches of mathematics
”
are n othing but the the ory of invariants of special gr oups .
2
N a ture, 64 p .
48 1 .
2
N a ture, 5 6 p . 2 79 .
1 38 Philos op hy of Ma thema tics
The the ory of is om orphism in arrangements can be placed
pr operly here a s well as pr oblems of transiti vi ty The .
c on stitute ab out the only l ogi cal inv arian ts kn own s o far ,
“
In our century the c oncepti on s of substituti ons and
s ubstituti on gr oup tran sf or mati on a n d transf ormati on
,
2
Works ,
1 p . 23 3 .
2
L eip B er . .
, 47 p . 261 .
The ory of I nva r ia nts 1 39
the m ost tryin g c on diti ons of def ormati on they c ome the ,
this already treme n d ous list with the grand the ories of
diff ere n tial and integral invarian ts we can alm ost feel ,
2
He r s ch el ,
F a mil ia r L ectu r es on S cien tific S u bj ects , p .
45 8 .
1 40 Philos op hy of Ma thema tics
of inference yet inv e s tigated When it is de v el oped we
.
,
ma g nitud es whose stu dy con st i tutes the pri n cip a l obj ect of
,
s e ri es r en d er e d i mmen s e se rvi ce .
1 42
Ma thema tics as Theory of Fu ncti ons 1 43
must als o include here the study of functi ons over ranges
1 44 Philos op hy of Ma thema tics
that are n ot representable as p oin t sets with the cons e -
,
a n d imp ortant it d oes n ot include the regi ons of the the ory
,
RE FERE NCE S
Pi ca rd,
L es ma th é ma t i q ues d a n s s es r a pp or ts a vec l a phy
s i q ue P roc I n t C ongr es s a t Rome
. .
S oc .
,
1 1 pp .
404 4 2 6
— .
M oor e Genera l A n a l y s is
, .
C HA PTE R XIII
THE O RY OF E QUATION S
O ne the chief s ources of mathematical advance is
of
2
Bull A mer
. . M a th . S oc
. 8 p .
443 .
1 48
1 50 Philos op hy of Ma thema tics
independent variable Hyperb oli c functi ons elliptic func
.
,
Picard V es s iot the ory similar t o the Gal ois the ory of
-
,
place and what small syn thetic character l ogistic has lies
, ,
of mathematical chemistry .
operat ors that f orm gr oups The peri odic functi ons
.
,
the d oubly peri odic functi ons and others have extended
,
only n ew meth ods and new s oluti ons but a new p oint of
,
ti ons and leads up t o a the ory we may call fun cti onal
analysis The calculus of variati ons bel ongs here on e of
.
,
mati es are practically the same and this iden tity will be ,
2
S ee M lh a u i d N ou vel l es étud es s ur
’
l his toir e d e l a p ens ee
’
s cien
p
,
tif t q u e, . 1 35 .
S ources of Ma thema tica l R ea lity 155
—
the orems of f our d imensi onal space f or instance t o be
-
,
l u t el y
,
true The latest exp on ent of this philos ophic
.
p e t ed their sensati on s
r N o S O called pr oof that the
-
.
re li es the mir cl e f s u ri g m t l e rl y i ts uc es l e
a z a o a s
—
n os c a s c s ss
it f inst t
or a n an .
di sp sed t d e y i t
o L t
o ccep t if they d e ire i t eve ry
n . e us a , s ,
suggest i f exp e ri e ce
on t the b se
o f the m them t i c l n ,
a a o a a a
m veme t l i e su rf ce v l me v ri t i
o n ,
n ,
f vel ci ty i fin
a ,
o u ,
a a on o o ,
n
no t t le st
a l i ttl e truth in the c ri t i c l the ri es
a a d i f in th es a o ,
an e
first n t i s the r e d es
o on t e te r s me f r m l eces it y f r m
o no n o o a n s o
no d ub t they will k us t d
o t the w rk f el b r ti
as o o, a s o o o a o a on
expe ri e ce whe i t g e e r l i es
n ,
b st r cts i such wi e t
n n a z or a a n s as o
y q ue t i sp eci l c r e t i it r em i i c test bl e
an f s on o — a a a on a ns n on a
th t either these d t
a n the u rr e t p e r t i s fli t a a nor c n o a on su ce o
p i
er ence , f rme d by a re i ce s t ef f rt t el imi te
o an n s an o o na
q u lit y
a .
f r m the
o d iti which h m i ev ry intui tive vi w d
con ons e n e e ,
an
whi h hi i t ll ct d mi t
c s n e d by wh se id i t f rg
e o dl s na es a n o a o es en es
Ul t i m t l y b ey da e y v,
i ib l e e x t ronl st i mu l us by ki d
an s e na ,
a n
o f tu r l u rr t f th ught pr b l m t th m l v d fi i
na a c en o o ,
o e s se e se es , e n
t i s c ll f rth w d fi i t i s ; g e r l iz t i
on a o ne f p il e n on en a a on s o a s ec a
c h r ct r ex t d t v ry m m t the d m i f v l idi ty f
a a e en a e e o en o a n o a o a
no ti d
on a n l rg e w ll the fi l d p t r t i l c st ru
en a as e e o en o a on a on e
ti n ;
o s th t i the pr e ce f t r t ise
so a n ly i es n o a ea on a na s s , or
on ce f ll Sh l l we
or a y th t i t i
. ill usi
a d ll th se sa a s an on , a n a e
ne w c re t i s t r l te re l l y l y d t b rr w d f r m p i
a on a ns a a on a a o o e o ex er
en ce ,
f r m s rt f se se i tuiti whi ch i l te t i i t "
or o a o o n -
n on s a n n
P ss ib l y b ut b e y d r e d uci g ev ry thi g t m r e su gg st i s
o ,
on n e n o e e on ,
t i h i s t i disp
on as, bl e f the ri hme t f m th m t ics
no n en sa or en c n o a e a ,
an d th t l g ch p ters
a on l ys i s ge m t ry wher the rems
a on a na or o e ,
e o
on e b eg S h ll w e
an y the th t the m the m t i ci
a ly
sa n a a a a n on
T h t w ul d b e me r e m d e f sp ch f w h d e t p p
a o a o o ee ,
or o o s no a re
id s m r x ctl y Sh l l we t y t r l iz th m
ea ,
or , o e e a ,
a no sa ,
o ea e on e as a
f u d ti t h e ry ri ch st c t ructi
o n a on e v e on s on s
verities but they were existent bef ore us and were true
,
thr ough out all time and will be true through out all time
,
the true and the beautiful The D evil s ows his seeds
,
.
“
N 0 true pr op ositi on c ould be called false A s well s a y .
equally imp ortant full of b oth the true and the false the
, ,
never was rank with err or even th ough full of harm ony "
,
a nd in n o w a y t o a n s w e r t o t h e f e el i n g of t r uth a n d f a l sehood .
2
Ru s sell , Congr es inter d e p hil
‘
. .
, 3 p . 2 74 .
2
Rus sel l , M ind (new se ri es ) ,
13 pp 5
. 23 — 24
5 .
S ources of Ma thema tica l R e a lity
s i v e th an it is ,
but there is no imp os s ibility in s uch
1 68 Philos op hy of Ma thema tics
applicati ons Bu t granted that the mind can create and
.
that its creati ons are perforce not self destructive but , ,
-
,
t o ve
RE FEREN CE S
B ru n s chv icg , L es p es d e l a phil os ophic ma th éma tiq u e
’
eta .
M il ha u d ,
De l a cer titud e l ogiq u e .
Le r a tionncl .
2
L es
’
s ame s ubje ct :
i ncl uded in some gene ra l iza t ion but bra nches of the subj ect
.
2
N a ture, 8 4 p . 290 .
The Methods of Ma thema tics 1 7 1
f oun d that they c ould be used t o s olve diff ere n tial equa
ti ons t o express the co ordinates of algebraic curves a n d
,
-
,
the wide branch of fundamental fun cti ons and their uses .
—
g oal t o be attained by the l ogic all these are the w ork of
"
the intuiti on A fine image of P oin caré s exemplifies the ’
.
“
matter He c ompares with a Sp on ge the final statement
.
i
universally t r u e I t must be acc ompan ied by a keen
a n alysis and ready percepti on of what is essen
o ften happe n s that hasty generalizati on w ould
2
J a hr b . D eu ts ch . M a th Ver
. .
,
13 p .
3 63 .
1 7 6 Philos op hy of Ma thema tics
the analysis Poinca re made of the s oluti ons of dif f erential
equati on s sh owed that in general the integral curves
wind around a limit cycle asympt otically a result that ,
2
B ibl iotheq u e d u congr és I nter n d c p hil
. .
, 3, p .
443 .
2
S cience et méthod c, p .
43 .
b iz rr e utter ces
a d p r d x es
an d i s ev rywh r e
,
an c m a a o ,
an e e ae o
p i d by
an e t s whi h st itute
no e ,
e s t i l p r t f Sy l
c con an s en a a o
t
v es er s m th d f pr es nt t i
’
e o emb dyi g r l t i
o wh ther
e a on , o n e a on s , e
a re t h m r e st i m l t i g wi g t t h ir i
e o u ampl t n o n o e n co e en e s s .
Hi r e
s i g m v d i g r l iz ti s w f req u tl y i fl
a s on n o e n en e a a on ,
as en n u
en ce d by l ysi d t tim s w
a na guid d eve by mysti c l
s , an a e as e n a
n ume ri c l r el ti s Hi r
a a i g oni ts l s f r q ue tl y f
. s ea s on n con s s e s e n o
M th A
2
a l 5
. p 55
nna en , 0 . 1 .
The Mcthods of Ma thema tics 1 79
j t
ec u re s i cited by i dividu l b s v ti s d v ri fi t i s
n n a o er a on an e ca on .
I thi h w
n s g id d by
e as l g eb r i c se se d v l p d t h r ugh
u e an a a n ,
e e o e o
l g
on up t i with pr ce s f f rms
occ a on d thi l d h im
o sse o o ,
an s e
rem i v il ed
a n e T he exp e ts f hi ti l h r on n o s es s en a c a
t i ti
a c er s i tuitive t l e t d f l ty f i ve ti t
cs a re a n n a n an a a cu o n n on o
2
A nn L ecol e
.
’
norma l e 18 p . 1 .
1 80 Philos op hy of Ma thema tics
s olidly t o the structure already existing rec ourse must be,
“ ”
and make it one vast taut ol ogy of the implicati ons of a
few definiti ons and a few a s s ump t ions fil h e l ogisti ‘
2
Cf . Pea no, F or mul a r io M a thema tico; Whi t eh ea d a nd Ru s s ell ,
P rincipia M a thcma tica .
182 Philos op hy of Ma thema tics
ge ometries rch imedean c ontinuity t ra nsfinit e num
,
n on-A ,
“
It seems t o me that the wh ole of aesthetic (s o far as
at present re vealed ) may be regarded a s a scheme havin g
f our centers which may be treated as the f our apices of a
,
of the mind .
2
Col l ected P ap ers , 3 , p . 1 23 .
C HA PTE R X VI
i t i s b ea uti ful Were na tur e not bea uti ful i t woul d not b e
.
,
sen ses a nd wi thout thi s supp or t the bea uty of these fugi tive
,
2
S cience et méthod c , p . 1 5 .
Va lidity o f M a t he ma ti cs 18 7
the tree Yggdrasil has its r oot s in the earth and thence
draws sustenance f or its growth A s P oin caré and .
—
well as of nature all these have c on tributed t o the s u s
t ena n ce of the trunk even if they c oul d n ot be part of the
,
M ilh aud : 2
physics or a s t ronomy
,
.
2
N ouvel l es étud es s ur
’
l his tor ic d c l a p ens ée, p .
30 .
1 90 Philos op hy of Ma thema tics
At the same time the t otal dif f erential equation ha s had
it s i n fluence in devel oping physics The m ovement of a .
d iff erential equati ons which bec ome infinitely numer ous ,
various rays and the quanta of the radiation the ories are
,
centers of the new physi cal the ories that are in the
making F or these it seems a mathematics oi th e to tally
.
-
the ories of c ontinu ous media but has als o intr oduced the
,
what takes place t oday but als o up on what t ook place day
,
of n oti ons that are applicable here and the functi ons of ,
add that if the day c omes when there are phen omena
in physics l ike the lines of the spectra of the elements
, ,
the other fine arts — create the beautiful and give expres
si on t o the l ongings a nd h opes of man Bu t they have .
been t old f or cen turies that these were but dreams visi ons ,
the same reas on and in its harm onies finds als o everlasting
,
“
N o t in the gr oun d of need n ot in bent and painful ,
y oung science has her origin and r oot ; and her spirit
, ,
RE FERE NCE S
Keyser Th H m W th f Rig
,
e Thi ki g
u an or o or ou s n n ,
19 16 .
K y r M th m ti C l mbi U i r ity L t r
2
e se , a e a cs , o u a n ve s ec u es , 1 9 0 7 .
C ENTRAL PRIN C IP E f MT
L S O :
OB JE CTS F OR M
IE tesem
n g er s
bl e theo ry
LEitep r lsiori ths metic
n
a a
Compl e es
x an n
P o t g e omet ri es
x
in
Fu ct io l sp ces
n na a
NUM BE R
P oi ts P oi t sp ce f
L es me s s
n n a o two 0
Su rf ces
in
L
. m o r e
m g eo met ry
di i o n n
VHagriheetreseleme
a
i
ts Su r ce g eomet ry
fa
e
AHbigsheolute g e omet ry
r el eme ts
i n
S
PA CE n
CS teomreboichemtoryst ry l
na a na y si
F ou d t i o s
n a n
of rel ti ves
a
S ub sti tut io s
TGrrouspfsorm t io
an
n
a n s
M UTATION
F u ct io l
a a
t ra ns f or
m tio s
n
a
na
n
Com po site ct io s
Actio l st uctu res a n
na r
C on ti p r ti
nu ou s o e a on s , 87 Epnin
x a s o s, 1 28
C ot es , 1 08
C ou m ot , 1 30
Fa r d y 73
a a ,
1
F hr r f r
C ou tu ra t , rfr
e e en ce , 63 , 66 , 6 8 ,
e , 76
e e en c e , 1
F rm t
e a 49 1 02, 1
80 ,
Fi l d
C r tiea ve met h o d in ma t h ema t e 4 s, 1 1
F ig r f q il ibri m
u es o 7 e u u 1 1
ics , 81 ,
F i i t diff r
1
r
C inkl y r cu v es , 2
n e 94 e en ces ,
F rm
t r f p 7
o 1 2
C u r va u e o s a ce , 43
,
F rm t r l pri ipl 9
Cyl 5 2
o a s cen a nc e,
F r yt h
c e,
o s q t d 36
e, uo e ,
1
B rb x
a ou ,
1 82; rfr e e en ce , 46 F r d im
ou -
i l p 39 en s on a s a ce ,
D d ti
e uc ve m th d i
e o n ma th ema t F re h t r f r
c e , 9 95 e e ence , 2 ,
ics , 1 76 Fr g 6 9
e e,
D efic i en t nu m br
e s, 1 6 F h i
uc f ti s an u nc on s , 1 1
De ir 8
Mo v e, 1 0 F un c ti l q ti
on a 5 e ua on s , 1 1
D i ty f p i t t 6 4
en s o o n -
se s , 1 F un c ti l p on a 8 s a ce , 1 2
D enum r ti f r ti
e a l mon o a on a nu F un c ti l i ty on a t r l pri as c en a n
br 4 e s, 2 c1p l e , 9
D rt 3 7 9 ; q t d 3 7
es c a es , ,
1 2 uo e , Fu nct i on s , 1 4 2
Di k c 37; r f r
s on , 1 96 e e ence , Func ti on s of a co m le p x ri bl va a e,
D iff r t i l q
e en ti 5 a e ua on s , 1 0 37
D iff r t i l g m t ry 44
e en a eo e ,
1 Fu nc t i f hy p
on s o mb ern u er s , 1 4 6
D i ph t i
o an
q ti n e e ua
49 on s , 1 F un c ti f li on s o
44 n es , 1
D i ph to 6
a n us , 1 0 F un c ti f t f bj
on s o se s o o ect s , 54
Di ti
s con gr p 9nu ou s ou s, 2 Fun d m t l f ti
a en a un c ons , 1 ,
11
Di ti
s con p r ti 8 7
n u ou s o e a on s ,
D bl r id Ga l il 55
eo , 1
ou e es u es , 1 1
l i 54 9
D bl t r it i ity 8 6 Ga o s, 9 3 94 0,
ou e an s v , ,
l i fi ld
,
D uh em, q u ot ed , 1 2 4 Ga o s 5 e ,
1 1
l i t h ry f q ti
y i
D n a m c ma t h ema t cs , 8 i Ga o s eo o e ua on s , 1 1 4,
1 49
El t i 4
ea cs , G a u s s , 4 2 , 1 0 2 ; q u ot e d , 5
E l t r dyn mi 3 7
ec o a cs , r b
G en e a l en s em l es , 2 9
E nriq 4 58 ; r f r
u es , ,
e e en ce , 1 28 , G ene rlr g
a an es , 1 2 8
I SS G ene r l iz ti i
a a on n ma t h ema t i cs ,
E n mbl se e, 2 4 1 71
E u l id 6
c ,
I , 3 5 , 90 G eomet ri c ca l cul i ,
1 30
I mtcx 2 03
ri l l m
G eome t ca e e en t s , 1 2 9 Infini t c l l ti n 6e o ec o s, 2
Gr m
a ss 38 3 a nn , ,
I 0 Int g r inv nt d 4
e e e e ,
1
Gr f ti
een s
’
un c on s , 1 50, 1 71 Int gr diff r nt i l q t i n 9
e o- e e a e ua o ,
1 1
G r p f E l id
ou o uc ea n mov emen t s ,
I nt i ti n l m th d in m t h m t
u o a e o a e a
45 , 8 8 , 8 9 ics , 1 73
G r p
ou of l i r fr t i
n ea ac on a l s u b s t i Inv ri na n t r l prin ipl
a ce a s ce
9 a c e,
t u t ion s , 9 3 In ri n t bgr p 8 5 8 9
va a su ou , ,
G r p f r t i l mb r
ou o a on a nu e s, 83 In ri nt f p ri n 5 8
va a s o ex e e ce ,
Gr p f r t t i
ou 89
o o a on s , In ri nt f gr p 4 5 8 5 8 9
va a s o ou s, , ,
G r p f g m t ri ry t l
ou s o eo e c c s a s, 1 33 In ri n t f m t h m t i 4
va a s o a e a cs , 1 0
In ri n t f q nt i 3 7
va a s o ua cs , 1
H d m rd
a a94 ; r f r
a ,
1 e e en ce , 29 ,
In r i n 5
ve s o 1 2
,
I nv r i n
e s o n t r l prin ipl 9 a s ce a c e,
Ha l s t e d :q uot e d , 3 4, 4 2 ; rfr
e e I rr t i n l n mb r
a o a u e s, 2 1
en ce , 46 I m rp h i m 5
so o s 2
Ha mil t on ,
1 1 0, 1 1 2, 1 1 7; rfr
e e I m rph i m f q uin t i nd
so o s
,
o c a
e n ce , 1 1 0
s ph ri e ca l ri gl
t an es , 54
r
Ha mon c a t o 5 8 i r i
66 ; r f r
,
z
Hel mh ol t 1 9 4 ; q u ot e 2 4 d Jev ons 5 e e en ce
, , ,
66, 1 25
Hera cl eit os , 4 8 1 8 2
, ,
y
Jol 1 1 1 ,
r i
He m t e , 1 7 4 , 1 7 9
,
rd r
Jo a n cu v e 1 5 3 ,
r
He s ch el q u ot e , 1 3 9 ,
d rd i
Jou a n q u ot e 7 5 ,
d ,
Het er omeq u e nu m e 1 7 br , K a nt . 4 , 43 , 1 63 , 1 8 7, 1 92
br
Hil e t , q u ot e , 6 1 4 8 ; efe d ,
r r K a s n er , rfr e e en ce , 46
en c e, 96 K l i q t d 98
e v n, uo e
i r r
H n t on efe en ce , 4 5
, K mp 3 3 ; q t d 7 3 ;
e e, 1
,
uo e 1 2 1 1
i ry br
H s t o of n u m e , 1 3 rfr e e en ce ,
35 1
, ,
b d
Ho s on 1 9 4 ; q u ot e, ,
1 8, 1 26,
K y r :q t d 43 6 9 5 ;
e se uo e 1 0, 1 1 1
7 ; r f r
, , ,
1 0 8 e e en ce , 0
rfr 53 6
e e en ce , 1 2 ,8 95 1 0, 1
Hyp t i 3 6
, ,
a a,
Kl i 5 4 9 3 7 3 ; q t d 3
e n, , ,
I uo e ,
2.
73 ; r f r
Hy p ern umb er 97
,
9 0, 1 46 e e en ce ,
I h dr l gr p 9
Kr k r 7 4 9 4 ; q t d 5
onec e 1 ,
1 uo e ,
1
cos a
I i ng m
e a ou ,
0
K k r
r on ec gr 8 e s con u en ce s , I
cos a
Id l n mb r
ea u
a e, 1 1 2
e s, 1 0
K mm r 3 49 9 4
u e ,
10 ,
1 ,
1
3
I m gi ry n mb r
a na u e s, 1 0 1 ,
1 08 L gr g 9
a an 94 74 e, 0, 1
Im gin ry t im i
,
a a -
e ax s, 2 L V llé P
a a i rfr e- 6 ou s s n , e e en ce , 2
Imprimi t ivity 5
,
,
2 28
In mm n u r bl in
co e s a e v en t e d ,
21 La w of con t a r di ti c on , 66
04 Philos op hy of Ma thema tics
L w f
a o l d d middl 66
exc u M e i g f mb r 8 e, ea n n o nu e ,
L w
a f l gi 65
s o o c,M ig f prtr 9 ea n n o o e a o ,
L b g
e 6
es u e , 2 7 , M 1 i g f phil phy f m th
2 ea n n o os o o a e
L ib iz 6 5 9 4
e n ,
8 87 9 ,
m ti ,6 10 ,
1 ,
1 2 a es ,
Li 3 8 4 5 9
e, , 9 ; q t d
, 36 M
0, i g f pr 1 9 uo e ,
1 , ea n n o oces s ,
38
1 M i g f pr p iti 9 ea n n o o os on ,
Li ne g m t ry 3 8
eo e M i g f y t m fi f r
, 9 ea n n o s s e o n e ence ,
Li ne o f z r di t e o 3 M r f t 6
s a n ces , ea s u e o a se ,
2
Li r
n ea i t i l g br 3
a s soc a M er y 3 ve a e a, 1 1 a ,
2
L b t h
o a c ki g m t ry 3 4 M th d f m th m ti 4
ev s an eo e , ,
2, e o s o a e a cs , ,
1 1
M y r r f r 4 e e ,
e e en ce , 1 1
L b t h
o a c ky 4 4 3 ev s M ilh d :q t d 5 8 8 8 ;
,
2, f au uo e ,
1 ,
1 re
L gi
o f l
c o 6 c a s ses , r 5 4 68 2 85 e en ce , 1 ,
1 ,
1
L gi
o f pr p it i
c o 67 o M ill 3 5
os on s , ,
L gi
o f r l ti
c o 68 e a M ill r r f r
v es , 96 e ,
e e en ce ,
L gi l
o ca t t f B l
c on s a n s o 65 M i k w ki 3 3 7 4 6 ; q t d 8 oo e , n o s ,
2, , ,
uo e ,
1
L gi t i 6
o s c, 1 M d l r g m t ri 37 o u a eo e es , 1
L gi t i d fi i t i
o s c f e d 7n M d l r gr p 9 on o I an 2, 1 o u a ou ,
2
L u ca s ,rfr 6 8
e e en c e , M d l r t h ry f f rm 0, 1 1 37 o u a eo o o s, 1
M g r f r
M f rl rfr 44 on e , e e en ce ,
M h:
ac a a ne ,
t d 4 ; r f r
6
M g i
e e en ce , 1 1
l yt i f on o en c n on-a n a c u nc
ti
ac q uo e 46 ,
83
1 e e en ce ,
M M h :q t d 4 7
on , 1
36 ; M t q i
ac a on uo e 1
8 , ,
rfre e ence , 5 6
M r :q t d 5 4 ; r f r
0, 0
on es u eu , 1 1
M gi q r
oo e uo e ,
e e ence ,
a c s 4 7 49 s
u a es , , ,
o
M i g rfr
a nn n , 46 M l t ipl i t rpr t t i
e e en ce ,
M th m t i
53 u e n e e a on s ,
M rphy r f r
a e da t 94cs a n ar ,
1
M th m t i br h f My t i pr p rti f 95 u ,
e e en ce ,
a e a cs as a a nc o
6
phy i 5 4 s cs , 1
s c o e es o 1 0, 1
M th m t i
a e af rm f r t i
cs a s a N dim i l g m t ry 3 8
o o c ea ve -
en s ona eo e ,
l ti
ev o u 66 on , 1 N g ti mb r 6 e a v e nu e s, 1 0 1 ,
10
M th m t i
a e p y h l gy 63 N il f t i l hy p mb
a cs a s s c 3o o ,
1 a c or a ernu ers , 1 1
M th m t i
a e at dy f i r Nil p t t hy p mb
cs a s s u 3 o u n ve o en ernu er s , 1 1
l
sa s , 16 0 N th r q t d 78 oe e ,
uo e ,
1
M t ri
a 4
ces , 1 1 N Ar him d ti i ty on - c e ea n con nu ,
M a xw el l ,
1 1 82
M ea n n i g of a rr g m an e en t s , 9 N on d enume
-
r bil ity
a of ir ra t ion
M ea n n i g o f fig r 8 u e, al s, 25
M ea n n i g of h y p ernumb ers , 9 N on -
diff r ti bl f t i
e en a e unc on , 3
M ea n n i g of ma t hema t cs , 6 i Non-
E l id
uc g mty4 ea n eo e r ,
1, 157
206 Philos ophy of Ma thema tics
S t i m tz
e n 9 e ,
Tr th i m th m ti 5 6
10 u n a e a cs ,
S t if le 6 ,
10 T r th l 7 u -
va ue, 2
Syl l gi m 6 6 6 7
S yl
o
t r 78
s
t d
,
69
U i f,
r m rg 64 n o con v e ence , 1
i f rmiz t i ri b
ve s e 94 ; q 1 1 uo e 1
84
,
U ,
f l 7
, ,
n o a on o va a es , 1 1
i t fr t i
1
S ymb l i l gi 6
U 9 n ac on s , 1
o
S ymm t ri r l t ie
c
69 c
o
U i c,
e a
r l i w f g m t ry 3 4
1
on ,
n ve s a s V e o eo e ,
S y t h t i g m t ry 3 7
n e c V d m d
eo e 1
an er on e, 0
9 ,
Vl k r f r
T ti 4 7 V 8 an ec ,
e e en ce, 2
V t r fi ld
ac c,
T it 44 ec o e s, 1
V t r 97
a ,
1 1 1
T t r h dr l gr p 8 9 ec o s ,
V r
e a e a ou ,
Th l 3 5 3 5 e one se ,
V l t rr r r
a es ,
Th ry f q t i 9 ; f 9 o e a, 1 1 e e en ce , 1 2 , 2
48
,
eo o 35 e ua on s , 1 ,
1
Th ry f i f r
eo o
5 3
n e en ce, 1 2 2
1
Th m o J J 47
s on ,
Wb r r f r
. .
,
T t l d iff r t i l q t i i W i r t r 5 e e ,
e e en ce , 1
o a e en a e ua on n
46 8
phy i 9 3 57 ass, 1 1 1 1 2
e e s , , , ,
1
s cs , 1
W 0
l 8
mb r
es se ,
10
Wh w l l q t d 7
T ra n s fi it n 7 8 e nu e s, 2 ,
1 2
Tr f rm t i gr p 4 5
e e ,
uo e ,
1 2
a ns o
Wh i t h d 6 9 ; r f r
a on ou s,
8
Tr f rm t i
e ea ,
e e en ce , 1 0
a ns o 45 a
Wh i t h d
on s , 1
d R ll r f r e ea an u ss e ,
e e
T ra n s in t u it ion , 1 49
Tr n i t i r l t i n 6 9
en ce , 1 2 5
T r n i t i vi t y 5
a s ,
2
Win t er 1 49 ; reference
, ,
Tr n mut t i n 3 4 , ,
1 3, 29
Worl d of un ivers a l s 7 4
a s a o s, 1 ,
1 45
Tr 48 5
ees , ,
1
,
Tripl y t m 5 e s s e s, 1 Yggdr a s il , 4, 1 87