2 6 . H . P .

F a i r c h i l d , D i c t i o n a r y o f S o c i o l o g y
( L i t t l e f i e l d , Ad a ms, P a t e r so n , N . J . , 1 9 6 1 ) .
2 7 . D . J . S . P r i c e , S c i e n c e si n c e B a b y l o n ( Y a l e
U n i v . P r e ss, N e w H a v e n , 1 9 6 1 ) .
2 8 . A. M. W e i n b e r g , " P r o b l e ms o f B i g S c i e n c e , "
p a p e r p r e se n t e d a t t h e U n i v e r si t y o f T e n -
n e sse e , K n o x v i l l e ( 1 9 6 2 ) .
2 9 . P . Au g e r , C u r r e n t T r e n d s i n S c i e n t i f i c R e -
se a r c h ( U N ES C O, P a r i s, 1 9 6 2 ) .
3 0 . T h e d a t a o n e x p e n d i t u r e f o r r e se a r c h a n d
d e v e l o p me n t a r e f r o m v a r i o u s so u r c e s, a s
f o l l o ws. U . S . : N a t i o n a l S c i e n c e F o u n d a t i o n
P u b l . N o . 6 2 - 9 ( 1 9 6 2 ) . U . S . S . R . : K . Me y e r ,
D a s W i sse n sc h a f t l i c h e L e b e n i n t h e U S S R
( Ost e u r o p a I n st i t u t , B e r l i n , 1 9 5 9 ) ; L a Ma -
t i a r e G r i se e n Eu r o p e ( B r u sse l s, 1 9 6 0 ) . U . K . :
An n u a l R e p o r t o f t h e Ad v i so r y C o u n c i l o n
S c i e n t i f i c P o l i c y 1 9 5 9 - 6 0 ( H e r Ma j e st y ' s S t a -
t i o n e r y Of f i c e , L o n d o n . S we d e n : S . B r o h u l t ,
T e k . V e t e n sk a p l i g F o r sk n i n g 3 2 , 3 3 9 ( 1 9 6 1 ) .
W e st G e r ma n y : S t e i f t e r v e r b a n d f u r d i e D e u t sc h e
W i sse n sc h a f t J a h r b u c h ( 1 9 6 1 ) ; p r i v a t e c o m-
mu n i c a t i o n . C a n a d a : N a t l . R e s. C o u n c i l C a n .
An n . R e p t . N o . 4 4 ( 1 9 6 0 - 6 1 ) . F r a n c e : L e
P r o g a s S c i e n t i f i q u e ( Ma y 1 9 6 1 ) . N o r wa y :
T i d e n ( D e c . 1 9 6 0 ) ; R . Ma j o r , S c i e n c e 1 2 9 ,
6 9 4 ( 1 9 5 9 ) . Au st r a l i a : S . En c e l , S c i e n c e 1 3 4 ,
2 6 0 ( 1 9 6 1 ) ; , p r i v a t e c o mmu n i c a t i o n .
J a p a n : " S t a t i st i c a l S u r v e y o f R e se a r c h e r s i n
J a p a n , 1 9 6 0 " ( B u r e a u o f S t a t i st i c s, Of f i c e o f
t h e P r i me Mi n i st e r , J a p a n ) ; Y . S h i z u me ,
G r o wt h - r a t e o f S c i e n c e i n J a p a n . N e w Z e a -
l a n d : S . En c e l , p r i v a t e c o mmu n i c a t i o n . P o -
l a n d : Z . Z a g a d n i e n P l a n o wa n i a I K o o r d i -
n a c j i B a d a n N a u k o wi c h ( P o l i sh Ac a d e my o f
S c i e n c e , W a r sa w, 1 9 6 1 ) . Y u g o sl a v i a : S . D e d i -
j e r , N a t u r e 1 8 7 , 4 6 8 ( 1 9 6 0 ) ; e st i ma t e s f r o m
p u b l i sh e d o f f i c i a l d a t a . C h i n a : J . M. H . L i n d -
b e c k , I n " S c i e n c e s i n C o mmu n i st C h i n a , "
P u b i . Am. Asso c . Ad v a n . S c i . N o . 6 8
( 1 9 6 1 ) . G h a n a : p r i v a t e c o mmu n i c a t i o n f r o m
t h e R e se a r c h C o u n c i l o f G h a n a . L e b a n o n a n d
Eg y p t : R e g i o n a l C o n f e r e n c e o n S c i e n t i f i c R e -
se a r c h F a c i l i t i e s a n d C o o p e r a t i o n ( U N ES C O,
C a i r o , 1 9 6 0 ) . P h i l i p p i n e s: G o v e r n me n t Ex -
p e n d i t u r e f o r R &D : f o r Ma n u f a c t u r i n g I n -
d u st r i e s, 1 9 5 9 - 6 0 ( N a t i o n a l S c i e n c e D e v e l -
o p me n t B o a r d , Ma n i l a , 1 9 6 1 ) . P a k i st a n : " R e -
p o r t o f S c i e n t i f i c C o mmi t t e e o f P a k i st a n "
G o v e r n me n t o f P a k i st a n , 1 9 6 0 ) . I n d i a : P . S .
Ma h a l a n o b i s, " R e c e n t D e v e l o p me n t i n t h e
Or g a n i z a t i o n o f S c i e n c e i n I n d i a " ( I n d i a n
S t a t i st i c a l I n st i t u t e , C a l c u t t a , 1 9 5 9 ) .
I t wa s 2 4 y e a r s a g o t h a t I e n t e r e d
C o l u mb i a C o l l e g e a s a f r e sh ma n a n d
d i sc o v e r e d t h e su b j e c t o f l o g i c . I c a n
r e c a l l we l l t h e p a r t i c u l a r c i r c u mst a n c e
wh i c h l e d t o t h i s d i sc o v e r y .
On e d a y I wa s b r o wsi n g i n t h e l i -
b r a r y a n d c a me a c r o ss a l i t t l e v o l u me
b y B e r t r a n d R u sse l l e n t i t l e d My st i c i sm
a n d L o g i c . At t h a t t i me , b a r e l y 1 6 , I
f a n c i e d my se l f so me t h i n g o f a my st i c .
L i k e ma n y y o u n g p e o p l e o f t h a t a g e I
wa s f i l l e d wi t h n e w e mo t i o n s st r o n g l y
f e l t . I t wa s n a t u r a l t h a t a n y r e f l e c t i v e
a t t e n t i o n sh o u l d b e l a r g e l y o c c u p i e d
wi t h t h e se , a n d t h a t t h i s p r e o c c u p a t i o n
sh o u l d g i v e a c o l o r a n d p o i g n a n c y t o
e x p e r i e n c e wh i c h f o u n d sy mp a t h e t i c
r e f l e c t i o n i n t h e wr i t i n g s o f me n o f
my st i c a l b e n t .
H a v i n g h e a r d t h a t R u sse l l wa s a
l o g i c i a n I i n f e r r e d f r o m t h e t i t l e o f
h i s wo r k t h a t h i s p u r p o se wa s t o c o n -
t r a st my st i c i sm wi t h l o g i c i n o r d e r t o
T h e a u t h o r i s p r o f e sso r o f ma t h e ma t i c s a t
t h e U n i v e r si t y o f C a l i f o r n i a , B e r k e l e y , a n d
p r e si d e n t o f t h e Asso c i a t i o n f o r S y mb o l i c L o g i c .
T h i s a r t i c l e i s a d a p t e d f r o m a n a d d r e ss g i v e n
5 S e p t e mb e r 1 9 6 1 a t t h e 5 t h C a n a d i a n Ma t h e -
ma t i c a l C o n g r e ss, i n Mo n t r e a l . I t i s r e p r i n t e d
f r o m t h e P r o c e e d i n g s o f t h e c o n g r e ss, wi t h
p e r mi ssi o n .
7 8 8
e x a l t t h e l a t t e r a t t h e e x p e n se o f t h e
f o r me r , a n d I d e t e r mi n e d t o r e a d t h e
e ssa y i n o r d e r t o r e f u t e i t . B u t I d i s-
c o v e r e d so me t h i n g q u i t e d i f f e r e n t f r o m
wh a t I h a d i ma g i n e d . I n d e e d , c o n t r a st -
i n g a sp e c t s o f my st i c i sm a n d l o g i c we r e
d e l i n e a t e d b y R u sse l l , b u t h i s t h e si s
wa s t h a t e a c h h a d a p r o p e r a n d i m-
p o r t a n t p l a c e i n t h e t o t a l i t y o f h u ma n
e x p e r i e n c e , a n d h i s i n t e r e st wa s t o d e -
f i n e t h e se a n d t o e x h i b i t t h e i r i n t e r -
d e p e n d e n c e r a t h e r t h a n t o se l e c t o n e
a s su p e r i o r t o t h e o t h e r . I wa s d i s-
a r me d , I wa s d e l i g h t e d wi t h R u sse l l ' s
l u c e n t a n d p e r su a si v e st y l e , I b e g a n
a v i d l y t o r e a d h i s o t h e r wo r k s, a n d wa s
so o n c a u g h t u p wi t h l o g i c a l c o n c e p t s
wh i c h h a v e c o n t i n u e d t o o c c u p y a t
l e a st a p o r t i o n o f my a t t e n t i o n e v e r
si n c e .
B e r t r a n d R u sse l l wa s a g r e a t p o p -
u l a r i z e r o f i d e a s, a b st r a c t a s we l l a s
c o n c r e t e . P r o b a b l y ma n y o f y o u h a v e
b e e n a f f o r d e d a n i n t r o d u c t i o n t o
ma t h e ma t i c a l l o g i c t h r o u g h h i s wr i t -
i n g s, a n d p e r h a p s so me h a v e e v e n b e e n
l e d t o t h e p o i n t o f p e e p i n g i n t o t h e
f o r mi d a b l e P r i n c i p i a Ma t h e ma t i c a
wh i c h h e wr o t e wi t h Al f r e d W h i t e -
h e a d a b o u t 1 9 1 0 . Y o u wi l l r e c a l l , t h e n ,
t h e a st o n i sh i n g c o n t e n t i o n wi t h wh i c h
h e sh o c k e d t h e ma t h e ma t i c a l wo r l d o f
t h a t t i me - n a me l y , t h a t a l l o f ma t h e -
ma t i c s wa s n o t h i n g b u t l o g i c . Ma t h e -
ma t i c i a n s we r e g e n e r a l l y p u z z l e d b y
t h i s r a d i c a l t h e si s. R e a l l y , v e r y f e w
u n d e r st o o d a t a l l wh a t R u sse l l h a d i n
mi n d . N e v e r t h e l e ss, t h e y v e h e me n t l y
o p p o se d t h e i d e a .
T h i s i s r e a d i l y u n d e r st a n d a b l e wh e n
y o u r e c a l l t h a t a c o mp a n i o n t h e si s o f
R u sse l l ' s wa s t h a t l o g i c i s p u r e l y t a u t o -
l o g i c a l a n d h a s r e a l l y n o c o n t e n t wh a t -
e v e r . Ma t h e ma t i c i a n s, b e i n g a d e p t a t
p u t t i n g 2 a n d 2 t o g e t h e r , q u i c k l y i n -
f e r r e d t h a t R u sse l l me a n t t o sa y t h a t
a l l ma t h e ma t i c a l p r o p o si t i o n s a r e c o m-
p l e t e l y d e v o i d o f c o n t e n t , a n d f r o m
t h i s i t wa s a si mp l e ma t t e r t o p a ss t o
t h e su p p o si t i o n t h a t h e h e l d a l l ma t h e -
ma t i c s t o b e e n t i r e l y wi t h o u t v a l u e .
Au x a r me s, c i t o y e n s d u mo n d e ma t h e ' -
ma t i q u e !
H a l f a c e n t u r y h a s e l a p se d si n c e
t h i s g r o ss mi si n t e r p r e t a t i o n o f R u sse l l ' s
p r o v o c a t i v e e n u n c i a t i o n . T h e se 5 0
y e a r s h a v e se e n a g r e a t a c c e l e r a t i o n
a n d b r o a d e n i n g o f l o g i c a l r e se a r c h .
An d so i t se e ms t o me a p p r o p r i a t e t o
se e k a r e a sse ssme n t o f R u sse l l ' s t h e si s
i n t h e l i g h t o f su b se q u e n t d e v e l o p me n t .
D e f i n i t i o n s a n d P r o o f s
I n o r d e r t o e x p l a i n h o w R u sse l l
c a me t o h o l d t h e v i e w t h a t a l l o f
ma t h e ma t i c s i s n o t h i n g b u t l o g i c , i t
i s n e c e ssa r y t o g o b a c k a n d d i sc u ss t wo
i mp o r t a n t c o mp l e x e s o f i d e a s wh i c h
h a d b e e n d e v e l o p e d i n t h e d e c a d e s b e -
f o r e R u sse l l c a me i n t o t h e f i e l d . T h e
f i r st o f t h e se wa s a sy st e ma t i c r e d u c -
t i o n o f a l l t h e c o n c e p t s o f ma t h e ma t i c s
t o a sma l l n u mb e r o f t h e m. T h i s
p r o c e ss o f r e d u c t i o n h a d i n d e e d b e e n
g o i n g o n f o r a v e r y l o n g t i me . As f a r
S C I EN C E, V OL . 1 3 8
Ar e L o g i c a n d Ma t h e ma t i c s
I d e n t i c a l ?
An o l d t h e si s o f R u sse l l ' s i s r e e x a mi n e d i n t h e l i g h t
o f su b se q u e n t d e v e l o p me n t s i n ma t h e ma t i c a l l o g i c .
L e o n H e n k i n

o
n

S
e
p
t
e
m
b
e
r

2
,

2
0
1
4
w
w
w
.
s
c
i
e
n
c
e
m
a
g
.
o
r
g
D
o
w
n
l
o
a
d
e
d

f
r
o
m


o
n

S
e
p
t
e
m
b
e
r

2
,

2
0
1
4
w
w
w
.
s
c
i
e
n
c
e
m
a
g
.
o
r
g
D
o
w
n
l
o
a
d
e
d

f
r
o
m


o
n

S
e
p
t
e
m
b
e
r

2
,

2
0
1
4
w
w
w
.
s
c
i
e
n
c
e
m
a
g
.
o
r
g
D
o
w
n
l
o
a
d
e
d

f
r
o
m


o
n

S
e
p
t
e
m
b
e
r

2
,

2
0
1
4
w
w
w
.
s
c
i
e
n
c
e
m
a
g
.
o
r
g
D
o
w
n
l
o
a
d
e
d

f
r
o
m


o
n

S
e
p
t
e
m
b
e
r

2
,

2
0
1
4
w
w
w
.
s
c
i
e
n
c
e
m
a
g
.
o
r
g
D
o
w
n
l
o
a
d
e
d

f
r
o
m


o
n

S
e
p
t
e
m
b
e
r

2
,

2
0
1
4
w
w
w
.
s
c
i
e
n
c
e
m
a
g
.
o
r
g
D
o
w
n
l
o
a
d
e
d

f
r
o
m


o
n

S
e
p
t
e
m
b
e
r

2
,

2
0
1
4
w
w
w
.
s
c
i
e
n
c
e
m
a
g
.
o
r
g
D
o
w
n
l
o
a
d
e
d

f
r
o
m

b a c k a s t h e d a y s o f D e sc a r t e s, f o r e x -
a mp l e , we c a n se e a t l e a st a n i mp e r f e c t
r e d u c t i o n o f g e o me t r i c n o t i o n s t o a l -
g e b r a i c o n e s. S u b se q u e n t l y , wi t h t h e
d e v e l o p me n t o f se t t h e o r y i n i t i a t e d
b y G e o r g C a n t o r , t h e r e d u c t i o n o f t h e
sy st e m o f r e a l n u mb e r s t o t h a t o f
n a t u r a l n u mb e r s ma r k e d a n o t h e r g r e a t
st e p i n t h i s p r o c e ss. B u t p e r h a p s t h e
mo st d a r i n g o f t h e se e f f o r t s, t h e c u l mi -
n a t i n g o n e , wa s t h e a t t e mp t b y a G e r -
ma n ma t h e ma t i c i a n , G o t l o b F r e g e , t o
a n a l y z e t h e n o t i o n o f n a t u r a l n u mb e r
st i l l f u r t h e r a n d r e d u c e i t t o a c o n c e p t
wh i c h h e c o n si d e r e d t o b e o f a - p u r e l y
l o g i c a l n a t u r e .
F r e g e ' s wo r k wa s a l mo st e n t i r e l y
u n n o t i c e d i n h i s o wn t i me ( t h e l a st
t h r e e d e c a d e s o f t h e 1 9 t h c e n t u r y ) ,
b u t wh e n B e r t r a n d R u sse l l c a me u p o n
F r e g e ' s wo r k h e r e a l i z e d i t s g r e a t si g -
n i f i c a n c e a n d g a v e t h e se i d e a s v e r y
wi d e c u r r e n c y t h r o u g h h i s o wn b r i l -
l i a n t st y l e o f e x p o si t i o n . T h e u l t i ma t e
e l e me n t s i n t o wh i c h t h e n o t i o n o f n a t -
u r a l n u mb e r wa s a n a l y z e d b y F r e g e
a n d b y R u sse l l we r e e n t i t i e s wh i c h
t h e y c a l l e d " p r o p o si t i o n a l f u n c t i o n s. "
T o t h i s d a y t h e r e p e r si st s a c o n t r o v e r sy
a mo n g p h i l o so p h e r s a s t o j u st wh a t
i h e se o b j e c t s a r e , b u t a t a n y r a t e t h e y
a r e c o n n e c t e d wi t h c e r t a i n l i n g u i st i c
e x p r e ssi o n s wh i c h a r e l i k e se n t e n c e s
e x c e p t f o r c o n t a i n i n g v a r i a b l e s. J u st
a s t h e r e i s a c e r t a i n p r o p o si t i o n a sso -
c i a t e d wi t h ( o r e x p r e sse d b y ) t h e se n -
t e n c e " U T h a n t i s a n a st r o n a u t , " f o r
e x a mp l e , so t h e r e i s a p r o p o si t i o n a l
f u n c t i o n a sso c i a t e d wi t h t h e e x p r e ssi o n
" x i s a n a st r o n a u t . " S i n c e p r o p o si t i o n s
h a d l o n g b e e n r e c o g n i z e d a s c o n st i -
t u t i n g o n e o f t h e mo st b a si c p o r t i o n s
o f t h e d o ma i n o f i n v e st i g a t i o n o f l o g i -
c i a n s, a n d si n c e p r o p o si t i o n a l f u n c -
t i o n s a r e v e r y c l o se l y r e l a t e d t o p r o p o -
si t i o n s, i t wa s n a t u r a l t o c o n si d e r t h e se ,
t o o , t o b e a p r o p e r p a r t o f t h e su b j e c t
o f l o g i c . I t i s i n t h i s se n se t h a t F r e g e
se e me d a b l e , b y a se r i e s o f d e f i n i t i o n s,
t o a r r i v e a t t h e n o t i o n o f n u mb e r , a s
we l l a s a t t h e o t h e r n o t i o n s u n d e r
st u d y i n v a r i o u s p a r t s o f ma t h e ma t i c s,
st a r t i n g f r o m p u r e l y l o g i c a l n o t i o n s.
T h e se c o n d i mp o r t a n t l i n e o f d e v e l -
o p me n t wh i c h p r e c e d e d R u sse l l , a n d
u p o n wh i c h h e d r e w f o r h i s i d e a s, wa s
t h e sy st e ma t i c st u d y b y ma t h e ma - t i c a l
me a n s o f t h e l a ws o f l o g i c wh i c h
e n t e r e d i n t o ma t h e ma t i c a l p r o o f s. T h i s
d e v e l o p me n t wa s i n i t i a t e d b y G e o r g e
B o o l e , wo r k i n g i n En g l a n d i n t h e mi d -
d l e o f t h e 1 9 t h c e n t u r y . H e d i sc o v e r e d
t h a t c e r t a i n o f t h e we l l - k n o wn l a ws o f
l o g i c c o u l d b e f o r mu l a t e d wi t h t h e
1 6 N OV EMB ER 1 9 6 2
a i d o f a l g e b r a i c sy mb o l s su c h a s t h e
p l u s si g n , t h e mu l t i p l i c a t i o n si g n , a n d
t h e e q u a l i t y si g n a n d o f v a r i a b l e s. F o r
e x a mp l e , B o o l e u se d t h e f a mi l i a r e q u a -
t i o n P . Q = Q . P . t o e x p r e ss t h e f a c t t h a t
se n t e n c e s o f t h e f o r m " P a n d Q " a n d
" Q a n d P " mu st b e b o t h t r u e o r b o t h
f a l se ( wh a t e v e r t h e se n t e n c e s P a n d Q
ma y b e ) , wh i l e t h e g e n e r a l l y u n f a -
mi l i a r a l g e b r a i c e q u a t i o n - ( P . Q ) =
( - P ) + ( - Q ) i n d i c a t e s t h a t t h e se n -
t e n c e " N o t b o t h P a n d Q " h a s t h e
sa me t r u t h v a l u e a s " Ei t h e r n o t P o r
n o t Q . " B o o l e d e mo n st r a t e d t h a t
t h r o u g h t h e u se o f su c h a l g e b r a i c n o -
t a t i o n o n e c a n e f f e c t a g r e a t sa v i n g i n
t h e e f f o r t n e e d e d t o c o l l a t e a n d a p p l y
b a si c l a ws o f l o g i c . L a t e r h i s wo r k wa s
e x t e n d e d a n d d e e p e n e d b y t h e Ame r i -
c a n C . S . P e i r c e a n d t h e G e r ma n
ma t h e ma t i c i a n E. S c h r o d e r . An d R u s-
se l l h i mse l f , wo r k i n g wi t h i n t h i s t r a d i -
t i o n , f o u n d i t a c o n v e n i e n t b a si s f o r
a sy st e ma t i c d e v e l o p me n t o f a l l ma t h -
e ma t i c s f r o m l o g i c . B y c o mb i n i n g t h e
sy mb o l i c f o r mu l a t i o n o f l o g i c a l l a ws
wi t h t h e r e d u c t i o n o f ma t h e ma t i c a l
c o n c e p t s t o a l o g i c a l c o r e , h e wa s a b l e
t o c o n c e i v e o f a u n i f i e d d e v e l o p me n t
su c h a s wa s a t t e mp t e d i n t h e P r i n c i p i a
Ma t h e ma t i c a .
F r o m R u sse l l t o G o d e l
W h a t wa s t h e P r i n c i p i a l i k e ? W e l l
o f c o u r se t h e wo r k i s st i l l n o t c o m-
p l e t e d ( o n l y t h r e e o f f o u r p r o j e c t e d
v o l u me s h a v i n g a p p e a r e d ) ; a n d si n c e
B e r t r a n d R u sse l l h a s mo st r e c e n t l y
se e me d t o o c c u p y h i mse l f wi t h t h e
p o l i t i c a l e f f e c t s o f c e r t a i n p h y si c a l r e -
se a r c h i t ma y , p e r h a p s, n e v e r b e c o m-
p l e t e d ! N e v e r t h e l e ss, o n e c a n se e
c l e a r l y t h e i n t e n d e d sc o p e o f t h e wo r k .
S u r p r i si n g l y , i t r e mi n d s o n e o f t h e
p r e se n t ma ssi v e u n d e r t a k i n g b y t h e
B o u r b a k i g r o u p i n F r a n c e . F o r e v e n
t h o u g h t h e P r i n c i p i a a n d B o u r b a k i
a r e v e r y d i ssi mi l a r i n ma n y wa y s, e a c h
a t t e mp t s t o p r e se n t a n e n c y c l o p e d i c
a c c o u n t o f c o n t e mp o r a r y ma t h e ma t i -
c a l r e se a r c h u n i f i e d b y a c o h e r e n t
p o i n t o f v i e w.
I n t h e P r i n c i p i a , st a r t i n g f r o m c e r -
t a i n a x i o ms e x p r e sse d i n sy mb o l i c f o r m
wh i c h we r e i n t e n d e d t o e x p r e ss b a si c
l a ws o f l o g i c ( a x i o ms i n v o l v i n g o n l y
wh a t R u sse l l c o n c e i v e d t o b e l o g i c a l
n o t i o n s) , t h e wo r k sy st e ma t i c a l l y p r o -
c e e d s t o d e r i v e t h e o t h e r l a ws o f l o g i c ,
t o i n t r o d u c e b y d e f i n i t i o n su c h ma t h e -
ma t i c a l n o t i o n s a s t h e c o n c e p t o f n u m-
b e r a n d o f g e o me t r i c sp a c e , a n d f i n a l l y
t o
d e v e l o p
t h e ma i n t h e o r e ms c o n -
c e r n i n g
t h e se
c o n c e p t s
a s
p a r t
o f a
u n i f o r m a n d
sy st e mi c d e v e l o p me n t .
V i e we d i n
r e t r o sp e c t , t h e
c o n t e mp o -
r a r y l o g i c i a n
i s st r u c k
b y
t h e
wi l l i n g -
n e ss o f R u sse l l a n d W h i t e h e a d t o r e st
t h e i r c a se o n
wh a t ,
f o r a ma t h e ma -
t i c i a n , mu st b e c o n si d e r e d su c h
f l i msy
e v i d e n c e . T h e wo r l d o f
e mp i r i c a l sc i -
e n c e ,
o f
c o u r se , e x p e c t s t o a c h i e v e
c o n v i c t i o n o n t h e b a si s o f
e mp i r i c a l
e v i d e n c e ,
b u t t h e
q u i n t e sse n c e o f t h e
ma t h e ma t i c i a n ' s
a p p r o a c h , e sp e c i a l l y
o f t h e ma t h e ma t i c a l
l o g i c i a n ' s, i s t h e
d e ma n d
a l wa y s f o r
p r o o f b e f o r e a
t h e si s i s
a c c e p t e d . Y e t
y o u se e t h a t
wh e r e a s R u sse l l wa s i n t e r e st e d i n e st a b -
l i sh i n g t h a t i n a c e r t a i n se n se a l l o f
ma t h e ma t i c s c o u l d b e o b t a i n e d f r o m
h i s
l o g i c a l a x i o ms a n d
c o n c e p t s, h e
n e v e r
r e a l l y se t o u t t o g i v e a p r o o f o f
t h i s f a c t ! Al l h e d i d wa s t o
g a t h e r t h e
b a si c i d e a s t h a t h a d b e e n
d e v e l o p e d
i n a n o n f o r ma l a n d u n sy st e ma t i c wa y
b y ma t h e ma t i c i a n s b e f o r e h i m, a n d t o
sa y ,
i n
e f f e c t , " Y o u se e t h a t I h a v e
b e e n a b l e t o i n t r o d u c e a l l t h i s
l o o se l y
f o r mu l a t e d wo r k wi t h i n t h e
p r e c i se
f r a me wo r k o f my f o r ma l sy st e m. An d
i t ' s p r e t t y c l e a r , i sn ' t i t , t h a t I h a v e a l l
t h e t o o l s a v a i l a b l e t o f o r ma l i z e su c h
f u r t h e r wo r k a s ma t h e ma t i c i a n s a r e
l i k e l y t o d o ? "
I n t h i s
r e sp e c t o n e i s r e mi n d e d o f
t h e a p p r o a c h o f t h a t f i r st g r e a t a x i o m-
a t i z e r a n d g e o me t e r , Eu c l i d .
Eu c l i d ,
t o o , c o n c e i v e d t h a t a l l p r o p o si t i o n s o f
g e o me t r y - t h a t i s, a l l t h e t r u e st a t e -
me n t s a b o u t t r i a n g l e s, c i r c l e s, a n d t h o se
o t h e r
f i g u r e s i n wh i c h h e wa s i n t e r -
e st e d - c o u l d b e d e v e l o p e d f r o m t h e
si mp l e l i st o f c o n c e p t s a n d a x i o ms h e
g a v e . B u t i n h i s c a se , t o o , t h e r e wa s
n e v e r a n y a t t e mp t t o p r o v e t h i s f a c t
o t h e r t h a n b y t h e e mp i r i c a l p r o c e ss o f
d e r i v i n g a l a r g e n u mb e r o f g e o me t r i c
p r o p o si t i o n s f r o m t h e a x i o ms a n d t h e n
a p p e a l i n g t o t h e g o o d wi l l o f t h e
a u d i e n c e , so t o sp e a k . " W e l l , " we ma y
i ma g i n e h i m sa y i n g , " l o o k h o w mu c h
I h a v e b e e n a b l e t o d e d u c e f r o m my
a x i o ms. Ar e n ' t y o u p r e t t y we l l c o n -
v i n c e d t h a t a l l g e o me t r i c f a c t s f o l l o w
f r o m t h e m? "
B u t o f c o u r se t h e r e we r e ma t h e ma -
t i c i a n s a n d l o g i c i a n s wh o we r e n o t
c o n v i n c e d . An d so t h e d e ma n d f o r
p r o o f wa s r a i se d .
Ac t u a l l y , t h e p r o p e r f o r mu l a t i o n o f
t h e p r o b l e m o f wh e t h e r a sy st e m o f
a x i o ms i s a d e q u a t e t o e st a b l i sh a l l o f
t h e t r u e st a t e me n t s i n so me d o ma i n o f
i n v e st i g a t i o n r e q u i r e s a ma t h e ma t i c a l l y
p r e c i se f o r mu l a t i o n o f t h e n o t i o n o f
7 8 9
" t r u e se n t e n c e , " a n d i t wa s n o t u n t i l
1 9 3 5 t h a t Al f r e d T a r sk i , i n a g r e a t
p i o n e e r i n g wo r k , ma d e f u l l y e v i d e n t t h e
f o r m i n wh i c h se ma n t i c a l n o t i o n s mu st
b e a n a l y z e d f o r ma t h e ma t i c a l l a n -
g u a g e s. Of c o u r se , i t i s a t r i v i a l ma t t e r
t o g i v e t h e c o n d i t i o n s u n d e r wh i c h a n y
p a r t i c u l a r se n t e n c e i s t r u e . F o r e x a m-
p l e , i n t h e t h e o r y o f Eu c l i d e a n g e o m-
e t r y t h e se n t e n c e " Al l t r i a n g l e s h a v e
t wo e q u a l a n g l e s" i s t r u e i f , a n d o n l y
i f , a l l t r i a n g l e s h a v e t wo e q u a l a n g l e s.
H o we v e r , T a r sk i ma d e i t c l e a r t h a t
t h e r e i s n o wa y t o u t i l i z e t h i s si mp l e
t e c h n i q u e i n o r d e r t o d e sc r i b e ( i n a
f i n i t e n u mb e r o f wo r d s) c o n d i t i o n s f o r
t h e t r u t h o f a l l t h e i n f i n i t e l y ma n y se n -
t e n c e s o f a l a n g u a g e ; f o r t h i s p u r p o se
a v e r y d i f f e r e n t f o r m o f d e f i n i t i o n ,
st r u c t u r a l a n d r e c u r si v e i n c h a r a c t e r ,
i s n e e d e d .
Ev e n b e f o r e T a r sk i ' s t r e a t me n t o f
se ma n t i c s, i n d e e d a s e a r l y a s 1 9 1 9 , we
f i n d t h e f i r st p r o o f o f wh a t we c a l l , i n
l o g i c , " c o mp l e t e n e ss. " T h e ma t h e ma -
t i c i a n Emi l P o st ( i n h i s d o c t o r a l d i s-
se r t a t i o n p u b l i sh e d i n t h a t y e a r ) , l i mi t -
i n g h i s a t t e n t i o n t o a v e r y sma l l f r a g -
me n t o f t h e sy st e m c r e a t e d b y W h i t e -
h e a d a n d R u sse l l , wa s a b l e t o sh o w
t h a t f o r a n y se n t e n c e i n t h a t f r a g me n t
wh i c h wa s " t r u e u n d e r t h e i n t e n d e d
i n t e r p r e t a t i o n o f t h e sy mb o l s, " o n e
c o u l d i n d e e d g e t a p r o o f b y me a n s o f
t h e a x i o ms a n d r u l e s o f i n f e r e n c e
wh i c h h a d b e e n st a t e d f o r t h e sy st e m.
S u b se q u e n t l y , f u r t h e r e f f o r t s we r e
ma d e t o e x t e n d t h e t y p e o f c o mp l e t e -
n e ss p r o o f wh i c h P o st i n i t i a t e d , a n d
i t wa s h o p e d t h a t u l t i ma t e l y t h e e n t i r e
sy st e m o f t h e P r i n c i p i a c o u l d b e
b r o u g h t wi t h i n t h e sc o p e o f p r o o f s
o f t h i s k i n d .
I n 1 9 3 0 , K u r t G 6 d e l c o n t r i b u t e d
g r e a t l y t o t h i s d e v e l o p me n t a n d t o
t h i s h o p e wh e n h e su c c e e d e d i n p r o v -
i n g t h e c o mp l e t e n e ss o f a d e d u c t i v e
sy st e m b a se d u p o n a mu c h l a r g e r p o r -
t i o n o f ma t h e ma t i c a l l a n g u a g e t h a n
h a d b e e n t r e a t e d b y P o st . G o d e l ' s
p r o o f d e a l s wi t h t h e so - c a l l e d " f i r st -
o r d e r p r e d i c a t e l o g i c , " wh i c h t r e a t s o f
ma t h e ma t i c a l se n t e n c e s c o n t a i n i n g v a r -
i a b l e s o f o n l y o n e t y p e . W h e n su c h a
se n t e n c e i s i n t e r p r e t e d a s r e f e r r i n g t o
so me ma t h e ma t i c a l mo d e l , i t s v a r i a b l e s
a r e i n t e r p r e t e d a s r a n g i n g o v e r t h e e l e -
me n t s o f t h e mo d e l ; i n p a r t i c u l a r , t h e r e
a r e n o v a r i a b l e s r a n g i n g o v e r se t s o f
mo d e l e l e me n t s, o r o v e r t h e i n t e g e r s
( u n l e ss t h e se h a p p e n t o b e t h e e l e -
me n t s o f t h e p a r t i c u l a r mo d e l ) . N o w
G 6 i d e l sh o ws t h a t i f we h a v e a n y sy s-
t e m o f a x i o ms o f t h i s sp e c i a l k i n d ,
7 9 0
t h e n wh e n e v e r a se n t e n c e i s t r u e i n
e v e r y mo d e l sa t i sf y i n g t h e se a x i o ms
t h e r e mu st b e a p r o o f o f f i n i t e l e n g t h ,
l e a d i n g f r o m t h e a x i o ms t o t h i s se n -
t e n c e , e a c h l i n e o f t h e p r o o f f o l l o wi n g
f r o m p r e c e d i n g l i n e s b y o n e o f se v e r a l
e x p l i c i t l y l i st e d r u l e s o f l o g i c . T h i s
r e su l t o f G o d e l ' s i s a mo n g t h e mo st
b a si c a n d u se f u l t h e o r e ms we h a v e i n
t h e wh o l e su b j e c t o f ma t h e ma t i c a l
l o g i c .
B u t t h e v e r y n e x t y e a r , i n 1 9 3 1 , t h e
h o p e o f f u r t h e r e x t e n si o n o f t h i s k i n d
o f c o mp l e t e n e ss p r o o f wa s d e f i n i t e l y
d a sh e d b y G o d e l h i mse l f i n wh a t i s
c e r t a i n l y t h e d e e p e st a n d mo st f a mo u s
o f a l l wo r k s i n ma t h e ma t i c a l l o g i c .
G o d e l wa s a b l e t o d e mo n st r a t e t h a t
t h e sy st e m o f P r i n c i p i a Ma t h e ma t i c a ,
t a k e n a s a wh o l e , wa s i n c o mp l e t e . T h a t
i s, h e sh o we d e x p l i c i t l y h o w t o c o n -
st r u c t a c e r t a i n se n t e n c e , a b o u t n a t u r a l
n u mb e r s, wh i c h ma t h e ma t i c i a n s c o u l d
r e c o g n i z e a s b e i n g t r u e u n d e r t h e i n -
t e n d e d i n t e r p r e t a t i o n o f t h e sy mb o l i sm
b u t wh i c h c o u l d n o t b e p r o v e d f r o m
t h e a x i o ms b y t h e r u l e s o f i n f e r e n c e
wh i c h we r e p a r t o f t h a t sy st e m.
N o w, o f c o u r se , i f G o d e l h a d d o n e
n o t h i n g mo r e t h a n t h i s, o n e mi g h t
si mp l y c o n c l u d e t h a t R u sse l l a n d
W h i t e h e a d h a d b e e n so me wh a t c a r e -
l e ss i n f o r mu l a t i n g t h e i r a x i o ms, t h a t
t h e y h a d l e f t o u t t h i s t r u e b u t u n -
p r o v a b l e se n t e n c e f r o m a mo n g t h e
a x i o ms, a n d o n e mi g h t h o p e t h a t b y
a d d i n g i t a s a n e w a x i o m a st r o n g e r
sy st e m wh i c h wa s c o mp l e t e wo u l d b e
a c h i e v e d . B u t G o d e l ' s p r o o f sh o ws
t h a t t h i s st r o n g e r sy st e m, t o o , wo u l d
c o n t a i n a se n t e n c e wh i c h i s t r u e b u t
n o t p r o v a b l e ; t h a t , i n d e e d , i f t h i s sy s-
t e m we r e f u r t h e r st r e n g t h e n e d , b y t h e
a d d i t i o n o f t h i s n e w t r u e b u t u n p r o v -
a b l e se n t e n c e a s a n a x i o m, t h e r e su l t -
i n g sy st e m wo u l d a g a i n b e i n c o mp l e t e .
An d i n d e e d , i f a wh o l e i n f i n i t e se -
q u e n c e o f se n t e n c e s we r e t o b e o b -
t a i n e d b y su c c e ssi v e a p p l i c a t i o n s o f
G o d e l ' s me t h o d , a n d a d d e d si mu l t a n e -
o u sl y t o t h e o r i g i n a l a x i o ms o f P r i n -
c i p i a , t h e sa me p r o c e ss c o u l d st i l l b e
a p p l i e d t o f i n d a n o t h e r t r u e se n t e n c e
st i l l u n p r o v a b l e .
Ac t u a l l y , G o d e l d e sc r i b e d a v e r y
wi d e c l a ss o f f o r ma l d e d u c t i v e sy st e ms
t o wh i c h h i s me t h o d a p p l i e s. An d mo st
st u d e n t s o f t h e su b j e c t h a v e b e e n c o n -
v i n c e d t h a t a n y f o r ma l sy st e m o f
a x i o ms a n d r u l e s o f i n f e r e n c e wh i c h
i t wo u l d b e r e a so n a b l e t o c o n si d e r a s
a b a si s f o r a d e v e l o p me n t o f ma t h e -
ma t i c s wo u l d f a l l i n t h i s c l a ss, a n d
h e n c e wo u l d su f f e r a f o r m o f i n c o m-
p l e t e n e ss. F r o m t h i s v i e wp o i n t i t a p -
p e a r s t h a t o n e o f t h e b a si c e l e me n t s
o n wh i c h R u sse l l r e st e d h i s t h e si s t h a t
a l l ma t h e ma t i c s c o u l d b e r e d u c e d t o
l o g i c mu st b e wi t h d r a wn a n d r e c o n -
si d e r e d .
C o n si st e n c y a n d D e c i si o n P r o b l e ms
I h a v e b e e n t a l k i n g a b o u t c o mp l e t e -
n e ss, wh i c h h a s t o d o wi t h t h e a d e -
q u a c y o f a f o r ma l sy st e m o f a x i o ms
a n d r u l e s o f i n f e r e n c e f o r p r o v i n g t r u e
se n t e n c e s. B u t I mu st me n t i o n , a l so ,
a se c o n d a i m o f t h e R u sse l l - W h i t e h e a d
P r i n c i p i a wh i c h a l so f a r e d i l l i n t h e
su b se q u e n t d e v e l o p me n t o f ma t h e ma t i -
c a l l o g i c . R u sse l l a n d W h i t e h e a d we r e
v e r y mu c h c o n c e r n e d wi t h t h e q u e s-
t i o n o f c o n si st e n c y . W h i l e t h e y h o p e d
t o h a v e a c o mp l e t e sy st e m, o n e c o n -
t a i n i n g p r o o f s f o r a l l c o r r e c t st a t e -
me n t s, t h e y we r e a l so c o n c e r n e d t h a t
t h e i r sy st e m sh o u l d n o t c o n t a i n p r o o f s
o f i n c o r r e c t r e su l t s. I n p a r t i c u l a r , i n
a c o n si st e n t sy st e m su c h a s t h e y
so u g h t , i t wo u l d n o t b e p o ssi b l e t o
p r o v e b o t h a se n t e n c e a n d i t s n e g a -
t i o n .
T o u n d e r st a n d t h e i r c o n c e r n wi t h
t h e q u e st i o n o f c o n si st e n c y i t i s n e c e s-
sa r y t o r e c a l l t h e r u d e wa k e n i n g wh i c h
ma t h e ma t i c i a n s su st a i n e d i n 1 8 9 7 i n
c o n n e c t i o n wi t h C a n t o r ' s t h e o r y o f
t r a n sf i n i t e n u mb e r s. F o r c e n t u r i e s b e -
f o r e t h e t i me o f C a n t o r ma t h e ma t i c i a n s
si mp l y a ssu me d t h a t a n y o n e wh o wa s
p r o p e r l y e d u c a t e d i n t h e i r su b j e c t c o u l d
d i st i n g u i sh a c o r r e c t p r o o f f r o m a n i n -
c o r r e c t o n e . T h o se wh o h a d t r o u b l e i n
ma k i n g t h i s d i st i n c t i o n we r e si mp l y
" we e d e d o u t " i n t h e c o u r se o f t h e i r
t r a i n i n g a n d we r e t u r n e d f r o m ma t h e -
ma t i c s t o l e sse r f i e l d s o f st u d y . An d n o
o n e t o o k u p se r i o u sl y t h e q u e st i o n o f
se t t i n g f o r t h , i n e x p l i c i t a n d ma t h e -
ma t i c a l t e r ms, e x a c t l y wh a t wa s me a n t
b y a c o r r e c t p r o o f .
N o w wh e n C a n t o r b e g a n h i s d e v e l -
o p me n t o f se t t h e o r y h e c o n c e r n e d
h i mse l f wi t h b o t h c a r d i n a l a n d o r d i n a l
n u mb e r s o f t r a n sf i n i t e t y p e . ( T h e se
n u mb e r s c a n b e u se d f o r i n f i n i t e se t s
i n v e r y mu c h t h e sa me wa y t h a t we
u se o r d i n a r y n u mb e r s f o r c o u n t i n g a n d
o r d e r i n g f i n i t e se t s. ) Ma n y o f t h e
p r o p e r t i e s o f t r a n sf i n i t e n u mb e r s a r e
i d e n t i c a l t o t h o se o f o r d i n a r y n u mb e r s,
a n d i n p a r t i c u l a r C a n t o r sh o we d t h a t ,
g i v e n a n y o r d i n a l n u mb e r b , we c a n
o b t a i n a l a r g e r n u mb e r , b + 1 . H o w-
e v e r , i n 1 8 9 7 a n I t a l i a n ma t h e ma t i c i a n ,
C . B u r a l i - F o r t i , d e mo n st r a t e d t h a t
S C I EN C E, V OL . 1 3 8
t h e r e mu st b e a l a r g e st o r d i n a l n u mb e r ,
b y c o n si d e r i n g t h e se t o f a l l o r d i n a l
n u mb e r s i n t h e i r n a t u r a l o r d e r . Ma t h e -
ma t i c i a n s we r e u n a b l e t o f i n d a n y
p o i n t , e i t h e r i n t h e a r g u me n t o f C a n -
t o r o r i n t h a t o f B u r a l i - F o r t i , wh i c h
t h e y i n t u i t i v e l y f e l t r e st e d o n i n c o r -
r e c t r e a so n i n g . G r a d u a l l y i t wa s r e a l -
i z e d t h a t ma t h e ma t i c i a n s h a d a g e n u i n e
p a r a d o x o n t h e i r h a n d s, a n d t h a t t h e y
wo u l d h a v e t o g r a p p l e a t l a st wi t h t h e
q u e st i o n o f j u st wh a t wa s me a n t b y a
c o r r e c t p r o o f . L a t e r , R u sse l l h i mse l f
p r o d u c e d a n e v e n si mp l e r p a r a d o x i n
t h e i n t u i t i v e t h e o r y o f se t s, b a se d u p o n
t h e se t o f a l l t h o se se t s wh i c h a r e n o t
e l e me n t s o f t h e mse l v e s.
T h i s b a c k g r o u n d sk e t c h wi l l ma k e
c l e a r wh y i t wa s t h a t R u sse l l a n d
W h i t e h e a d we r e c o n c e r n e d t h a t n o
p a r a d o x sh o u l d b e d e mo n st r a b l e i n
t h e i r o wn sy st e m. An d y e t t h e y t h e m-
se l v e s n e v e r a t t e mp t e d a p r o o f t h a t
t h e i r sy st e m wa s c o n si st e n t ! T h e o n l y
e v i d e n c e t h e y a d d u c e d wa s t h a t a
l a r g e n u mb e r o f t h e o r e ms h a d b e e n
o b t a i n e d wi t h i n t h e i r sy st e m wi t h o u t
e n c o u n t e r i n g p a r a d o x , a n d t h a t a l l a t -
t e mp t s t o r e p r o d u c e wi t h i n t h e sy st e m
o f P r i n c i p i a Ma t h e ma t i c a t h e B u r a l i -
F o r t i p a r a d o x , a n d su c h o t h e r p a r a -
d o x e s a s we r e sh o wn , h a d f a i l e d .
As wi t h t h e q u e st i o n o f c o mp l e t e -
n e ss, ma t h e ma t i c i a n s we r e n o t sa t i sf i e d
wi t h a n a n swe r i n t h i s f o r m, a n d t h e r e
a r o se a d e ma n d t h a t a n a c t u a l p r o o f
o f t h e c o n si st e n c y b e g i v e n f o r t h e
sy st e m o f P r i n c i p i a . ( a n d f o r o t h e r sy s-
t e ms t h e n c o n si d e r e d ) . T h e g r e a t a n d
i l l u st r i o u s n a me o f D a v i d H i l b e r t wa s
a sso c i a t e d wi t h t h e se e f f o r t s t o a c h i e v e
c o n si st e n c y p r o o f s f o r v a r i o u s p o r t i o n s
o f ma t h e ma t i c s, a n d u n d e r h i s st i mu l u s
a n d d i r e c t i o n i mp o r t a n t a d v a n c e s we r e
ma d e t o wa r d t h i s g o a l , b o t h b y h i m-
se l f a n d b y h i s st u d e n t s. B u t a s wi t h t h e
e f f o r t s t o p r o v e c o mp l e t e n e ss, H i l b e r t ' s
p r o g r a m c a me t o f o u n d e r u p o n t h e
b r i l l i a n t i d e a s o f K u r t G o d e l .
I n d e e d , i n t h a t sa me 1 9 3 1 p a p e r t o
wh i c h I h a v e p r e v i o u sl y r e f e r r e d ,
G o d e l wa s a b l e t o sh o w t h a t t h e q u e s-
t i o n s o f c o n si st e n c y a n d c o mp l e t e n e ss
we r e v e r y c l o se l y l i n k e d t o o n e
a n o t h e r . H e wa s a b l e t o sh o w t h a t i f a
sy st e m su c h a s t h e P r i n c i p i a we r e
t r u l y c o n si st e n t , t h e n i n f a c t i t wo u l d
n o t b e p o ssi b l e t o p r o d u c e a so u n d
p r o o f o f t h i s f a c t ! N o w t h i s r e su l t
i t se l f so u n d s p a r a d o x i c a l . N e v e r t h e l e ss,
wh e n e x p r e sse d wi t h t h e t e c h n i c a l a p -
p a r a t u s wh i c h G o d e l d e v e l o p e d , i t i s i n
f a c t a p r e c i se l y e st a b l i sh e d a n d c l e a r l y
me a n i n g f u l ma t h e ma t i c a l r e su l t wh i c h
1 6 N OV EMB ER 1 9 6 2
h a s p e r su a d e d mo st , t h o u g h a d mi t t e d l y
n o t a l l , l o g i c i a n s t h a t H i l b e r t ' s se a r c h
f o r a c o n si st e n c y p r o o f mu st r e ma i n
u n f u l f i l l e d .
I sh o u l d l i k e f i n a l l y t o me n t i o n a
t h i r d r e sp e c t i n wh i c h t h e o r i g i n a l a i m
o f ma t h e ma t i c a l l o g i c i a n s wa s f r u s-
t r a t e d . T h e q u e st i o n s o f c o n si st e n c y
a n d c o mp l e t e n e ss c l e a r l y c o n c e r n e d
t h e a u t h o r s o f P r i n c i p i a Ma t h e ma t i c a ,
b u t t h e q u e st i o n o f d e c i si o n p r o c e d u r e s
se e ms n o t t o h a v e b e e n t r e a t e d t o a n y
se r i o u s e x t e n t b y R u sse l l a n d W h i t e -
h e a d . N e v e r t h e l e ss, t h i s i s a n a r e a o f
st u d y wh i c h i n t e r e st e d l o g i c i a n s a s f a r
b a c k a s t h e t i me o f L e i b n i z . I n d e e d ,
L e i b n i z h i mse l f h a d a g r e a t d r e a m: H e
d r e a mt t h a t i t mi g h t b e p o ssi b l e t o
d e v i se a sy st e ma t i c p r o c e d u r e f o r a n -
swe r i n g q u e st i o n s- n o t o n l y ma t h e -
ma t i c a l q u e st i o n s b u t e v e n q u e st i o n s
o f e mp i r i c a l sc i e n c e . S u c h a p r o c e d u r e
wa s t o o b v i a t e t h e n e e d f o r i n sp i r a t i o n
a n d r e p l a c e t h i s wi t h t h e a u t o ma t i c
c a r r y i n g o u t o f r o u t i n e p r o c e d u r e . H a d
L e i b n i z b e e n c o n v e r sa n t wi t h t o d a y ' s
h i g h - sp e e d c o mp u t i n g ma c h i n e s h e
mi g h t h a v e f o r mu l a t e d h i s i d e a b y a s-
se r t i n g t h e p o ssi b i l i t y t h a t o n e c o u l d
wr i t e a p r o g r a m o f su c h b r e a d t h a n d
i n c l u si v e n e ss t h a t a n y sc i e n t i f i c q u e s-
t i o n wh a t e v e r c o u l d b e p l a c e d o n t a p e
a n d , a f t e r t h e ma c h i n e h a d b e e n se t
t o wo r k o n i t f o r so me f i n i t e l e n g t h o f
t i me , a d e f i n i t i v e r e p l y wo u l d b e f o r t h -
c o mi n g .
L o g i c a f t e r 1 9 3 6
L e i b n i z ' s i d e a l a y d o r ma n t f o r a
l o n g t i me , b u t i t wa s n a t u r a l t o r e v i v e
i t i n c o n n e c t i o n wi t h t h e f o r ma l d e -
d u c t i v e sy st e ms wh i c h we r e d e v e l o p e d
b y ma t h e ma t i c a l l o g i c i a n s i n t h e e a r l y
p a r t o f t h i s c e n t u r y . S i n c e t h e se l o -
g i c i a n s h a d b e e n i n t e r e st e d i n f o r mu -
l a t i n g ma t h e ma t i c a l i d e a s wi t h i n a sy m-
b o l i c c a l c u l u s a n d t h e n ma n i p u l a t -
i n g t h e sy mb o l s a c c o r d i n g t o p r e d e -
t e r mi n e d r u l e s i n o r d e r t o o b t a i n
f u r t h e r i n f o r ma t i o n a b o u t t h e se ma t h e -
ma t i c a l c o n c e p t s, i t se e me d n a t u r a l t o
r a i se t h e q u e st i o n o f wh e t h e r o n e c o u l d
n o t d e v i se p u r e l y a u t o ma t i c r u l e s o f
c o mp u t a t i o n wh i c h wo u l d e n a b l e o n e t o
r e a c h a d e c i si o n a s t o t h e t r u t h o r f a l -
si t y o f a n y g i v e n se n t e n c e o f t h e c a l -
c u l u s. An d wh i l e t h e a r e a o f e mp i r i c a l
sc i e n c e wa s p r e t t y we l l e x c l u d e d f r o m
t h e c o n si d e r a t i o n o f 2 0 t h - c e n t u r y l o g i -
c i a n s se e k i n g su c h d e c i si o n p r o c e d u r e s,
i t wa s p e r h a p s n o t b e y o n d t h e h o p e o f
so me t h a t a sy st e m a s i n c l u si v e a s t h a t
o f t h e
P r i n c i p i a
c o u l d so me
d a y b e
b r o u g h t wi t h i n t h e sc o p e o f su c h a
p r o c e d u r e .
Ef f o r t s t o f i n d d e c i si o n p r o c e d u r e s
f o r v a r i o u s
f r a g me n t s o f t h e
P r i n c i p i a
we r e
v i g o r o u s a n d
ma n y . T h e d o c t o r a l
d i sse r t a t i o n o f P o st , f o r e x a mp l e , c o n -
t a i n e d so me e f f o r t s i n t h i s
d i r e c t i o n ,
a n d f u r t h e r wo r k wa s
p r o d u c e d d u r i n g
t h e
su c c e e d i n g 1 5
y e a r s b y l o g i c i a n s o f
ma n y c o u n t r i e s. T h e n i n 1 9 3 6 Al o n z o
C h u r c h , ma k i n g u se o f t h e
n e wl y d e -
v e l o p e d n o t i o n o f r e c u r si v e f u n c t i o n ,
wa s a b l e t o d e mo n st r a t e t h a t f o r a c e r -
t a i n f r a g me n t o f ma t h e ma t i c a l l a n -
g u a g e , i n f a c t f o r t h a t v e r y f i r st - o r d e r
p r e d i c a t e l o g i c wh i c h G o d e l , i n
1 9 3 0 ,
h a d sh o we d t o b e c o mp l e t e , n o d e c i si o n
p r o c e d u r e wa s p o ssi b l e . An d so wi t h
d e c i si o n p r o c e d u r e s, a s wi t h p r o o f s o f
c o mp l e t e n e ss a n d c o n si st e n c y , e f f o r t s
t o e st a b l i sh a c l o se r a p p o r t b e t we e n
l o g i c a n d ma t h e ma t i c s c a me t o a n u n -
h a p p y e n d .
W e l l , I h a v e b r o u g h t y o u d o wn t o t h e
y e a r 1 9 3 6 . P r o b a b l y mo st ma t h e ma t i -
c i a n s h a v e h e a r d a t l e a st so me t h i n g o f
t h e d e v e l o p me n t wh i c h I h a v e sk e t c h e d
h e r e . B u t so me h o w t h e e d u c a t i o n i n
l o g i c o f mo st ma t h e ma t i c i a n s se e ms t o
h a v e b e e n t e r mi n a t e d a t a b o u t t h a t
p o i n t . T h e i mp r e ssi o n i s f a i r l y wi d e -
sp r e a d t h a t , wi t h t h e d i sc o v e r i e s o f
G o d e l a n d C h u r c h , t h e a mb i t i o u s p r o -
g r a m o f ma t h e ma t i c a l l o g i c i a n s i n e f -
f e c t g r o u n d t o a h a l t , a n d t h a t si n c e
t h e n f u r t h e r wo r k i n l o g i c h a s b e e n a
so r t o f h e l p l e ss f a l t e r i n g b y p e o p l e ,
u n wi l l i n g t o a c c e p t t h e c r u e l f a c t s o f
l i f e , wh o a r e st i l l se e k i n g so me h o w t o
b u t t r e ss t h e a d v a n c i n g f r o n t i e r s o f
ma t h e ma t i c a l r e se a r c h b y f i n d i n g a
n o n e x i st e n t c o n si st e n c y p r o o f .
An d y e t t h i s i ma g e i s v e r y f a r i n d e e d
f r o m r e a l i t y . F o r i n 1 9 3 6 , j u st a t t h e
t i me wh e n , ma n y su p p o se , t h e d e mi se
o f ma t h e ma t i c a l l o g i c h a d b e e n c o m-
p l e t e d , a n i n t e r n a t i o n a l sc h o l a r l y so c i -
e t y k n o wn a s t h e Asso c i a t i o n f o r S y m-
b o l i c L o g i c wa s f o u n d e d a n d b e g a n
p u b l i c a t i o n o f t h e J o u r n a l o f S y mb o l i c
L o g i c . I n t h e e n su i n g 2 5 y e a r s t h i s h a s
g r e a t l y e x p a n d e d t o a c c o mmo d a t e a
g r o wi n g v o l u me o f r e se a r c h . An d a t
p r e se n t t h e r e a r e f o u r j o u r n a l s d e v o t e d
e x c l u si v e l y t o p u b l i sh i n g ma t e r i a l d e a l -
i n g wi t h ma t h e ma t i c a l l o g i c , wh i l e ma n y
a r t i c l e s o n l o g i c a p p e a r i n a v a r i e t y o f
ma t h e ma t i c a l j o u r n a l s o f a l e ss sp e c i a l -
i z e d n a t u r e .
I n t h e sp a c e r e ma i n i n g I sh o u l d l i k e
t o me n t i o n v e r y b r i e f l y so me o f t h e d e -
v e l o p me n t s i n ma t h e ma t i c a l l o g i c si n c e
1 9 3 6 .
7 9 1
S e t s a n d D e c i si o n Me t h o d s
I h a v e f o u n d i t c o n v e n i e n t f o r t h i s
e x p o si t i o n t o d i v i d e r e se a r c h i n ma t h e -
ma t i c a l l o g i c i n t o se v e n p r i n c i p a l a r e a s.
An d f i r st I sh a l l me n t i o n t h e a r e a d e a l -
i n g wi t h t h e f o u n d a t i o n s o f t h e t h e o r y
o f se t s.
T o e x p l a i n t h e c o n n e c t i o n o f t h i s
f i e l d wi t h l o g i c i t sh o u l d b e me n t i o n e d
t h a t t h o se o b j e c t s wh i c h R u sse l l a n d
W h i t e h e a d h a d c a l l e d " p r o p o si t i o n a l
f u n c t i o n s" a r e , i n f a c t , l a r g e l y i n d i s-
t i n g u i sh a b l e f r o m wh a t a r e n o w c a l l e d
" ' se t s" a n d " r e l a t i o n s" b y ma t h e ma t i -
c i a n s. F r o m a p h i l o so p h i c a l p o i n t o f
v i e w t h e r e i s p e r h a p s st i l l r o o m f o r
d i st i n g u i sh i n g t h e se c o n c e p t s f r o m o n e
a n o t h e r . B u t si n c e , i n f a c t , t h e t r e a t -
me n t o f p r o p o si t i o n a l f u n c t i o n s i n P r i n -
c i p i a Ma t h e ma t i c a i s e x t e n si o n a l ( so
t h a t t wo f u n c t i o n s wh i c h a r e t r u e o f e x -
a c t l y t h e sa me o b j e c t s a r e n e v e r d i s-
t i n g u i sh e d ) , f o r ma t h e ma t i c a l p u r p o se s
t h i s sy st e m i s i d e n t i c a l t o o n e wh i c h
t r e a t s o f se t s a n d r e l a t i o n s.
Amo n g sy st e ms o f se t t h e o r y wh i c h
h a v e b e e n p u t f o r t h b y l o g i c i a n s a s a
b a si s f o r t h e d e v e l o p me n t o f ma t h e -
ma t i c s, t h e p r i n c i p a l o n e s a r e t h e t h e o r y
o f t y p e s u se d b y W h i t e h e a d a n d R u s-
se l l t h e mse l v e s, su b se q u e n t l y a mp l i f i e d
b y L . C h wi st e k a n d F . R a mse y , a n d a n
a l t e r n a t i v e l i n e o f d e v e l o p me n t i n i t i -
a t e d b y E. Z e r me l o , t o wh i c h i mp o r t a n t
c o n t r i b u t i o n s we r e su b se q u e n t l y ma d e
b y A. F r a e n k e l a n d T . S k o l e m. S t i l l
a n o t h e r sy st e m, h a v i n g c e r t a i n c h a r a c -
t e r i st i c s i n c o mmo n wi t h e a c h o f t h e se
t wo p r i n c i p a l f o r ms, wa s a d v a n c e d a n d
h a s b e e n st u d i e d b y W . Q u i n e a n d , t o
so me e x t e n t , b y J . B . R o sse r . Of t h e se
sy st e ms t h e Z e r me l o - t y p e sy st e m h a s
p r o b a b l y r e c e i v e d mo st a t t e n t i o n , a l o n g
wi t h a n i mp o r t a n t v a r i a n t f o r m su g -
g e st e d a n d d e v e l o p e d b y J . v o n N e u -
ma n n , P . B e r n a y s, a n d G o 5 d e l .
Amo n g t h e si g n i f i c a n t e f f o r t s e x p e n d -
e d o n t h e se sy st e ms we r e t h o se d i r e c t e d
t o wa r d e st a b l i sh i n g t h e st a t u s o f p r o p o -
si t i o n s su c h a s t h e a x i o m o f c h o i c e a n d
t h e c o n t i n u u m h y p o t h e si s o f C a n t o r .
H e r e t h e n a me s o f G o d e l a n d A. Mo -
st o wsk i a r e e sp e c i a l l y p r o mi n e n t .
G o d e l sh o we d t h a t a st r o n g f o r m o f
t h e a x i o m o f c h o i c e a n d t h e g e n e r a l i z e d
c o n t i n u u m h y p o t h e si s a r e si mu l t a n e o u s-
l y c o n si st e n t wi t h t h e mo r e e l e me n t a r y
a x i o ms o f se t t h e o r y - u n d e r t h e a s-
su mp t i o n t h a t t h e l a t t e r a r e c o n si st e n t
b y t h e mse l v e s. Mo st o wsk i sh o we d t h a t
t h e a x i o m o f c h o i c e i s i n d e p e n d e n t o f
t h e mo r e e l e me n t a r y a x i o ms o f se t t h e -
o r y , p r o v i d e d t h a t a f o r m o f t h e se e l e -
me n t a r y a x i o ms i s se l e c t e d wh i c h d o e s
7 9 2
n o t e x c l u d e t h e e x i st e n c e o f n o n d e n u -
me r a b l y ma n y " U r e l e me n t e " ( o b j e c t s
wh i c h a r e n o t se t s) . T h e i n d e p e n d e n c e
o f t h e a x i o m o f c h o i c e f r o m sy st e ms o f
a x i o ms su c h a s t h a t u se d i n G o d e l ' s
c o n si st e n c y p r o o f , a n d t h e i n d e p e n d e n c e
o f t h e c o n t i n u u m h y p o t h e si s i n a n y
k n o wn sy st e m o f se t t h e o r y , r e ma i n
o p e n q u e st i o n s.
Mo r e r e c e n t l y t h e d i r e c t i o n o f r e -
se a r c h i n t h e a r e a o f f o u n d a t i o n s o f se t
t h e o r y se e ms t o h a v e sh i f t e d f r o m t h a t
o f f o r mu l a t i n g sp e c i f i c a x i o m sy st e ms
a n d d e r i v i n g t h e o r e ms wi t h i n t h e m t o
c o n si d e r a t i o n o f t h e t o t a l i t y o f d i f f e r -
e n t r e a l i z a t i o n s o f su c h a x i o m sy st e ms.
I t i s p e r h a p s J . S h e p h e r d so n wh o sh o u l d
b e g i v e n c r e d i t f o r t h e d e c i si v e st e p i n
t h i s sh i f t o f e mp h a si s, a l t h o u g h h i s
wo r k c l e a r l y o we s mu c h t o G o d e l ' s.
S u b se q u e n t wo r k b y T a r sk i , R . V a u g h t ,
a n d R . Mo n t a g u e h a s c a r r i e d t h i s d e -
v e l o p me n t mu c h f u r t h e r .
An i mp o r t a n t t o o l i n t h e i r wo r k i s
t h e c o n c e p t o f t h e r a n k o f a se t , wh i c h
ma y b e d e f i n e d i n d u c t i v e l y a s t h e l e a st
o r d i n a l n u mb e r e x c e e d i n g t h e r a n k o f
a l l e l e me n t s o f t h e se t . T h i s n o t i o n ma y
b e u se d t o c l a ssi f y mo d e l s o f se t t h e o r y
a c c o r d i n g t o t h e l e a st o r d i n a l n u mb e r
wh i c h i s n o t t h e r a n k o f so me se t o f t h e
mo d e l . R e c e n t l y t h e r e h a v e b e e n so me
v e r y i n t e r e st i n g c o n t r i b u t i o n s b y Az r i e l
L 6 v y t o t h e se st u d i e s. H i s e f f o r t s h a v e
b e e n d i r e c t e d t o wa r d su c c e ssi v e l y
st r e n g t h e n i n g t h e a x i o ms o f se t t h e o r y
so a s t o p e n e t r a t e i n c r e a si n g l y f a r i n t o
t h e r e a l m o f t h e t r a n sf i n i t e .
A se c o n d a r e a t h a t I wo u l d d e l i n e a t e
i n c o n t e mp o r a r y l o g i c a l r e se a r c h i s t h a t
d e a l i n g wi t h t h e d e c i si o n p r o b l e m. W h i l e
i t i s t r u e t h a t t h e wo r k o f C h u r c h ma d e
i t c l e a r t h a t t h e r e c o u l d b e n o u n i v e r sa l
d e c i si o n p r o c e d u r e f o r ma t h e ma t i c s,
t h e r e h a s r e ma i n e d a st r o n g i n t e r e st i n
f i n d i n a d e c i si o n p r o c e d u r e s f o r mo r e
mo d e st p o r t i o n s o f ma t h e ma t i c a l t h e -
o r y . Of sp e c i a l i n t e r e st h e r e i s T a r sk i ' s
d e c i si o n me t h o d f o r e l e me n t a r y a l g e b r a
a n d g e o me t r y , a n d a n i mp o r t a n t e x t e n -
si o n o f i t wh i c h wa s ma d e b y Ab r a h a m
R o b i n so n . W a n d a S z mi e l e w h a s a l so
g i v e n a n i mp o r t a n t d e c i si o n p r o c e d u r e
- n a me l y , o n e f o r t h e so - c a l l e d " e l e -
me n t a r y t h e o r y " o f Ab e l i a n g r o u p s. B y
c o n t r a st , t h e e l e me n t a r y t h e o r y o f a l l
g r o u p s wa s sh o wn b y T a r sk i t o a d mi t
o f n o d e c i si o n p r o c e d u r e . I n f a c t ,
S z mi e l e w a n d T a r sk i c o n si d e r e d e x a c t l y
t h e sa me se t o f se n t e n c e s- r o u g h l y , a l l
o f t h o se se n t e n c e s wh i c h c a n b e b u i l t
u p b y t h e u se o f t h e g r o u p o p e r a t i o n
sy mb o l , a n d v a r i a b l e s r a n g i n g o v e r t h e
g r o u p e l e me n t s, wi t h t h e a i d o f t h e
e q u a l i t y si g n , a s we l l a s t h e u su a l l o g -
i c a l c o n n e c t i v e s a n d q u a n t i f i e r s. I f we
a sk wh e t h e r a n y g i v e n se n t e n c e o f t h i s
k i n d i s t r u e f o r a l l Ab e l i a n g r o u p s, i t i s
p o ssi b l e t o a n swe r t h e q u e st i o n i n a n
a u t o ma t i c wa y b y u si n g t h e me t h o d o f
S z mi e l e w. B u t i f we a r e i n t e r e st e d i n
wh i c h o f t h e se se n t e n c e s a r e t r u e f o r
a l l g r o u p s, t h e n T a r sk i ' s p r o o f sh o ws
t h a t i t i s i mp o ssi b l e t o d e v i se a ma c h i n e
me t h o d t o se p a r a t e t h e t r u e f r o m t h e
f a l se o n e s.
A r e su l t c l o se l y r e l a t e d t o T a r sk i ' s
i s t h a t o f P . N o v i k o v a n d W . B o o n e
c o n c e r n i n g t h e n o n e x i st e n c e o f a d e c i -
si o n me t h o d wh i c h wo u l d e n a b l e o n e
t o so l v e t h e wo r d p r o b l e m f o r t h e t h e -
o r y o f g r o u p s, a p r o b l e m f o r wh i c h a
so l u t i o n h a d l o n g b e e n so u g h t b y a l g e -
b r a i st s. I n f a c t i t i s a si mp l e ma t t e r t o
sh o w t h a t t h e N o v i k o v - B o o n e r e su l t i s
e q u i v a l e n t t o t h e n o n e x i st e n c e o f a d e -
c i si o n me t h o d f o r a c e r t a i n su b se t o f
t h e se n t e n c e s ma k i n g u p t h e e l e me n t a r y
t h e o r y o f g r o u p s- n a me l y , a l l t h o se
se n t e n c e s h a v i n g a sp e c i a l , v e r y si mp l e ,
f o r m. H e n c e , t h i s r e su l t i s st r o n g e r t h a n
T a r sk i ' s.
R e c u r si v e F u n c t i o n s
N o w t h e k e y c o n c e p t wh o se d e v e l o p -
me n t wa s n e e d e d b e f o r e n e g a t i v e so l u -
t i o n s t o d e c i si o n p r o b l e ms c o u l d b e
a c h i e v e d wa s t h e c o n c e p t o f a r e c u r si v e
f u n c t i o n . I n t u i t i v e l y sp e a k i n g t h i s i s
si mp l y a f u n c t i o n f r o m n a t u r a l n u m-
b e r s t o n a t u r a l n u mb e r s wh i c h h a s t h e
p r o p e r t y t h a t t h e r e i s a n a u t o ma t i c
me t h o d f o r c o mp u t i n g i t s v a l u e f o r a n y
g i v e n a r g u me n t . A sa t i sf a c t o r y a n d e x -
p l i c i t ma t h e ma t i c a l d e f i n i t i o n o f t h i s
c l a ss o f f u n c t i o n s wa s f i r st f o r mu l a t e d
b y J . H e r b r a n d a n d G o d e l . B u t i t r e -
ma i n e d f o r S . C . K l e e n e t o d e v e l o p t h e
c o n c e p t t o su c h a n e x t e n t t h a t i t n o w
u n d e r l i e s a v e r y l a r g e a n d - i mp o r t a n t
p a r t o f l o g i c a l r e se a r c h .
Mu c h o f t h e wo r k wi t h r e c u r si v e
f u n c t i o n s h a s b e e n a l o n g t h e l i n e o f
c l a ssi f y i n g se t s a n d f u n c t i o n s, a c l a s-
si f i c a t i o n si mi l a r t o t h a t i n v o l v i n g p r o -
j e c t i v e a n d a n a l y t i c se t s i n d e sc r i p t i v e
se t t h e o r y . K l e e n e h i mse l f , h i s st u d e n t s
Ad d i so n a n d S p e c t o r , a n d o t h e r l o g i -
c i a n s, i n c l u d i n g P o st , Mo st o wsk i , J .
S h o e n f i e l d , a n d G . K r e i se l , h a v e c o n -
t r i b u t e d l a r g e l y t o t h i s d e v e l o p me n t .
Al so t o b e me n t i o n e d a r e t h e a p p l i c a -
t i o n s wh i c h i n i t i a l l y K l e e n e , a n d su b se -
q u e n t l y o t h e r s, h a v e a t t e mp t e d t o ma k e
o f t h e c o n c e p t o f r e c u r si v e f u n c t i o n b y
wa y o f e x p l i c a t i n g t h e n o t i o n o f " c o n -
st r u c t i v e " ma t h e ma t i c a l p r o c e sse s. I n
t h i s c o n n e c t i o n se v e r a l a t t e mp t s h a v e
S C I EN C E, V OL . 1 3 8
b e e n ma d e t o l i n k t h e n o t i o n o f r e c u r -
si v e f u n c t i o n wi t h t h e ma t h e ma t i c a l
v i e wp o i n t k n o wn a s i n t u i t i o n i sm, a r a d -
i c a l r e i n t e r p r e t a t i o n o f ma t h e ma t i c a l
l a n g u a g e wh i c h wa s a d v a n c e d b y L .
B r o u we r a n d d e v e l o p e d b y A. H e y t i n g .
Al g e b r a , L o g i c , a n d Mo d e l s
A f o u r t h a r e a o f l o g i c a l r e se a r c h
d e a l s wi t h ma t e r i a l wh i c h h a s r e c e n t l y
b e e n d e sc r i b e d a s a l g e b r a i c l o g i c . T h i s
i s a c t u a l l y a d e v e l o p me n t wh i c h c a n b e
t r a c e d b a c k t o t h e v e r y e a r l y wo r k o f
B o o l e a n d S c h r o d e r . H o we v e r , i n t e r e st
i n t h e su b j e c t h a s sh i f t e d a wa y f r o m t h e
f o r mu l a t i o n a n d d e r i v a t i o n o f a l g e b r a i c
e q u a t i o n s wh i c h e x p r e ss l a ws o f l o g i c
t o t h e c o n si d e r a t i o n o f a b st r a c t st r u c -
t u r e s wh i c h a r e d e f i n e d b y me a n s o f
su c h e q u a t i o n s. T h u s, t h e t h e o r y o f
B o o l e a n a l g e b r a s, o f r e l a t i o n a l g e b r a s,
o f c y l i n d r i c a n d p o l y a d r i c a l g e b r a s h a v e
a l l su c c e ssi v e l y r e c e i v e d a t t e n t i o n ; M.
S t o n e , T a r sk i , a n d P . H a l mo s a r e c l o se -
l y a sso c i a t e d wi t h t h e c e n t r a l d e v e l o p -
me n t h e r e . T h e a l g e b r a i c st r u c t u r e s
st u d i e d i n t h i s d o ma i n ma y b e a sso c i -
a t e d i n a n a t u r a l wa y wi t h ma t h e ma t -
i c a l t h e o r i e s, a n d t h i s a sso c i a t i o n p e r -
mi t s t h e u se o f v e r y st r o n g a l g e b r a i c
me t h o d s i n t h e me t a ma t h e ma t i c a l a n a l -
y si s o f t h e se t h e o r i e s.
A f i f t h a r e a o f mo d e r n l o g i c a l r e -
se a r c h c o n c e r n s t h e so - c a l l e d t h e o r y o f
mo d e l s. H e r e e f f o r t i s d i r e c t e d t o wa r d
c o r r e l a t i n g ma t h e ma t i c a l p r o p e r t i e s p o s-
se sse d b y a c l a ss o f st r u c t u r e s d e f i n e d
b y me a n s o f g i v e n ma t h e ma t i c a l se n -
t e n c e s wi t h t h e st r u c t u r a l p r o p e r t i e s o f
t h o se se n t e n c e s t h e mse l v e s.
A v e r y e a r l y e x a mp l e i s G a r r e t t B i r k -
h o f f ' s r e su l t t h a t , f o r a c l a ss o f st r u c -
t u r e s t o b e d e f i n a b l e b y me a n s o f a se t
o f e q u a t i o n a l i d e n t i t i e s, i t i s n e c e ssa r y
a n d su f f i c i e n t t h a t i t b e c l o se d u n d e r
f o r ma t i o n o f su b st r u c t u r e s, d i r e c t p r o d -
u c t s, a n d h o mo mo r p h i c i ma g e s. C h a r -
a c t e r i z a t i o n s o f a si mi l a r n a t u r e we r e
g i v e n f o r c l a sse s d e f i n a b l e b y u n i v e r sa l
e l e me n t a r y se n t e n c e s ( T a r sk i ) a n d b y
a n y e l e me n t a r y se n t e n c e s ( J . K e i sl e r ) .
A r e l a t e d t y p e o f r e su l t i s R . L y n -
d o n ' s t h e o r e m t h a t a n y e l e me n t a r y se n -
t e n c e wh o se t r u t h i s p r e se r v e d u n d e r
p a ssa g e f r o m a mo d e l o f t h e se n t e n c e
t o a h o mo mo r p h i c i ma g e o f t h a t mo d e l
mu st b e e q u i v a l e n t t o a se n t e n c e wh i c h
d o e s n o t c o n t a i n n e g a t i o n si g n s. I n a
d i f f e r e n t d i r e c t i o n , E. B e t h h a s sh o wn
t h a t i f a g i v e n se t sy mb o l o r r e l a t i o n
sy mb o l i s n o t d e f i n a b l e i n t e r ms o f t h e
o t h e r sy mb o l s o f a n e l e me n t a r y a x i o m
sy st e m, t h e n t h e r e mu st e x i st t wo d i s-
1 6 N OV EMB ER 1 9 6 2
t i n c t mo d e l s o f t h e se a x i o ms wh i c h a r e
a l i k e i n a l l r e sp e c t s e x c e p t f o r t h e i n -
t e r p r e t a t i o n o f t h e g i v e n sy mb o l . ( T h i s
p r o v e s t h e c o mp l e t e n e ss o f A. P a d o a ' s
me t h o d o f d e mo n st r a t i n g n o n d e f i n a b i l -
i t y . ) A l o g i c a l i n t e r p o l a t i o n t h e o r e m o f
W . C r a i g ' s p r o v i d e s a c l o se l i n k f o r t h e
r e su l t s o f L y n d o n a n d B e t h .
A si x t h a r e a wh i c h c a n b e d i sc e r n e d
i n r e c e n t wo r k o n l o g i c c o n c e r n s t h e
t h e o r y o f p r o o f . T h i s i s p e r h a p s t h e
o l d e st a n d mo st b a si c p o r t i o n o f l o g i c ,
a se a r c h f o r sy st e ma t i c r u l e s o f p r o o f ,
o r d e d u c t i o n , b y me a n s o f wh i c h t h e
c o n se q u e n c e s o f a n y p r o p o si t i o n s c o u l d
b e i d e n t i f i e d . I n r e c e n t wo r k , h o we v e r ,
l o g i c i a n s h a v e b e g u n t o d e p a r t i n r a d -
i c a l wa y s f r o m t h e t y p e o f sy st e ms f o r
wh i c h r u l e s o f p r o o f we r e o r i g i n a l l y
so u g h t . F o r e x a mp l e , se v e r a l a t t e mp t s
h a v e b e e n ma d e t o p r o v i d e r u l e s o f
p r o o f f o r l a n g u a g e s c o n t a i n i n g i n f i n i t e l y
l o n g f o r mu l a s, su c h a s se n t e n c e s wi t h
i n f i n i t e l y ma n y d i sj u n c t i o n s, c o n j u n c -
t i o n s, a n d q u a n t i f i e d v a r i a b l e s. T a r sk i ,
S c o t t , C . K a r p , W . H a n f , a n d o t h e r s
h a v e p a r t i c i p a t e d i n su c h e f f o r t s. C u r i -
o u sl y e n o u g h , wh i l e t h i s d i r e c t i o n o f
r e se a r c h se e ms a t f i r st v e r y f a r r e mo v e d
f r o m o r d i n a r y ma t h e ma t i c s, o n e o f t h e
i mp o r t a n t r e su l t s wa s u se d b y T a r sk i t o
so l v e a p r o b l e m, c o n c e r n i n g t h e e x i st -
e n c e o f me a su r e s o n c e r t a i n v e r y l a r g e
sp a c e s, wh i c h h a d r e ma i n e d u n so l v e d
f o r ma n y y e a r s.
T h e l a st a r e a o f l o g i c a l r e se a r c h I
sh o u l d l i k e t o b r i n g t o y o u r a t t e n t i o n
i s a k i n d o f c o n v e r se st u d y t o wh a t we
h a v e c a l l e d a l g e b r a i c l o g i c . I n t h e l a t t e r
we a r e i n t e r e st e d i n a p p l y i n g me t h o d s
o f a l g e b r a t o a sy st e m o f l o g i c . B u t
t h e r e a r e a l so st u d i e s i n wh i c h r e su l t s
a n d me t h o d s o f l o g i c a r e u se d t o e st a b -
l i sh t h e o r e ms o f mo d e r n a l g e b r a . T h e
f i r st t o h a v e ma d e su c h a p p l i c a t i o n s
se e ms t o h a v e b e e n t h e R u ssi a n ma t h e -
ma t i c i a n A. Ma l c e v , wh o i n 1 9 4 1 i n -
d i c a t e d h o w t h e c o mp l e t e n e ss t h e o r e m
f o r f i r st - o r d e r l o g i c c o u l d b e u se d t o
o b t a i n a r e su l t o n g r o u p s. S u b se q u e n t l y
t h e sa me t e c h n i q u e wa s u se d b y T a r sk i
t o c o n st r u c t v a r i o u s n o n - Ar c h i me d e a n
o r d e r e d f i e l d s. P e r h a p s t h e b e st - k n o wn
n a me i n t h i s a r e a i s t h a t o f Ab r a h a m
R o b i n so n , wh o f o r me r l y wa s a sso c i a t e d
wi t h t h e U n i v e r si t y o f T o r o n t o i n
C a n a d a . Amo n g h i s c o n t r i b u t i o n s wa s
t h e a p p l i c a t i o n o f l o g i c a l me t h o d s a n d
r e su l t s t o i mp r o v e a so l u t i o n , g i v e n i n
1 9 2 6 b y E. Ar t i n , t o H i l b e r t ' s 1 7 t h
p r o b l e m ( 1 7 t h o f t h e f a mo u s l i st o f
p r o b l e ms p r e se n t e d i n h i s a d d r e ss t o t h e
I n t e r n a t i o n a l C o n g r e ss o f Ma t h e ma t i -
c i a n s i n 1 9 0 0 ) . R o b i n so n sh o we d t h a t
wh e n a r e a l p o l y n o mi a l wh i c h t a k e s
o n l y n o n n e g a t i v e
v a l u e s i s
r e p r e se n t e d
a s a su m o f
sq u a r e s
o f r a t i o n a l f u n c -
t i o n s,
t h e n u mb e r o f t e r ms n e e d e d f o r
t h e
r e p r e se n t a t i o n d e p e n d s o n l y o n t h e
d e g r e e
a n d n u mb e r o f v a r i a b l e s o f t h e
g i v e n p o l y n o mi a l ,
a n d t h a t i t i s i n d e -
p e n d e n t
o f t h e
p a r t i c u l a r c o e f f i c i e n t s.
R u sse l l ' s T h e si s i n
P e r sp e c t i v e
I
h o p e
t h a t t h i s
v e r y
b r i e f sk e t c h o f
so me o f t h e a r e a s o f
c o n t e mp o r a r y l o g -
i c a l r e se a r c h wi l l
g i v e
so me i d e a o f t h e
wa y s
i n wh i c h
l o g i c i a n s h a v e r e a c t e d t o
t h e t h e o r e ms o f G o d e l a n d C h u r c h
wh i c h ,
i n t h e
p e r i o d 1 9 3 1 t o 1 9 3 6 , d e a l t
so h a r sh l y wi t h e a r l i e r h o p e s. S p e a k i n g
g e n e r a l l y , o n e c o u l d d e sc r i b e t h i s r e a c -
t i o n a s
c o mp o u n d e d o f a n
a c c e p t a n c e
o f t h e
i mp o ssi b i l i t y o f r e a l i z i n g t h e
o r i g i n a l h o p e s f o r ma t h e ma t i c a l
l o g i c ,
a r e l a t i v i z a t i o n o f t h e o r i g i n a l p r o g r a m
o f se e k i n g c o mp l e t e n e ss a n d
c o n si st e n c y
p r o o f s a n d d e c i si o n me t h o d s, a n i n c o r -
p o r a t i o n o f t h e n e w me t h o d s a n d c o n -
st r u c t s wh i c h
a p p e a r e d i n t h e
i mp o ssi -
b i l i t y p r o o f s, a n d t h e d e v e l o p me n t o f
q u i t e n e w i n t e r e st s su g g e st e d b y g e n -
e r a l i z a t i o n o f
e a r l y r e su l t s.
N o w wi t h t h i s b a c k g r o u n d , l e t u s
r e t u r n t o R u sse l l ' s t h e si s t h a t a l l o f
ma t h e ma t i c s c a n b e r e d u c e d t o l o g i c . I
wo u l d sa y t h a t i f l o g i c i s u n d e r st o o d
c l e a r l y t o c o n t a i n t h e t h e o r y o f se t s
( a n d t h i s se e ms t o b e a f a i r a c c o u n t o f
wh a t R u sse l l h a d i n mi n d ) , t h e n mo st
ma t h e ma t i c i a n s wo u l d a c c e p t wi t h o u t
q u e st i o n t h e t h e si s t h a t t h e b a si c c o n -
c e p t s o f a l l ma t h e ma t i c s c a n b e e x -
p r e sse d i n t e r ms o f l o g i c . T h e y wo u l d
a g r e e , t o o , t h a t t h e t h e o r e ms o f a l l
b r a n c h e s o f ma t h e ma t i c s c a n b e d e -
r i v e d f r o m p r i n c i p l e s o f se t t h e o r y , a l -
t h o u g h t h e y wo u l d r e c o g n i z e t h a t n o
f i x e d sy st e m o f a x i o ms f o r se t t h e o r y
i s a d e q u a t e t o c o mp r e h e n d a l l o f t h o se
p r i n c i p l e s wh i c h wo u l d b e r e g a r d e d a s
" ma t h e ma t i c a l l y c o r r e c t . "
B u t p e r h a p s o f g r e a t e r si g n i f i c a n c e
i s t h e c o n se n su s o f ma t h e ma t i c i a n s t h a t
t h e r e i s mu c h mo r e t o t h e i r f i e l d t h a n
i s i n d i c a t e d b y su c h a r e d u c t i o n o f
ma t h e ma t i c s t o l o g i c a n d se t t h e o r y .
T h e f a c t t h a t c e r t a i n c o n c e p t s a r e se -
l e c t e d f o r i n v e st i g a t i o n , f r o m a mo n g
a l l l o g i c a l l y p o ssi b l e n o t i o n s d e f i n a b l e
i n se t t h e o r y , i s o f t h e e sse n c e . A t r u e
u n d e r st a n d i n g o f ma t h e ma t i c s mu st i n -
v o l v e a n e x p l a n a t i o n o f wh i c h se t - t h e o r y
n o t i o n s h a v e " ma t h e ma t i c a l c o n t e n t , "
a n d t h i s q u e st i o n i s ma n i f e st l y n o t r e -
d u c i b l e t o a p r o b l e m o f l o g i c , h o we v e r
b r o a d l y c o n c e i v e d .
L o g i c , r a t h e r t h a n b e i n g a l l o f ma t h -
7 9 3
e ma t i c s, se e ms t o b e b u t o n e b r a n c h .
B u t i t i s a v i g o r o u s a n d g r o wi n g b r a n c h ,
a n d t h e r e i s r e a so n t o h o p e t h a t i t ma y
i n t i me p r o v i d e a n e l e me n t o f u n i t y t o
o p p o se t h e f r a g me n t a t i o n wh i c h se e ms
t o b e se t c o n t e mp o r a r y ma t h e ma t i c s-
a n d i n d e e d e v e r y b r a n c h o f sc h o l a r sh i p .
B i b l i o g r a p h y
S o me o f t h e e a r l y wo r k o f B o o l e , F r e g e , a n d
C a n t o r h a s b e e n ma d e mo r e a v a i l a b l e b y r e l a -
t i v e l y r e c e n t t r a n sl a t i o n s i n t o En g l i sh . Ex a mp l e s
a r e t h e wo r k s c i t e d . T h e P r i n c i p i a Ma t h e ma t i c a
o f R u sse l l a n d W h i t e h e a d , wh i l e l a r g e l y d e v o t e d
t o a f o r mi d a b l e f o r ma l i sm, c o n t a i n s ma n y v e r y
r e a d a b l e se c t i o n s o f a n i n t r o d u c t o r y o r su m-
ma r y c h a r a c t e r . An a c c o u n t o f t h e f u n d a me n t a l
t h e o r e ms o f G o d e l a n d C h u r c h ma y b e f o u n d
i n K l e e n e . I n d e sc r i b i n g l o g i c a l r e se a r c h si n c e
1 9 3 6 my a i m h a s b e e n n o t t o g i v e a c o mp l e t e h i s-
t o r y b u t o n l y t o i n d i c a t e t h e r a n g e o f a c t i v i t y b y
me n t i o n i n g so me o f t h e mo st a c t i v e l y c u l t i v a t e d
a r e a s. Ac c o r d i n g l y , I h a v e r e f e r r e d t o o n l y a
v e r y sma l l sa mp l e o f t h e l i t e r a t u r e , se l e c t i n g
( wh e r e p o ssi b l e ) wo r k s wh i c h a r e l a r g e l y se l f -
c o n t a i n e d . W i t h r e f e r e n c e t o t h e f o l l o wi n g l i st ,
f o r a n e x a mp l e o f a n a x i o ma t i c t h e o r y o f se t s
a n d a n i mp o r t a n t c o n t r i b u t i o n t o wa r d i t s me t a -
t h e o r y , se e G o d e l . F o r a n a c c o u n t o f t h e d e -
c i si o n p r o b l e m, - se e T a r sk i ( 1 9 5 1 ) f o r p o si t i v e
so l u t i o n s a n d T a r sk i e t a l . ( 1 9 5 3 ) f o r n e g a -
t i v e . T h e t h e o r y o f r e c u r si v e f u n c t i o n s a n d
t h e i r u se s i s we l l d e sc r i b e d i n K l e e n e . S o me
h i st o r i c a l r e ma r k s o n a l g e b r a i c l o g i c , a s we l l a s
d e t a i l e d r e su l t s, ma y b e f o u n d i n H e n k i n a n d
T a r sk i . A v e r y r e c e n t a n d i mp o r t a n t c o n t r i b u -
t i o n t o t h e t h e o r y o f mo d e l s i s t h a t o f K e i sl e r ,
wh e r e r e f e r e n c e t o e a r l i e r wo r k s ma y b e f o u n d .
F o r a n a c c o u n t o f r e c e n t wo r k o n i n f i n i t e l y l o n g
f o r mu l a s, se e H e n k i n ; a n a p p l i c a t i o n o f su c h
wo r k t o a p r o b l e m o n t h e e x i st e n c e o f c e r t a i n
me a su r e s a p p e a r s i n T a r sk i ( i n p r e ss) . Ap -
p l i c a t i o n s o f l o g i c t o a l g e b r a a r e d e sc r i b e d i n
R o b i n so n .
G . B o o l e , An I n v e st i g a t i o n o f t h e L a ws o f
T h o u g h t ( D o v e r , N e w Y o r k , n e w e d . , 1 9 5 1 ) .
G . C a n t o r , C o n t r i b u t i o n s t o t h e F o u n d i n g o f
t h e T h e o r y o f T r a n sf i n i t e N u mb e r s ( Op e n
C o u r t , L o n d o n , 1 9 1 5 ) ( P . J o u r d a i n , t r a n s. ) .
G . F r e g e , T h e F o u n d a t i o n s o f Ar i t h me t i c ( P h i l o -
so p h i c a l L i b r a r y , N e w Y o r k , 1 9 5 0 ) ( J . L .
Au st i n , t r a n s. ) .
K . G o d e l , " T h e C o n si st e n c y o f t h e Ax i o m o f
C h o i c e , " An n a l s o f Ma t h e ma t i c s S t u d y N o .
3 ( P r i n c e t o n U n i v . P r e ss, P r i n c e t o n , N . J . ,
1 9 4 0 ) .
L . H e n k i n , " S o me r e ma r k s o n i n f i n i t e l y l o n g
f o r mu l a s, " i n I n f i n i t i st i c Me t h o d s ( P e r g a mo n ,
N e w Y o r k , 1 9 6 1 ) .
a n d A. T a r sk i , " C y l i n d r i c a l g e b r a s, " i n
" L a t t i c e T h e o r y " ( P r o c . S y mp o si u m i n P u r e
Ma t h e ma t i c s, P r o v i d e n c e , 1 9 6 1 ) ( Ame r i c a n
Ma t h e ma t i c a l S o c i e t y , i n p r e ss) , v o l . 2 .
H . J . K e i sl e r , I n d a g a t i o n e s Ma t h e ma t i c a e 2 3 ,
4 7 7 ( 1 9 6 1 ) .
S . C . K l e e n e , I n t r o d u c t i o n t o Me t a ma t h e ma t i c s
( V a n N o st r a n d , N e w Y o r k , 1 9 5 2 ) .
A. R o b i n so n , C o mp l e t e T h e o r i e s ( N o r t h - H o l -
l a n d , Amst e r d a m, 1 9 5 6 ) .
B . R u sse l l a n d A. N . W h i t e h e a d , P r i n c i p i a
Ma t h e ma t i c a ( C a mb r i d g e U n i v . P r e ss, C a m-
b r i d g e , En g l a n d ; 1 9 1 0 , 1 9 1 2 , 1 9 1 3 , r e sp e c -
t i v e l y ) , v o l s. 1 - 3 .
A. T a r sk i , A D e c i si o n Me t h o d f o r El e me n t a r y
Al g e b r a a n d G e o me t r y ( U n i v . o f C a l i f o r n i a
P r e ss, B e r k e l e y , 1 9 5 1 ) .
" S o me p r o b l e ms a n d r e su l t s r e l e v a n t t o
t h e f o u n d a t i o n s o f se t t h e o r y , " i n " P r o c e e d i n g s
o f t h e I n t e r n a t i o n a l C o n g r e ss f o r L o g i c ,
Me t h o d o l o g y , a n d P h i l o so p h y o f S c i e n c e ,
S t a n f o r d , 1 9 6 0 " ( S t a n f o r d U n i v . P r e ss, i n
p r e ss) .
- , A. Mo st o wsk i , R . R o b i n so n , U n d e c i d a b l e
T h e o r i e s ( N o r t h - H o l l a n d , Amst e r d a m, 1 9 5 3 ) .
I f i r st me t Ar t h u r C o mp t o n i n 1 9 2 4 ,
i n W i l l i a m D u a n e ' s x - r a y r e se a r c h l a b -
o r a t o r y a t H a r v a r d U n i v e r si t y . C o mp -
t o n h a d c o me o n a v i si t t o a t t e mp t t o
d i sc o v e r wh y D u a n e a n d h i s a sso c i a t e s
c o u l d n o t c o n f i r m h i s d i sc o v e r y o f t h e
c h a n g e o f wa v e l e n g t h o f x - r a y s o n sc a t -
t e r i n g , n o w k n o wn a s t h e C o mp t o n
e f f e c t . I d o n o t k n o w wh a t C o mp t o n
h a d b e e n d o i n g j u st b e f o r e h e a r r i v e d ,
b u t h i s a p p e a r a n c e l a t e t h a t a f t e r n o o n
wa s c o mp l e t e l y n o n t y p i c a l . H e wa s d i -
sh e v e l e d , u n sh a v e n , a n d o b v i o u sl y o v e r -
t i r e d . H e r e t u r n e d t o t h e l a b o r a t o r y
t h e f o l l o wi n g mo r n i n g l o o k i n g l i k e h i m-
se l f - a we l l - g r o o me d , e n e r g e t i c , a n d
c l e a r - t h i n k i n g p h y si c i st .
T h e si t u a t i o n wa s r a t h e r t e n se , wi t h
p e c u l i a r o v e r t o n e s. C o mp t o n wa s n o t
t h e f i r st t o p e r f o r m e x p e r i me n t s wh i c h
i n d i c a t e d t h a t sc a t t e r e d x - r a y s a n d
g a mma r a y s we r e mo r e a b so r b a b l e -
t h a t i s, o f l o n g e r wa v e l e n g t h - t h a n
t h e i r p r i ma r i e s. As f a r b a c k a s 1 9 1 2
S a d l e r a n d Me sh a m h a d o b se r v e d su c h
a n e f f e c t i n x - r a y s sc a t t e r e d f r o m c a r -
b o n , a n d C o mp t o n h i mse l f , i n 1 9 2 1 ,
h a d f o l l o we d o t h e r s i n e x p e r i me n t s
sh o wi n g t h e so f t e n i n g o f g a mma r a y s
o n sc a t t e r i n g . B u t , a s h a s se v e r a l t i me s
7 9 4
h a p p e n e d i n p h y si c s, t h e e x p e r i me n t ,
t h e i n t e r p r e t a t i o n , a n d t h e a u d i e n c e
we r e n o t si mu l t a n e o u sl y r e a d y , a n d
t h e se p r i o r r e su l t s a t t r a c t e d l i t t l e a t t e n -
t i o n . C o mp t o n , h o we v e r , h a d n e v e r
c o mp l e t e l y l a i d a si d e t h o se g a mma - r a y
e x p e r i me n t s h e p e r f o r me d i n R u t h e r -
f o r d ' s l a b o r a t o r y , a n d h e t u r n e d t h e m
o v e r a n d o v e r i n h i s mi n d , f i n a l l y r e a c h -
i n g a n i n t e r p r e t a t i o n b a se d o n t h e t r a n s-
f e r o f mo me n t u m f r o m l i g h t q u a n t a t o
f r e e e l e c t r o n s. Ag a i n t h e " i n t e r p r e t a -
t i o n " wa s n o t n e w; t h e i d e a o f p h o t o n s
o r l i g h t q u a n t a h a d l o n g b e e n i n t h e
mi n d s o f ma n y p h y si c i st s. S o me h a d
e v e n wo r k e d o u t C o mp t o n ' s e q u a t i o n s
f o r t h e c o n se r v a t i o n o f e n e r g y a n d
mo me n t u m i n t h e p h o t o n - e l e c t r o n c o l -
l i si o n , e n d i n g wi t h t h e wr y r e ma r k t h a t
t h i s wo u l d b e a b e a u t i f u l l y si mp l e t h e -
o r y o f sc a t t e r i n g b u t wa s o f c o u r se u n -
t e n a b l e b e c a u se e v e r y o n e k n e w t h a t
sc a t t e r e d l i g h t a n d x - r a y s we r e u n -
c h a n g e d i n wa v e l e n g t h a n d c o h e r e n t
wi t h t h e p r i ma r y r a d i a t i o n . C o mp t o n
so l v e d t h e e q u a t i o n s i n d e p e n d e n t l y ,
h o we v e r , a n d wa s t h e f i r st t o p u b l i sh
t h e r e su l t s.
I t t o o k C o mp t o n t o c o r r e l a t e t h e o r y
a n d e x p e r i me n t a n d f i n a l l y t o c l i n c h t h e
ma t t e r wi t h a d e mo n st r a t i o n i n wh i c h
t h e c h a n g e i n wa v e l e n g t h wa s p r e c i se l y
me a su r e d wi t h a c r y st a l sp e c t r o me t e r
a n d sh o wn t o b e h /mc o r 0 . 0 2 4 a n g -
st r o m u n i t s a t 9 0 d e g r e e s, a s t h e c a l c u -
l a t i o n h a d p r e d i c t e d . T h e a u d i e n c e wa s
r e a d y , b e c a u se t h e a p p a r e n t c o n f l i c t b e -
t we e n t h e c o r p u sc u l a r a n d t h e wa v e
t h e o r i e s o f l i g h t wa s i n e v e r y p h y si c i st ' s
mi n d . A N o b e l - p r i z e d i sc o v e r y h a d b e e n
ma d e .
B u t h e r e a t H a r v a r d i n 1 9 2 4 , i n t h e
l a b o r a t o r y o f a h i g h l y r e sp e c t e d i n -
v e st i g a t o r o f x - r a y s, t h e c r y st a l sp e c -
t r o me t e r me a su r e me n t s se e me d t o g i v e
d i f f e r e n t r e su l t s. T h e sc a t t e r e d r a d i a t i o n
sh o we d , a s C o mp t o n h a d f o u n d , p a r t
o f t h e r a d i a t i o n t o b e sh i f t e d t o l o n g e r
wa v e l e n g t h s, b u t D u a n e i n t e r p r e t e d t h i s
a s " t e r t i a r y r a d i a t i o n , " o f t h e b r e ms-
st r a h l u n g t y p e , c a u se d b y t h e d e c e l e r a -
t i o n o f p h o t o e l e c t r o n s e j e c t e d f r o m t h e
sc a t t e r e r b y t h e p r i ma r y r a d i a t i o n . Ac -
t u a l l y , t h e sh i f t a t 9 0 d e g r e e s, f r o m
c a r b o n , o f t h e K x - r a y s o f mo l y b d e n u m
c o u l d b e q u a n t i t a t i v e l y a c c o u n t e d f o r
b y t h e e n e r g y l o ss i n t h e e j e c t i o n o f
c a r b o n K - e l e c t r o n s. T h e c r u c i a l t e st s
o f t h e a n g u l a r d e p e n d e n c e o f t h e sh i f t ,
a n d o f i t s i n d e p e n d e n c e o f t h e a t o mi c
n u mb e r o f t h e sc a t t e r e r , h a d n o t b e e n
d e c i si v e l y p e r f o r me d a t H a r v a r d .
A p e c u l i a r o v e r t o n e t o t h e si t u a t i o n
wa s D u a n e ' s g r e a t r e si st a n c e t o a c c e p t -
i n g a p h o t o n t h e o r y o f sc a t t e r i n g . I t
wa s D u a n e a n d H u n t wh o , a f e w y e a r s
p r e v i o u sl y , h a d q u a n t i t a t i v e l y e st a b -
l i sh e d t h e r e l a t i o n b e t we e n t h e e l e c t r o n
k i n e t i c e n e r g y a n d t h e ma x i mu m f r e -
q u e n c y o f t h e b r e msst r a h l u n g , wh i c h ,
i n t h o se p r e - wa v e me c h a n i c a l d a y s, wa s
c o n si d e r e d o n e o f t h e st r o n g e st e v i d -
S C I EN C E, V OL . 1 3 8
Ar t h u r H o l l y
C o mp t o n ,
R e se a r c h P h y si c i st