A Formalist's Perspective of Mathematics, Kahrs

8/6/2019 A Formalist's Perspective of Mathematics, Kahrs

1/15

A F o r m a l i s t ' s P e r s p e c t i v e o f M a t h e m a t i c s

S t e f a n K a h r s

U n i v e r s i t y o f K e n t a t C a n t e r b u r y

C o m p u t i n g L a b o r a t o r y

A p r i l 3 0 , 1 9 9 9

A b s t r a c t

A c c o r d i n g t o s o m e m a t h e m a t i c i a n s , t h e f o r m a l i s t p h i l o s o p h y o f m a t h -

e m a t i c s f a c e s t h e d i l e m m a t h a t a p r a c t i s i n g m a t h e m a t i c i a n c o u l d n o t

p o s s i b l y h o l d a f o r m a l i s t c o n v i c t i o n , a l t h o u g h s o m e o f t h e w e a k n e s s e s

o f m a t h e m a t i c a l f o u n d a t i o n s a l m o s t e n f o r c e a f o r m a l i s t p o s i t i o n . I a m a

f o r m a l i s t , a n d i n t h i s p a p e r I e x p l a i n h o w t h i s d i l e m m a f a i l s t o m a t e r i a l i s e .

1 I n t r o d u c t i o n

W o r k s a b o u t t h e p h i l o s o p h y o f m a t h e m a t i c s l i k e t o a d d r e s s t h e q u e s t i o n \ W h a t

i s m a t h e m a t i c s ? " H e r 9 7 , C R 4 8 ] . I a m n o t g o i n g t o a n s w e r t h a t q u e s t i o n . I a m

a f o r m a l i s t , a n d f r o m m y p o s i t i o n i t i s t h e w r o n g q u e s t i o n t o a s k a n d I s h a l l

e x p l a i n l a t e r w h y t h i s i s s o .

L e t m e r s t f a i l t o i n t r o d u c e m y s e l f . I a m n o t a m a t h e m a t i c i a n . I a m n o t a

p h i l o s o p h e r . S o w h o a m I a n d w h a t a m I d o i n g w r i t i n g a p a p e r o n t h e p h i l o s o p h y

o f m a t h e m a t i c s ? I a m a t h e o r e t i c a l c o m p u t e r s c i e n t i s t ; T C S i s i n a l l b u t n a m e

a s u b d i s c i p l i n e o f m a t h e m a t i c s . I n m a n y w a y s i t i s c l o s e r t o t h e f o u n d a t i o n s o f

m a t h e m a t i c s t h a n w h a t w e w o u l d c a l l p u r e m a t h e m a t i c s , l a r g e l y b e c a u s e o f t h e

s p e c i a l r o l e f o r m a l n o t a t i o n p l a y s i n c o m p u t i n g . W h i l e m o s t m a t h e m a t i c i a n s

c a n h a p p i l y c l a i m t h a t f o u n d a t i o n a l i s s u e s d o n o t i n t e r f e r e w i t h t h e i r e v e r y d a y

a c t i v i t i e s , t h e y d o o c c a s i o n a l l y i n t e r f e r e w i t h m i n e . T h i s e x p l a i n s m y i n t e r e s t

i n t h i s a r e a .

Y o u m a y w o n d e r : w h a t n e w c a n I t e l l y o u t h a t j u s t i e s w r i t i n g s u c h a p a p e r ?

Y o u m a y a l s o w o n d e r w h a t k i n d o f e g o c e n t r i c m e g a l o m a n i a c I m u s t b e , u s i n g

t h e r s t p e r s o n s i n g u l a r s o o f t e n i n t h e s e o p e n i n g l i n e s . T h e a n s w e r t o b o t h

q u e s t i o n s a r e r e l a t e d : m y v i e w o n m a t h e m a t i c s h a s s t r o n g s u b j e c t i v e e l e m e n t s

a s y o u w i l l s e e , s o m u c h s o t h a t i t w o u l d b e m i s l e a d i n g ( a n d u n d e r m i n i n g m y

o w n i d e a s ! ) t o f o r m u l a t e m y p o s i t i o n m o r e o b j e c t i v e l y .

I w r o t e t h i s p a p e r b e c a u s e I r a r e l y f e l t a d e q u a t e l y r e p r e s e n t e d b y m a t h e -

m a t i c a l p h i l o s o p h y , e i t h e r n o t r e p r e s e n t e d a t a l l o r m i s u n d e r s t o o d . T h e r e f o r e I

w a n t e d t o p r e s e n t m y i d e a s a s a c o h e r e n t w h o l e . D o n o t g e t m e w r o n g . I a m

n o t t r y i n g t o c o n v e r t y o u t o m y p o s i t i o n o n m a t h e m a t i c s a s t h e c o r r e c t o n e . I n

1


2/15

a s u b t l e w a y , s u c h a n a t t e m p t w o u l d a t l e a s t u n d e r m i n e i f n o t c o n t r a d i c t m y

p o s i t i o n . A l l I a m t r y i n g t o a c h i e v e i s t o g a i n r e s p e c t f o r a n d u n d e r s t a n d i n g o f

t h e v a r i a n t o f F o r m a l i s m I p r a c t i c e . T o o o f t e n I g e t r e a c t i o n s o f d i s b e l i e f .

2 M y B e l i e f

I w i l l r s t e x p l a i n t o y o u m y o w n b e l i e f s . I f y o u d o n o t w a n t t o k n o w | s k i p

t h i s s e c t i o n , t h e r e m a i n d e r o f t h e p a p e r i s s e l f - c o n t a i n e d . T h e m a i n r e a s o n I

b o t h e r t o e x p l a i n m y b e l i e f s i s t h a t i t i s e a s i e r t o u n d e r s t a n d m y p o s i t i o n o n

t h e d i s c i p l i n e o f m a t h e m a t i c s o n c e y o u h a v e s e e n t o w h i c h b e l i e f s i t i s r e l a t e d .

T h i s s e c t i o n i s a l s o m e a n t t o e n c o u r a g e y o u t o r e e c t o n y o u r o w n b e l i e f s .

I d e c l a r e m y s e l f t o b e a f o r m a l i s t o f s o m e k i n d

1

. I n m y m i n d , s o m e p a r t s

o f m a t h e m a t i c s h a v e a u n i q u e m e a n i n g w h i l e I s e e o t h e r s s o l e l y o r p a r t i a l l y

a s a r t e f a c t s o f h u m a n i m a g i n a t i o n . T h i s i s a v i e w p o i n t I a m c e r t a i n t o s h a r e

w i t h t h e v a s t m a j o r i t y o f m a t h e m a t i c i a n s t o d a y . T h e d i e r e n c e i s w h e r e w e

d r a w t h e l i n e b e t w e e n c e r t a i n t y a n d c t i o n . O v e r t h e y e a r s m y p o s i t i o n h a s

s h i f t e d t o w a r d s b e c o m i n g e v e r m o r e s k e p t i c a l o n t h e c e r t a i n t i e s o f m a t h e m a t i c s ,

i n c l u d i n g w h a t I a m p e r s o n a l l y c e r t a i n a b o u t .

T h e s k e p t i c i s m s t a r t e d a s a t e e n a g e r w h e n t h e d e n i t i o n o f r e a l n u m b e r s

c a m e a s a d i s a p p o i n t i n g a n t i c l i m a x , f o l l o w i n g t h e d e n i t i o n s o f t h e n a t u r a l

n u m b e r s u p t o t h e d e n i t i o n o f t h e r a t i o n a l s . T h e r e a l s j u s t l a c k e d e l e g a n c e

a n d s i m p l i c i t y . I n h i n d s i g h t , I w o u l d d e s c r i b e t h e f u n d a m e n t a l p r o b l e m w i t h t h e

r e a l s a s f o l l o w s : t h e p u r p o s e o f d e n i n g t h e r e a l n u m b e r s i s t o g e t c o m p l e t e n e s s .

W h a t w e a r e a f t e r i s s e m a n t i c c o m p l e t e n e s s , w h a t w e g e t ( i n a n y p a r t i c u l a r

f o u n d a t i o n o f m a t h e m a t i c s ) i s s y n t a c t i c c o m p l e t e n e s s . O n t h e m e t a - l e v e l w e

c a n a l w a y s o b s e r v e s o m e k i n d o f i n c o m p l e t e n e s s .

T h i s w a s t h e r s t ( s m a l l ) c r a c k i n t h e a r m o u r a n d m a n y o t h e r s h a v e f o l l o w e d

s i n c e , e . g . t h e a r b i t r a r i n e s s o f a x i o m a t i c s e t t h e o r y , G o d e l ' s i n c o m p l e t e n e s s t h e -

o r e m , n o n - E u c l i d e a n g e o m e t r y , t h e L o w e n h e i m - S k o l e m t h e o r e m S k o 3 4 ] w i t h i t s

r e s u l t i n g d i c u l t i e s o f g e t t i n g a g r i p o n s t a n d a r d m o d e l s f o r t h e r e a l s R o b 6 6 ]

o r e v e n P e a n o a r i t h m e t i c R N 5 2 ] , C h a i t i n ' s H a l t i n g P r o b a b i l i t y C h a 9 8 ] , e t c .

S o m e t i m e s t h e c r a c k s c a m e , b e c a u s e t h e m a t h e m a t i c s i n q u e s t i o n d i d n o t c o m e

w i t h t h e e t e r n i t y s m e l l w e w o u l d e x p e c t f r o m a n e t e r n a l t r u t h . S o m e t i m e s i t

b e c a m e c l e a r t h a t t h e f o r m a l i s m w o u l d n e c e s s a r i l y l e a v e a c h o i c e o f i n t e r p r e -

t a t i o n s . M o r e o v e r , w h e n I w a s a s k i n g m y s e l f \ w h i c h o f t h e s e i n t e r p r e t a t i o n s

c o n r m s w i t h y o u r m e n t a l m o d e l " t h e n i t b e c a m e a l l t o o o f t e n c l e a r t h a t m y

m e n t a l m o d e l w o u l d n o t r e s o l v e t h i s e i t h e r .

T h e c o n t i n u u m h y p o t h e s i s ? W h a t d o y o u t h i n k , b r a i n ?

B r a i n d i d n o t h a v e a n o p i n i o n o n t h i s m a t t e r .

I a m c e r t a i n a b o u t t h e m e a n i n g o f n a t u r a l n u m b e r s , a n d o f s e m i - d e c i d a b l e

a n d c o - s e m i - d e c i d a b l e p r e d i c a t e s , g e n e r a l l y o f a r i t h m e t i c s e n t e n c e s n o t i n v o l v i n g

1

I d i s t i n g u i s h F o r m a l i s m f r o m H i l b e r t i s m .

2


3/15

n e s t e d q u a n t i e r s

2

. I a m a l s o r e a d y t o a c c e p t t h a t P e a n o a r i t h m e t i c i s c o n s i s t e n t

w i t h t h i s b e l i e f . T h a t i s i t !

F o r i n s t a n c e , I b e l i e v e i n a u n i q u e m e a n i n g o f t h e G o l d b a c h c o n j e c t u r e r e -

g a r d l e s s o f i t s p r o v a b i l i t y , a s i t i s e x p r e s s i b l e w i t h a s i n g l e u n i v e r s a l q u a n t i e r .

T h i s b e l i e f w o u l d n o t s t r e t c h t o t h e t w i n p r i m e c o n j e c t u r e | t w o q u a n t i e r s !

T h i s i s p e r h a p s n o t q u i t e a t r u e - b l u e f o r m a l i s t p o s i t i o n , b e c a u s e i t d o e s h a v e

a s e m a n t i c a l e l e m e n t , a l b e i t a t i n y o n e . E v e n t h a t i s n o t e n t i r e l y u n p r o b l e m a t i c .

S t a n i s l a s D e h a e n e i s r i g h t w h e n h e w r i t e s i n D e h 9 7 ] f r o m a n e u r o s c i e n t i s t ' s

p o i n t o f v i e w : \ E v e n i f m a t h e m a t i c i a n s ' i n t r o s p e c t i o n c o n v i n c e s t h e m o f t h e

t a n g i b l e r e a l i t y o f t h e o b j e c t s t h e y s t u d y , t h i s f e e l i n g c a n n o t b e m o r e t h a n a n

i l l u s i o n . " H o w e v e r , D e h a e n e d e f e n d s s o m e f o r m o f m a t h e m a t i c a l s e m a n t i c s a n d

i n p a r t i c u l a r i n t u i t i o n i s m b y r e f e r r i n g t o t h e e v o l u t i o n a r y h i s t o r y o f \ n u m b e r

s e n s e " ; i f n u m b e r s a r e a n a r t e f a c t t h e n t h i s a r t e f a c t p r e d a t e s h u m a n c i v i l i s a t i o n .

T h i s i s a v a l i d p o i n t , b u t t o m e i t f e e l s l i k e a n u n c o m f o r t a b l y w e a k b a s i s f o r a

j u s t i c a t i o n o f m a t h e m a t i c a l b e l i e f s .

E v e n l e s s s e m a n t i c s w o u l d m a k e i t d i c u l t t h o u g h t o t a l k a b o u t t h e p r o v -

a b i l i t y o r r e f u t a b i l i t y o f f o r m u l a e a s t h e s e n o t i o n s w o u l d b e c o m e t h e m s e l v e s

( s i c ! ) a m b i g u o u s . O n t h e o t h e r h a n d , i f o n e d o e s b e l i e v e i n a x e d m e a n i n g

o f p r o v a b i l i t y t h e n i t a l s o s e t t l e s t h e f o r m u l a e e x p r e s s e d w i t h s i n g l e q u a n t i e r s .

S u c h a f o r m u l a i s t r u e i f p r o v a b l e , o t h e r w i s e ( a s s u m i n g i t i s i n p r e n e x f o r m ) i t

i s f a l s e w h e n i t s t a r t s w i t h 9 a n d t r u e w h e n i t s t a r t s w i t h 8 .

H o f s t a d t e r e x p l a i n s H o f 7 9 , p a g e 4 5 8 ] h o w ! - i n c o n s i s t e n c y w o u l d f o r c e u s t o

a c c e p t s u p e r n a t u r a l n u m b e r s , a n d c l a i m s ( r i g h t l y ) t h a t t h i s m a k e s m a t h e m a t i c a l

l o g i c i a n s b e l i e v e i n i n c o m p l e t e n e s s r a t h e r t h a n ! - i n c o n s i s t e n c y . I f w e a c c e p t

i n c o m p l e t e n e s s t h e n w e h a v e i n p r i n c i p l e a c h o i c e w h i c h t r u t h v a l u e s t o a s s i g n

t o u n d e c i d a b l e f o r m u l a e , b u t a g a i n w e w o u l d b e f o r c e d t o a c c e p t s u p e r n a t u r a l s i f ,

f o r e x a m p l e , w e a c c e p t e d b o t h t h e u n d e c i d a b i l i t y a n d f a l s e h o o d o f t h e G o l d b a c h

c o n j e c t u r e .

I t a k e t h e P o p p e r i a n v i e w P o p 5 9 ] t h a t a l a w t o b e t r u l y m e a n i n g f u l i t m u s t

b e o p e n t o r e f u t a t i o n a t t e m p t s . I f w e c o u l d n e i t h e r o b s e r v e c o n r m a t i o n n o r

r e f u t a t i o n o f a l a w t h e n i t i s q u e s t i o n a b l e w h e t h e r i t i s m e a n i n g f u l i n t h e r s t

p l a c e . N a t u r a l l a n g u a g e s p e r m i t s u s t o u t t e r g i b b e r i s h a n d G o d e l ' s t h e o r e m

i s i n d i c a t i o n t h a t t h e s a m e a p p l i e s t o f o r m a l l o g i c . C h a i t i n s t r e n g t h e n s t h e

a r g u m e n t b y s h o w i n g t h a t t h e r e a r e m a t h e m a t i c a l f o r m u l a e w h i c h a r e i r r e d u c i b l e

i n t h e s e n s e o f i n f o r m a t i o n t h e o r y C h a 9 8 ] , w h i c h i n e s s e n c e m e a n s t h a t t h e y

a r e n o t t r u e ( o r f a l s e ) f o r a r e a s o n , t h e y j u s t a r e .

W e c o u l d o b s e r v e t h e f a l s e h o o d o f t h e G o l d b a c h c o n j e c t u r e ( b y n d i n g t h a t

e l u s i v e c o u n t e r - e x a m p l e ) , b u t n o e l e m e n t a r y o b s e r v a t i o n w o u l d s e t t l e t h e t w i n

p r i m e c o n j e c t u r e e i t h e r w a y . O f c o u r s e , t h e s a m e w o u l d a p p l y t o t h e \ t r i p l e t

p r i m e p r o p o s i t i o n " , i . e . t h a t t h e r e a r e i n n i t e l y m a n y t r i p l e t s ( n ; n + 2 ; n + 4 )

o f p r i m e s ; w e h a v e a r e f u t a t i o n r e j e c t i n g t h a t p r o p o s i t i o n

3

, b u t I w o u l d n o t

r e g a r d t h i s a s a n e l e m e n t a r y o b s e r v a t i o n , i t i s d e r i v e d . I w o u l d a r g u e t h a t

2

I w a s t e m p t e d t o e x p r e s s t h i s a s

0

1

0

1

i n t h e K l e e n e ' s h i e r a r c h y K l e 4 3 ] ; h o w e v e r , t h i s

h i e r a r c h y i s s e m a n t i c a l a n d t h u s f a i l s t o c l a s s i f y s e n t e n c e s .

3

O n e o f t h e t h r e e n u m b e r s m u s t b e d i v i s i b l e b y 3 , a s i t i s p r i m e i t m u s t b e 3 i t s e l f , t h u s

( 3 ; 5 ; 7 ) i s t h e o n l y s u c h t r i p l e t .

3


4/15

t h i s r e f u t a t i o n i s a n a r g u m e n t s h o w i n g \ i f y o u b e l i e v e t h a t t h e n y o u b e l i e v e

a n y t h i n g " w h i c h i s s u b t l y d i e r e n t f r o m \ t h i s i s f a l s e " . I n p a r t i c u l a r , t h e n o n -

e x i s t e n c e o f a r e f u t a t i o n o f t h a t k i n d d o e s n o t e s t a b l i s h t r u t h : t h e u n d e c i d a b l e

s e n t e n c e 8 m : 9 n : p ( m ; n ) , w i t h p b e i n g r e c u r s i v e , c o u l d b e p o i n t w i s e p r o v a b l e

( a n d t h u s p o i n t w i s e t r u e a n d t h u s t r u e ) o r 9 n : p ( m ; n ) c o u l d i t s e l f b e u n d e c i d a b l e

f o r s o m e n ( a n d t h u s f a l s e , r e f u t i n g t h e s e n t e n c e a s a w h o l e ) .

T h i s d o e s n o t m e a n t h a t I s e e a l l s u c h f o r m u l a e a s m e a n i n g l e s s , t h e i r p r o o f s

a n d r e f u t a t i o n s g i v e t h e m s t r u c t u r e a n d m e a n i n g . T h e r e f o r e , I a l s o m a k e a d i s -

t i n c t i o n b e t w e e n ( f o r e x a m p l e ) c l a s s i c a l a n d i n t u i t i o n i s t i c p r o o f s . F o r i n s t a n c e ,

a c l a s s i c a l r e f u t a t i o n o f t h e t w i n p r i m e c o n j e c t u r e t h a t j u s t s a i d \ t h e r e i s s o m e

a n o n y m o u s n u m b e r o u t t h e r e b e y o n d w h i c h t h e r e a i n ' t a n y m o r e t w i n p r i m e s "

w o u l d c a r r y l e s s i n f o r m a t i o n t h a n a n i n t u i t i o n i s t i c r e f u t a t i o n w h i c h a l s o t o l d u s

t h a t n u m b e r . I n t h i s s e n s e I t h i n k o f t h e m o r e c o m p l i c a t e d s e n t e n c e s n o t a s

s e m a n t i c a l l y t w o - v a l u e d , t h e y a d m i t m o r e s t r u c t u r e .

T h i s i s m y p o s i t i o n . I d o n o t e x p e c t o t h e r p e o p l e t o s h a r e i t , m o s t w i l l b e l i e v e

i n m o r e , s o m e p e r h a p s i n e v e n l e s s . A n y w a y , m y p o s i t i o n i s o n e a t h e o r e t i c a l

c o m p u t e r s c i e n t i s t c a n l i v e w i t h , a n d q u i t e a f e w p r a c t i c i o n e r s i n c o m p u t i n g

u n w i t t i n g l y s h a r e a s i m i l a r k i n d o f l o g i c a l p o s i t i v i s m . I r e a l i s e t h a t m y p o s i t i o n

i s p r o b a b l y l e s s c o m f o r t a b l e f o r p e o p l e w o r k i n g i n a n a l y s i s , o r , d a r e I s a y i t , s e t

t h e o r y .

H o w e v e r , m y b e l i e f i s o n l y t h a t , t h e b e l i e f o f a s i n g l e p e r s o n . M y i n t u i t i o n s

c o u l d b e c o n t r a d i c t o r y , i n c o m p l e t e , o r j u s t d o w n r i g h t s t u p i d . I h a v e n o i n t e n t i o n

t o i m p o s i n g t h e m a s t h e t r u e c o r e o f m a t h e m a t i c s o n o t h e r p e o p l e . I s h o u l d

e m p h a s i z e t h a t t h i s i s n o t a p o s i t i o n t a k e n o u t o f p o l i t i c a l c o r r e c t n e s s . R a t h e r ,

I s e e t h e o b j e c t o f t h e s e b e l i e f s a s s u b j e c t i v e a s w e l l ; t h e b e l i e f s I h o l d a b o u t

n a t u r a l n u m b e r s a r e b e l i e f s a b o u t m y n a t u r a l n u m b e r s , i . e . c o n c e p t s r e l a t i v e t o

m y o w n m i n d .

3 T h e F o r m a l i s t G a m e

F o r m a l i s m i s s o m e t i m e s d e s c r i b e d a s u n d e r s t a n d i n g m a t h e m a t i c s a s a m e a n i n g -

l e s s g a m e . S u c h d e s c r i p t i o n s a r e o f t e n i n t e n d e d t o d i s c r e d i t t h e f o r m a l i s t i d e a s ,

a c c u s i n g f o r m a l i s t s t o l a c k f a i t h . I n m y c a s e , t h i s c r i t i c i s m i s f a i r , b e c a u s e I

d o l a c k f a i t h i n t h i n g s o t h e r m a t h e m a t i c i a n s f e e l v e r y s t r o n g l y a b o u t . H o w -

e v e r , t h e r e i s a d i e r e n c e : f o r m a l i s m i s n o t a b o u t w h a t y o u b e l i e v e i s c o r r e c t

m a t h e m a t i c s , i t i s a b o u t w h a t y o u b e l i e v e i s a c o r r e c t m a t h e m a t i c a l p r o o f .

F o r m a l l o g i c i s w r i t t e n i n a f o r m a l l a n g u a g e . T h e p u r p o s e o f a l a n g u a g e

i s c o m m u n i c a t i o n . W e w a n t t o e x p r e s s o u r i d e a s a n d c o m m u n i c a t e t h e m t o

o t h e r p e o p l e . T h i s c o m m u n i c a t i o n , a t i t s m o s t f o r m a l , i s r i t u a l i s e d | i t i s

s y m b o l p u s h i n g , f o l l o w i n g a c o l l e c t i o n o f a g r e e d r u l e s . I n i t s e l f , t h e s y m b o l

p u s h i n g i s m e a n i n g l e s s , o r r a t h e r : t o o m e a n i n g f u l , t h e s y m b o l s p e r m i t d i e r e n t

i n t e r p r e t a t i o n s . H o w e v e r , a t t h e e n d o f t h e c o m m u n i c a t i o n l i n e t h e r e a r e p e o p l e

w i t h m a t h e m a t i c a l c o n v i c t i o n s , p o s s i b l y v e r y d i e r e n t o n e s . W h a t t h e y a g r e e

u p o n a r e t h e r u l e s o f t h e g a m e . E a c h i n d i v i d u a l h a s h i s o r h e r o w n i n t e r p r e t a t i o n

o f t h e s y m b o l s i n t h e i r o w n m i n d , a n i n t e r p r e t a t i o n w h i c h s h o u l d b e c o n s i s t e n t

4


5/15

w i t h t h e r u l e s . T h e r e f o r e , a t h e o r e m d o e s h a v e a m e a n i n g f o r t h e s e i n d i v i d u a l s ,

b u t n o t n e c e s s a r i l y t h e s a m e f o r e v e r y o n e i n v o l v e d .

T h e i n d i v i d u a l s m a y h a v e m a n y r e a s o n s t o a g r e e o n t h e s e r u l e s . T h e y m a y

h a v e n o c h o i c e a s t h e r u l e s a r e a l r e a d y o u t t h e r e a n d i t h a s b e c o m e v e r y d i c u l t

i n d e e d t o c h a n g e t h e m . S t i l l , t h e r e w e r e t h e o r i g i n a l m o t i v a t i o n s f o r m a t h e m a t i -

c i a n s w h e n t h e y s e t t h e m u p :

T h e y n e e d t o e s t a b l i s h s o m e f o r m o f c o m m u n i c a t i o n .

T h e y n e e d a w a y t o s e t t l e c o n t r o v e r s i e s .

T h e y r e a d i l y a c c e p t t h e s e r u l e s f o r t h e m s e l v e s , t h e y a r e \ i n t u i t i v e " .

T h e r e a s o n p e o p l e s q u a b b l e a b o u t t h e r u l e s i s t h a t t h e s e p o i n t s a r e i n c o n i c t

w i t h e a c h o t h e r . M a n y o f u s w o u l d l i k e t o s t i c k t o o r d i n a r y h u m a n c o m m u n i c a -

t i o n , b u t t h i s h a s b y n o w b e c o m e i n s u c i e n t t o s e t t l e d i s p u t e s , n o t t o m e n t i o n

t h a t t h e m o r e c o m p l i c a t e d c o r n e r s o f m a t h e m a t i c s a r e o n l y a c c e s s i b l e t h r o u g h

f o r m a l n o t a t i o n o f s o m e k i n d . T h e m o r e p o w e r f u l t h e r u l e s b e c o m e t o s e t t l e

d i s p u t e s t h e m o r e p e o p l e a r e a l i e n a t e d a s t h e y f a i l t o r e l a t e t o t h e m . F o r e x -

a m p l e , t h e b a t t l e a b o u t t h e a x i o m o f c h o i c e g o e s o n

4

, d e s p i t e t h e a r g u m e n t

b e i n g f o r m a l l y s e t t l e d b y G o d e l G o d 3 8 ] a n d C o h e n C o h 6 3 ] . W h a t p e o p l e a r -

g u e a b o u t a r e t h e i r m e n t a l m o d e l s o f s e t s | \ c h o i c e " i s a p o w e r f u l t o o l , s o

i t s c o r e s o n p o i n t t w o , b u t m a n y p e o p l e n d i t ( o r s o m e o f i t s c o n s e q u e n c e s )

c o u n t e r - i n t u i t i v e , s o i t f a i l s o n p o i n t t h r e e .

N o t e v e r y o n e n d s \ c h o i c e " c o u n t e r - i n t u i t i v e , i n f a c t t h e r e s e e m t o b e m a t h -

e m a t i c i a n s w h o b e l i e v e i n t h e t r u t h o f t h e a x i o m o f c h o i c e , o r e v e n t h e c o n t i n u u m

h y p o t h e s i s , e t c . W e h a v e t o d r a w t h e l i n e s o m e w h e r e . I f t h e l i n e i s n o t c l e a r l y

d r a w n w e h a v e t o n d a d i e r e n t w a y t o s e t t l e c o n t r o v e r s i e s , a n d t h e p r i n c i p l e

i s : i f y o u u s e c o n t e n t i o u s a x i o m s t h e n s a y s o .

N o t i c e t h a t t h e f o r m a l i s t g a m e l e a v e s r o o m f o r d i e r e n t b e l i e f s , i t s p u r p o s e

i s s i m p l y t o r e g u l a t e c o m m u n i c a t i o n s b e t w e e n m a t h e m a t i c i a n s . T h i s p o s i t i o n i s

v e r y d i e r e n t f r o m B a l a g u e r ' s \ p l e n i t u d i n o u s p l a t o n i s m " w h i c h e s s e n t i a l l y s a y s :

i f i t ' s c o n s i s t e n t i t ' s o u t t h e r e s o m e w h e r e B a l 9 8 , F i e 9 8 ] , a k i n d o f m a t h e m a t i c a l

p a n t h e i s m . I c o u l d n o t c a r e l e s s w h e t h e r i t i s o u t t h e r e s o m e w h e r e , I c o u l d

n o t n d o u t a n y w a y . E v e n i f y o u r b e l i e f s a r e i n c o n s i s t e n t ( w h i c h I n o r m a l l y

w o u l d n o t b e a b l e t o n d o u t e i t h e r ) , y o u m a y s t i l l p r o d u c e p r o o f s w h i c h a r e

p e r f e c t l y a c c e p t a b l e t o m e o r e v e r y o n e e l s e

5

; c o n v e r s e l y , c o n s i s t e n t b e l i e f s d o

n o t p r o v i d e c o m p l e t e p r o t e c t i o n a g a i n s t m a k i n g m i s t a k e s a n d a r e n o e x c u s e f o r

w r i t i n g i n c o m p r e h e n s i b l e p a p e r s . I j u d g e y o u r d e e d s , n o t y o u .

R e g u l a t i n g c o m m u n i c a t i o n i s n o t t h e o n l y p u r p o s e o f f o r m a l i s m , a n d c e r -

t a i n l y n o t t h e p r e d o m i n a n t o n e . T h e p r e d o m i n a n t o n e i s s u r e l y : c u t o u t t h e

c r a p .

4

P a u l T a y l o r ' s r e c e n t b o o k o n m a t h e m a t i c a l f o u n d a t i o n s T a y 9 9 ] h a s 3 3 r e f e r e n c e s t o i t i n

i t s i n d e x .

5

F o r e x a m p l e , P e r M a r t i n - L o f ' s r s t f o r m u l a t i o n o f t y p e t h e o r y M L 7 1 ] w a s a n i n c o n s i s t e n t

l o g i c . S t i l l , m o s t p r o o f s p e o p l e w e r e l i k e l y t o p r o d u c e i n t h a t t h e o r y w o u l d h a p p i l y t r a v e l t o

c o n s i s t e n t t h e o r i e s .

5


6/15

M a t h e m a t i c i a n s o f t e n s h a r e m o r e o f t h e i r i n t u i t i o n t h a n t h e i r u s e o f f o r m a l

l o g i c w o u l d s u g g e s t . I n a w a y , f o r m a l i t y e n s u r e s t h a t y o u d o n o t s t a r t t a l k i n g

b e f o r e y o u k n o w w h a t y o u a r e g o i n g t o s a y . I t i s a l s o a n e x c l u s i v e m e a s u r e

6

t o p r e v e n t p e o p l e f r o m j o i n i n g t h e d i s c u s s i o n b e f o r e t h e y h a v e m a s t e r e d t h e

l a n g u a g e o f t h e d i s c i p l i n e ( a n d h e n c e t h e d i s c i p l i n e i t s e l f ) . I n p a r t i c u l a r , M a t h -

e m a t i c s d o e s a t t r a c t c r a c k p o t s a n d o n e w a y t o k e e p t h e m i n c h e c k i s t o l e t t h e m

p r o v e t h e i r c l a i m s .

4 I n f o r m a l M a t h e m a t i c s

V e r y l i t t l e m a t h e m a t i c a l p r a c t i c e i s c o m p l e t e l y f o r m a l . P r o o f s h a v e g a p s , a p -

p e a l s t o p l a u s i b i l i t y , c l a i m s o f t r i v i a l i t y , h i d d e n a s s u m p t i o n s , p a p e r s m a k e v a g u e

a s s u m p t i o n s a b o u t \ f a m i l i a r i t y w i t h t h e s u b j e c t " , s o m e p r o o f s a r e \ l e f t a s a n

e x e r c i s e t o t h e r e a d e r " , e t c . E v e n m o r e i m p o r t a n t l y , p r o o f s a r e n o t t h e o n l y

t h i n g m a t h e m a t i c a l p r a c t i c e c o n s i s t s o f . W e e x p l o r e , w e e x p l a i n , w e m o t i v a t e .

W e u s e o u r i n t u i t i o n , o u r e x p e r i e n c e , p h y s i c a l m o d e l s , m a t h e m a t i c a l m o d e l s ,

e t c . | w e u s e w h a t e v e r w e f e e l i s a p p r o p r i a t e .

T h e r e a r e t w o i s s u e s h e r e : r s t , p r o o f s w h i c h a r e r i g o r o u s b u t n o t c o m p l e t e l y

f o r m a l . S u c i e n t r i g o u r i s a m a t t e r o f j u d g e m e n t , s t y l e , a n d p e e r p r e s s u r e . W e

n e e d t o b e c o n v i n c i n g , b u t w e a l s o n e e d t o b e b r i e f i f w e w a n t t o b e l i s t e n e d t o

a n d w e w a n t t o b e b r i e f t o a v o i d g e t t i n g b o g g e d d o w n i n s t u p e n d o u s b u t u n e x -

c i t i n g d e t a i l s . P e e r p r e s s u r e d e c i d e s w i t h h o w l a r g e o m i s s i o n s w e g e t a w a y w i t h

a n d e v e n h o w l a r g e o m i s s i o n s a r e d e m a n d e d f r o m u s . T h e p e e r p r e s s u r e v a r i e s

s i g n i c a n t l y , d e p e n d i n g o n t h e i n d i v i d u a l s i n v o l v e d , o n t h e p r o b l e m c o n c e r n e d ,

a n d e v e n o n t h e s u b d i s c i p l i n e i n w h i c h a l l o f t h i s t a k e s p l a c e . E a c h s u b d i s c i -

p l i n e o f m a t h e m a t i c s

7

c r e a t e s i t s o w n l i t t l e s u b c u l t u r e w i t h i t s o w n c o n v e n t i o n s

o f w h a t i t c a l l s s u c i e n t r i g o u r . T h e s e c o n v e n t i o n s a r e i n u x , t h e y c h a n g e

o v e r t i m e . T h e o c c u r r e n c e o f a n t i n o m i e s ( c a l l t h e m \ p u b l i s h e d f a l s e h o o d s " i f

y o u l i k e ) p u s h t h e d i s c i p l i n e t o w a r d s i n c r e a s e o f r i g o u r , t h e i r c o n t i n u i n g a b s e n c e

m a k e i t s l o w l y d r i f t a w a y f r o m i t . T h e c o n v e n t i o n s c a n b e v e r y c o n t r o v e r s i a l |

a s a r e f e r e e I o f t e n f o u g h t b a t t l e s f o r m o r e r i g o u r , a n d t h e e d i t o r s a n d p r o g r a m m e

c o m m i t t e e s d i d n o t a l w a y s t a k e m y s i d e . P e o p l e g e t r e a l l y ( a n d u n d e r s t a n d a b l y )

u p s e t i f y o u q u e s t i o n s o m e t h i n g t h a t i s b l a t a n t l y o b v i o u s i n t h e b e l i e f s y s t e m

o f t h e i r m i n d ; t h e y t h i n k y o u a r e j u s t s t u p i d o r t r y i n g t o b e a n u i s a n c e w h e n

y o u p e s t e r t h e m w i t h t h e d e m a n d o f b a c k i n g u p t h e i r c l a i m s w i t h a b u n c h o f

l e m m a s . T h e y f a i l t o a c c e p t t h a t o t h e r s m a y n o t s h a r e t h e i r b e l i e f s .

T h e s e c o n d i s s u e i s w i d e r m a t h e m a t i c a l p r a c t i c e , e . g . t e a c h i n g m a t h e m a t i c s ,

e x p l o r i n g i t o n t h e b l a c k b o a r d , c h a t t i n g a b o u t i t w i t h a c o l l e g e o v e r a c u p o f t e a ,

u s i n g p h y s i c a l d e v i c e s a s s o u r c e s o f i n s p i r a t i o n , m o t i v a t i n g d e n i t i o n s , e x p l a i n -

i n g w h y a t h e o r e m i s i n t e r e s t i n g , e t c . H o w d o e s t h i s l i s t t i n t o t h e f o r m a l i s t

6

M a t h e m a t i c i a n s h a v e b e e n a w a r e f o r c e n t u r i e s t h a t t h e i r l a n g u a g e h a s t h e p o w e r t o e x c l u d e

a n d i n t i m i d a t e . I m a y j u s t r e m i n d t h e r e a d e r o f E u l e r ' s i n f a m o u s \ p r o o f " o f t h e e x i s t e n c e o f

g o d .

7

A t l e a s t w i t h i n T h e o r e t i c a l C o m p u t e r S c i e n c e t h e s e c o n v e n t i o n s v a r y s t r o n g l y w i t h t h e

s u b d i s c i p l i n e s .

6


7/15

w o r l d ? I t d o e s n o t ! I t i s o u t s i d e . H o w e v e r , i t d o e s t i n t o t h e f o r m a l i s t ' s w o r l d ,

i . e . t h e w o r l d o f a h u m a n b e i n g . F o r m a l i t y i s t h e r e t o r e l i a b l y u n d e r p i n m a t h e -

m a t i c a l c o m m u n i c a t i o n b e t w e e n p e o p l e , b u t t h e f o r m a l i s m i s t h e m e d i u m , n o t

t h e m e s s a g e . I f w e c o m m u n i c a t e w i t h p e o p l e t h a t s h a r e o u r b e l i e f s y s t e m , w e

c a n s i m p l i f y t h e c o m m u n i c a t i o n . T h i s i s w h a t h a p p e n s w h e n w e l e a v e g a p s i n

p r o o f s , o r c l a i m t h i n g s t o b e t r i v i a l ( s o m e t i m e s : s t u p e n d o u s l y c o m p l i c a t e d , b u t

s t i l l m o r a l l y t r i v i a l ) . W e m a k e a n a s s u m p t i o n t h a t o u r c o m m u n i c a t i o n p a r t n e r

t a k e s t h e s a m e t h i n g s f o r g r a n t e d a s w e d o a n d c a r r y o n w i t h t h e ( f r o m o u r

p o i n t o f v i e w ) i m p o r t a n t b i t .

L e a v i n g g a p s i s e r r o r - p r o n e , o f c o u r s e , a n d o u r i n t u i t i o n c a n m i s l e a d u s .

I t h a p p e n e d t o m e o n c e t h a t I s u b m i t t e d a p a p e r t o a c o n f e r e n c e w i t h a n

u n p r o v e n l e m m a ( t h e c u r s e o f d e a d l i n e s ) , o n l y t o d i s c o v e r a f e w w e e k s l a t e r

t h a t t h e l e m m a w a s a c t u a l l y f a l s e . O f c o u r s e , I w i t h d r e w t h e s u b m i s s i o n . A

r e v i s e d v e r s i o n o f t h e p a p e r K a h 9 5 ] r e p l a c e d t h e l e m m a w i t h a n o p e n p r o b l e m

i n p r o g r a m s e m a n t i c s . N o t o n l y w a s m y o r i g i n a l i n t u i t i o n w r o n g c o n c e r n i n g t h e

c o r r e c t n e s s o f s o m e l e m m a , I m a d e a s i m i l a r l y s e v e r e m i s j u d g e m e n t c o n c e r n i n g

t h e c o m p l e x i t y o f t h e g a p i n m y o r i g i n a l p r o o f s k e t c h | i t t o o k a f e w y e a r s u n t i l

L o a d e r a n d S c h m i d t - S c h a u s o l v e d t h e m e n t i o n e d r e l a t e d o p e n p r o b l e m S S 9 9 ] ,

a n d t h e i r p r o o f s w e r e n o t p a r t i c u l a r l y s i m p l e .

E v e r y p r a c t i c i n g m a t h e m a t i c i a n k n o w s t h a t i n c i d e n t s l i k e t h a t a r e q u i t e

c o m m o n , a l t h o u g h t h e y a r e p o o r l y r e e c t e d i n t h e l i t e r a t u r e ; p a r t l y , b e c a u s e

t h e y a r e e m b a r r a s s i n g f o r s o m e o f t h e i n d i v i d u a l s i n v o l v e d , p a r t l y , b e c a u s e t h e y

u n d e r m i n e t h e b e l i e f i n t h e c e r t a i n t y o f m a t h e m a t i c s , m o s t l y t h o u g h , b e c a u s e

m a t h e m a t i c i a n s h a v e b e e n t r a i n e d o n l y t o p u b l i s h t h e o r e m s . A r a r e b u t p r o m i -

n e n t e x c e p t i o n w a s t h e B B C d o c u m e n t a t i o n o n A n d r e w W i l e s ' p r o o f o f F L T ,

a l s o r e p o r t e d i n S i n 9 7 ] . W i l e s ' r s t w r i t t e n v e r s i o n o f t h e p r o o f ( a f t e r h e w e n t

p u b l i c ) w a s a w e d , a n d i t t o o k a t r e m e n d o u s e o r t t o b r i d g e t h e r e s u l t i n g g a p i n

t h e p r o o f i n a d i e r e n t w a y . T h e a w w a s i n t h e i n f o r m a l p a r t o f t h e p r o o f , a n d

a p p a r e n t l y i t w a s o n l y d i s c o v e r e d b e c a u s e t h e r e f e r e e o f t h e o e n d i n g s e c t i o n

( N i c k K a t z ) k e p t e n q u i r i n g a b o u t a n a r g u m e n t h e d i d n o t u n d e r s t a n d .

B e i n g e r r o r - p r o n e i s a n o b j e c t i v e p r o b l e m w i t h i n f o r m a l m a t h e m a t i c s , b u t

t h e r e i s a l s o a s u b j e c t i v e o n e . M o s t o f u s s h o u l d h a v e e x p e r i e n c e d a s i t u a t i o n

i n w h i c h a s e m i n a r o r c o n f e r e n c e a u d i e n c e , a r e f e r e e o r e d i t o r , p e r h a p s e v e n a

c o - a u t h o r t o o n e o f o u r o w n p a p e r s , d i d n o t g o w i t h o u r i n t u i t i o n . W e w e r e

d e t e r m i n e d t o l e a v e o u t a p a r t i c u l a r p o i n t , b e c a u s e i t i s s o u n i m p o r t a n t a n d s o

o b v i o u s a n y w a y . B u t t h e n t h e r e i s t h i s a n n o y i n g l i t t l e g i t t h e r e i n t h e a u d i e n c e

w h o k e e p s n a g g i n g a b o u t i t . I a m c e r t a i n l y g u i l t y o f p e r p r e t a t i o n s o f t h a t k i n d ,

b u t I a l s o h a v e b e e n o n t h e r e c e i v i n g e n d . \ T h e i d i o t s t i l l d o e s n o t u n d e r s t a n d ! "

w e t h i n k , a n d w e a r e h a l f - r i g h t : y e s , t h e y d o n o t u n d e r s t a n d , b u t w e m i g h t b e

t h e r e a l c u l p r i t , a s s u m i n g t h e p r e s e n c e o f o u r m e n t a l m o d e l i n a l l t h e l i s t e n e r s '

m i n d s .

7


8/15

5 F o r m a l p r o o f s

T h e r e i s a d i e r e n c e b e t w e e n f o r m a l p r o o f s a n d r i g o r o u s p r o o f s . B o t h s h o u l d g o

f a r e n o u g h t o e l i m i n a t e ( r e a s o n a b l e ) d o u b t , b u t t h e y h a v e a d i e r e n t a u d i e n c e

a n d a d i e r e n t p u r p o s e .

A r i g o r o u s p r o o f i s w r i t t e n f o r p e o p l e , t o b e r e a d a n d u n d e r s t o o d b y p e o p l e .

A p r o o f i s r i g o r o u s i f a c o m p e t e n t b u t u n i m a g i n a t i v e m a t h e m a t i c i a n c o u l d t u r n

i t i n t o a f o r m a l p r o o f . F o r e x a m p l e , v a n B e n t h e m J u t t i n g

8

d i d t h i s t w e n t y y e a r s

a g o J u t 7 9 ] w i t h t h e p r o o f s i n L a n d a u ' s G r u n d l a g e n d e r A n a l y s i s . T h a t t h i s w a s

p o s s i b l e q u a l i e s L a n d a u ' s p r o o f s a s r i g o r o u s .

B e i n g w r i t t e n f o r p e o p l e p u t c o n s t r a i n t s a b o u t t h e c o n t e x t a n d p r e s e n t a t i o n

o f a p r o o f . P e o p l e w a n t t o b e m o t i v a t e d , k e p t i n t e r e s t e d a n d a w a k e , t h e y w a n t t o

k n o w i n w h i c h d i r e c t i o n t h e p r o o f i s g o i n g . T h e s e n e e d s s h o u l d n o t c o m p r o m i s e

t h e p r o o f b u t t h e y m a y v e r y w e l l a e c t i t s p r e s e n t a t i o n . B e s i d e s t h e e x p l a n a t o r y

t e x t , w e h a v e o f t e n c h o i c e s h o w w e s t r u c t u r e a p r o o f . W e w a n t t o a v o i d a

m o u n t a i n o f l e m m a s , w e a l s o w a n t t o a v o i d p r o o f s t h a t a r e l o n g e r t h a n a s i n g l e

p a g e .

F o r m a l p r o o f s a r e d i e r e n t a n i m a l s . T h e r e a r e s i t u a t i o n s i n w h i c h a f o r m a l

p r o o f d o e s t a k e t h e r o l e o f a r i g o r o u s o n e a n d t h a t i s w h e n e i t h e r ( i ) t h e t h e o r e m

i n q u e s t i o n i s s o c o n t r o v e r s i a l t h a t o n l y a c o m p l e t e l y f o r m a l p r o o f w i l l s e t t l e t h e

a r g u m e n t , o r ( i i ) w h e n t h e a s s u m p t i o n s , l o g i c s , t h e o r i e s w h i c h a l l o w t o d e d u c e

t h e t h e o r e m a r e t h e m a i n s u b j e c t o f i n t e r e s t . T h e l a t t e r i s i m p o r t a n t w h e n w e

t r y t o n d a f o u n d a t i o n w h i c h u s e s a s f e w a s s u m p t i o n s a n d p r i n c i p l e s a s p o s s i b l e

a n d s t i l l a l l o w s u s t o d e r i v e t h e t h e o r e m s \ w e n e e d " ; i n o t h e r w o r d s , w e m a y

u s e f o r m a l p r o o f s a s a t o o l f o r m e t a m a t h e m a t i c s . T h e f o r m e r w o u l d b e u s e d

f o r \ i m p o r t a n t " t h e o r e m s o r o n e s w h e r e w e n e e d m a c h i n e a s s i s t a n c e t o c o p e

w i t h a l a r g e n u m b e r o f c a s e s

9

. F o r e x a m p l e , p r o v i n g g e n e r a l p r o p e r t i e s o f a l l

p r o g r a m s o f a p r o g r a m m i n g l a n g u a g e i s v e r y t e d i o u s a n d e r r o r - p r o n e . S o m e o f

t h e p r o p e r t i e s c l a i m e d a n d p r o v e d f o r S M L i n M T 9 1 ] t u r n e d o u t t o b e w r o n g

K a h 9 3 ] . T h e o r i g i n a l p r o o f s w e r e n o t i n f o r m a l , b u t t h e y w e r e n o t r i g o r o u s

e n o u g h t o d i s c o v e r t h e p r o b l e m a t i c c a s e s . P r o v i n g p r o p e r t i e s o f t h a t k i n d i s

o n l y r e a l i s t i c a n d c r e d i b l e u n d e r m a c h i n e a s s i s t a n c e .

W h a t m a c h i n e - c h e c k e d p r o o f s c a n o e r a r e t w o t h i n g s .

O n e a d v a n t a g e i s t h e c h e c k a g a i n s t s i l l y m i s t a k e s , m i s t a k e s a c a r e f u l h u -

m a n r e a d e r m i g h t d i s c o v e r b u t c a n e a s i l y m i s s . H e r e i s a n a n e c d o t e f r o m

m y p a s t : m o r e t h a n t e n y e a r s a g o I w a s r e a d i n g a n a r t i c l e b y t w o c o m -

p u t e r s c i e n t i s t s ( w h i c h I l e a v e u n n a m e d h e r e ) w h o h a d f o r m a l l y d e v e l o p e d

a r a t h e r s o p h i s t i c a t e d s o r t i n g a l g o r i t h m . T h i s d e v e l o p m e n t w a s f o r m a l ,

b u t b y h a n d . T h e o u t c o m e w a s a p r o g r a m i n a n i m a g i n a t o r y f u n c t i o n a l

p r o g r a m m i n g l a n g u a g e . I f o u n d i t r a t h e r i n t e r e s t i n g , s o I t r a n s l a t e d t h e

p r o g r a m i n t o a r e a l f u n c t i o n a l p r o g r a m m i n g l a n g u a g e , a n d t r i e d i t o u t . A s

8

I a m n o t s a y i n g h e i s u n i m a g i n a t i v e . B u t h e d i d n o t n e e d t o b e i m a g i n a t i v e f o r t h i s t a s k .

9

I d o n o t m e a n m a c h i n e - a s s i s t e d p r o o f s w h e r e t h e p r o g r a m s a y s : \ I t ' s t r u e . I t r i e d a l l t h e

c a s e s . " a s i t a p p a r e n t l y d i d i n t h e f a m o u s p r o o f o f t h e f o u r - c o l o u r t h e o r e m . T h e m a c h i n e h a s

t o g i v e u s t h e o p p o r t u n i t y t o c h e c k t h e p r o o f i n d e p e n d e n t l y , j u s t a s w e w o u l d d o w i t h a p r o o f

b y a h u m a n , i . e . t h e c o m p u t e r w o u l d g e n e r a t e ( p a r t s o f ) t h e p r o o f .

8


9/15

e x p e c t e d , i t w o r k e d . O r d i d i t ? A f t e r t r y i n g a f e w e x a m p l e s I r a n a c r o s s

i n p u t s w h i c h w e r e o n l y \ a l m o s t " c o r r e c t l y s o r t e d . E x h a u s t i v e s e a r c h t h e n

r e v e a l e d t h a t t h e p r o g r a m w o r k e d p e r f e c t l y f o r l i s t s u p t o l e n g t h 7 a n d

t h e n o n l y o c c a s i o n a l l y f a i l e d . I t s o r t e d 7 ; 6 ; 5 ; 4 ; 3 ; 2 ; 1 ] c o r r e c t l y , b u t s o r t -

i n g 1 ; 2 ; 3 ; 4 ; 5 ; 6 ; 7 ] r e s u l t e d i n 1 ; 2 ; 3 ; 4 ; 5 ; 7 ; 6 ] . M o r e s t r a n g e l y , i t w o r k e d

p e r f e c t l y f o r l e n g t h s 8 t o 1 0 , i n f a c t o n l y i f t h e l e n g t h o f t h e l i s t h a d s o m e

s t r a n g e n u m b e r - t h e o r e t i c p r o p e r t y ( r e l a t i n g t o F i b o n a c c i n u m b e r s ) c o u l d

t h e e r r o r o c c u r . I n v e s t i g a t i o n o f t h e p r o g r a m d e v e l o p m e n t r e v e a l e d t h e

t r o u b l e - m a k e r : a t s o m e p o i n t t h e a u t h o r s h a d r e p l a c e d a


10/15

6 C r i t i c i s m s a n d A c c u s a t i o n s

A m o n g s t t h e m a n y c r i t i c i s m s F o r m a l i s m h a s f a c e d o v e r t h e y e a r s s o m e c a r r y

p a r t i c u l a r w e i g h t . I a d d r e s s h e r e t h r e e o f t h o s e , h y p o c r i s y , l a c k o f h i s t o r y a n d

d o g m a t i s m .

F o r m a l i s t s a r e s o m e t i m e s a c c u s e d o f h y p o c r i s y , a n d t h i s c r i t i q u e c o m e s i n a l l

s h a d e s s o m e w h e r e b e t w e e n \ I d o n ' t b e l i e v e y o u t h a t y o u b e l i e v e t h a t " o n t h e

o n e e x t r e m e a n d \ b u t w h a t y o u w r o t e t h e r e i s n o t f o r m a l , i s i t ? " o n t h e o t h e r .

T h e r s t p o i n t i s e a s i l y i d e n t i e d a s a m i x t u r e o f i n t o l e r a n c e a n d l a c k o f

i m a g i n a t i o n | o u r b e l i e f s y s t e m i s a s o u r c e o f c o m f o r t a n d s a n i t y , a n d a n y b o d y

c h a l l e n g i n g i t b y s u g g e s t i n g a n a l t e r n a t i v e h a s t o f a c e o u r s c o r n , o u r r i d i c u l e ,

o u r p i t y , a n d | w o r s t o f a l l | o u r p a t r o n i s i n g i n s i s t e n c e t h a t t h e y d i d n o t m e a n

w h a t t h e y s a i d o r w r o t e i n t h e r s t p l a c e

1 2

. T h i s i s q u i t e s i m i l a r t o c e r t a i n f o r m s

o f p o l i t i c a l o r r e l i g i o u s i n t o l e r a n c e . A f a m o u s r e c e n t e x a m p l e i s t h e r e a c t i o n

t h e E n g l a n d f o o t b a l l m a n a g e r G l e n n H o d d l e r e c e i v e d i n e a r l y 1 9 9 9 w h e n h e

e x p r e s s e d a n o p i n i o n ( c o n c e r n i n g d i s a b i l i t i e s ) t h a t w a s b a s e d o n t h e i d e a o f

r e - i n c a r n a t i o n . H i s o p i n i o n c o u l d b e v i e w e d a s o e n s i v e , b u t i t w a s e n t i r e l y

c o n s i s t e n t w i t h h i s e x p r e s s e d b e l i e f . T h e p u b l i c r e a c t i o n w h i c h u l t i m a t e l y l e d

t o h i s d i s m i s s a l , s h o w e d t h a t p e o p l e ( i n c l u d i n g B r i t a i n ' s m i n i s t e r f o r s p o r t , T o n y

B a n k s ) f o u n d i t i m p o s s i b l e t o a c c e p t t h a t H o d d l e c o u l d h o l d s u c h a b e l i e f . T h e

r e a d e r m a y t h i n k t h a t b r i n g i n g u p r e l i g i o n i n t h i s c o n t e x t i s c o m p l e t e l y o u t o f

o r d e r , b u t i f w e g o r i g h t b a c k t o t h e f o u n d a t i o n s o f m a t h e m a t i c s w e a r e f o r c e d

t o t a k e a s t a n d , a n d t h i s s t a n d i s b a s e d o n b e l i e f s o n l y . Y o u m a y c h a l l e n g e t h a t ,

b u t t h i s w o u l d o n l y s e r v e t o u n c o v e r p a r t s o f y o u r b e l i e f s y s t e m a s P l a t o n i s t .

D o f o r m a l i s t s p r a c t i c e F o r m a l i s m ? D o t h e y a r r i v e a t t h e i r r e s u l t s i n a f o r -

m a l w a y , d o t h e y w r i t e c o m p l e t e l y f o r m a l b o o k s a n d p a p e r s ? T h e s e q u e s t i o n s

a r e r e l a t e d t o t h e r e l i g i o u s q u e s t i o n D o a t h e i s t s p r a c t i c e A t h e i s m ? T h e s h o r t

a n s w e r i n b o t h c a s e s i s t h a t t h e r e i s n o t r e a l l y a n y t h i n g t o p r a c t i c e , b o t h p h i l o -

s o p h i c a l p o s i t i o n s h a v e a n i h i l i s t a v o u r w i t h n o t r u e c a u s e t o g h t f o r . F o r

e x a m p l e , s w e a r i n g o n t h e b i b l e i s u n p r o b l e m a t i c f o r a ( c y n i c a l ) a t h e i s t | i t

i s ( f r o m t h e a t h e i s t ' s p o i n t o f v i e w ) m e a n i n g l e s s

1 3

, a n d t h e r e f o r e l i k e s w e a r i n g

o n a c o p y o f G r i m m ' s f a i r y t a l e s . S o a n a t h e i s t m a y v e r y w e l l c o n f o r m t o t h e

r i t u a l s o f a r e l i g i o n i f p u t u n d e r s u c i e n t s o c i a l p r e s s u r e t o d o s o . S i m i l a r l y , a

f o r m a l i s t m a y r e a c t t o t h e m a t h e m a t i c a l c o m m u n i t y r e q u i r i n g i n f o r m a l p r e s e n -

t a t i o n s a n d f a i l i n g t o v a l u e t h e e o r t t h a t g o e s i n t o p r o d u c i n g f o r m a l p r o o f s b y

g i v i n g t h e m w h a t t h e y w a n t . I n a w a y , F o r m a l i s m h a s a n u n f a i r a d v a n t a g e o v e r

o t h e r m a t h e m a t i c a l p h i l o s o p h i e s : h y p o c r i s y i s a l l o w e d !

A v e r y t y p i c a l c r i t i c i s m o f F o r m a l i s m w a s g i v e n b y L a k a t o s i n t h e i n t r o d u c -

t i o n o f L a k 7 6 ] :

F o r m a l i s m d i s c o n n e c t s t h e h i s t o r y o f m a t h e m a t i c s f r o m t h e p h i l o s -

o p h y o f m a t h e m a t i c s , s i n c e , a c c o r d i n g t o t h e f o r m a l i s t c o n c e p t o f

m a t h e m a t i c s , t h e r e i s n o h i s t o r y o f m a t h e m a t i c s p r o p e r .

1 2

A t y p i c a l e x a m p l e f r o m L a k 7 6 , p a g e 1 3 8 ] h a s t h e e d i t o r s ' c l a i m : \ T h i s p a s s a g e s e e m s t o

u s m i s t a k e n a n d w e h a v e n o d o u b t t h a t L a k a t o s . . . ] w o u l d h i m s e l f h a v e c h a n g e d i t . "

1 3

O n e c o u l d o b j e c t t o t h i s i d e a ( t h e n o n - e x i s t e n c e o f n i h i l i s t h y p o c r i s y ) o n t h e g r o u n d s t h a t

t h i s l a c k o f m e a n i n g m a y b e a b s o l u t e , b u t t h e m e a n i n g i s s t i l l p r e s e n t a s a s o c i a l p h e n o m e n o n .

1 0


11/15

A n o d d l y w o r d e d a c c u s a t i o n | i f t h e r e i s n o p r o p e r h i s t o r y o f m a t h e m a t i c s h o w

w e c o u l d w e p o s s i b l y d i s c o n n e c t f r o m i t ? P e r h a p s t h i s a r g u m e n t s i n d i c a t e s t h a t

L a k a t o s v i e w s f o r m a l i s t s a s s o u l s t h a t h a v e b e e n l o s t f o r e v e r .

I d o n o t t h i n k t h a t t h i s c r i t i c i s m i s f a i r . O r r a t h e r | i t i s a m i s u n d e r -

s t a n d i n g . M y p r e v i o u s a r g u m e n t s s h o w h o w a f o r m a l i s t c a n s e e t h e c o n n e c t i o n

b e t w e e n h i s t o r y a n d p h i l o s o p h y o f m a t h e m a t i c s , e v e n i f t h i s u n d e r s t a n d i n g o f

m a t h e m a t i c s g i v e s p h i l o s o p h y a d i e r e n t r o l e . T h i s m i s u n d e r s t a n d i n g b e c o m e s

m o r e o b v i o u s w h e n L a k a t o s q u o t e s a n d a t t a c k s R u s s e l l ' s r e m a r k t h a t B o o l e ' s

L a w s o f T h o u g h t ( 1 8 5 4 ) w a s ` t h e r s t b o o k e v e r w r i t t e n o n m a t h e m a t i c s ' .

W h a t t h i s i s a l l a b o u t i s t h e t e n s i o n b e t w e e n m a t h e m a t i c a l p r a c t i c e a n d

m a t h e m a t i c a l h e r i t a g e . P r a c t i c i n g m a t h e m a t i c s h a p p e n s t o d a y , i t f o l l o w s s t a n -

d a r d s t h a t h a v e b e e n s e t a s c o n s e q u e n c e s o f h i s t o r i c a l a c h i e v e m e n t s a n d h i s -

t o r i c a l f a i l u r e s . W h e n w e a p p l y t o d a y ' s s t a n d a r d s t o t h e m a t h e m a t i c s o f p a s t

c e n t u r i e s t h e n m u c h o f i t w i l l f a i l t h e t e s t , i n c l u d i n g s o m e o f t h e h i s t o r i c a l l y

m o s t i m p o r t a n t p u b l i c a t i o n s . T h i s i s w h a t R u s s e l l ' s r e m a r k i s a l l a b o u t . W r i t -

i n g t o d a y a 1 7 t h c e n t u r y s t y l e m a t h e m a t i c a l p a p e r i s u n a c c e p t a b l e , a n d t h a t

n o t o n l y b e c a u s e s o f e w m a t h e m a t i c i a n s c a n r e a d L a t i n t h e s e d a y s . T o g i v e a n

a n a l o g y , G e o r g e s M e l i e s ' L e v o y a g e d a n s l a l u n e w a s a h i s t o r i c a l l y i m p o r t a n t

a n d h i g h l y i n u e n t i a l l m , b u t i t i s n o t u p t o t h e s t a n d a r d s o f m o d e r n c i n e m a .

I f y o u m a d e t h e s a m e l m t o d a y y o u w o u l d m a k e a b a d m o v i e . M a t h e m a t i c s i s

n o t a n y d i e r e n t , i t i s n o t e x e m p t f r o m a g e i n g . O f c o u r s e , t h i s a l s o a p p l i e s t o

p r e s e n t d a y s m a t h e m a t i c s . P e r h a p s i t i s t h i s t h o u g h t t h a t i s s o u n b e a r a b l e f o r

P l a t o n i s t s : i f t h e r e i s a n i d e a l m a t h e m a t i c s a n d w h a t w e a r e d o i n g i s n o t i d e a l ,

t h e n w h a t o n E a r t h a r e w e d o i n g ?

W e h a d m a t h e m a t i c a l i n s i g h t s b e f o r e , p r o o f i d e a s , p r o o f b y e x a m p l e , c l a i m s

a b o u t v a g u e l y d e n e d e n t i t i e s , l o n g b e f o r e f o r m a l i s m e n t e r e d t h e s c e n e . W e s t i l l

h a v e t h e m a n d t h e y s t i l l g u i d e u s , i n s p i r e u s , c o n v i n c e u s . B u t t h e y a r e n o l o n g e r

a c c e p t a b l e a s p r o o f s u b s t i t u t e s . T h i s i s , i r o n i c a l l y , a c o n c l u s i o n d r a w n f r o m t h e

h i s t o r y ( s i c ! ) o f m a t h e m a t i c s . P a r t i c u l a r l y , t h e a r r i v a l o f n o n - E u c l i d e a n g e o m e -

t r i e s p u t t h e e a r l i e r i n f o r m a l \ p r o o f s " t h a t t h e p a r a l l e l p o s t u l a t e w o u l d f o l l o w

f r o m t h e o t h e r a x i o m s i n a r a t h e r s h a d y l i g h t . S o m e o f t h e s e p r o o f s ( S a c c h e r i ' s ,

f o r e x a m p l e ) w e r e p e r f e c t l y c o r r e c t i n f o r m a l a r g u m e n t s , a l a s b a s e d o n a p a r -

t i c u l a r i n t e r p r e t a t i o n o f E u c l i d ' s p r i m i t i v e s . T h i s i s o n e o f t h e f u n d a m e n t a l

p r o b l e m s w i t h i n f o r m a l p r o o f s , i . e . i t i s d i c u l t t o t e l l h o w s t r o n g l y t h e p u b -

l i s h e d c o n c l u s i o n d e p e n d s o n t h e a u t h o r s o w n p e r s o n a l m a t h e m a t i c a l u n i v e r s e .

L a k a t o s a l s o t a l k s a b o u t t h e h i s t o r i c a l s t r u g g l e b e t w e e n d o g m a t i s m a n d s c e p -

t i c i s m i n s c i e n c e , a n d c l a i m s t h a t F o r m a l i s m i s t h e l a t e s t d o g m a t i s t p h i l o s o p h y

o f m a t h e m a t i c s . T h i s i s a n o t h e r m i s u n d e r s t a n d i n g . F o r m a l i s m i s m o s t a n d

f o r e m o s t a s c e p t i c a l p h i l o s o p h y . I t w a s b o r n o u t o f m i s t r u s t , l a c k o f f a i t h i n t h e

c a p a b i l i t i e s o f h u m a n b e i n g s . I t s e s s e n c e i s t h e r e s t r i c t i o n t o f o r m a l m e t h o d s

o f p r o o f , n o t t h e i n c l u s i o n o f a n y t h i n g t h a t w a s n o t t h e r e b e f o r e a l r e a d y . I t

i s t r u e : i t s e a r l y p r o t a g o n i s t s , e s p e c i a l l y H i l b e r t , w e r e f o r e m o s t d o g m a t i s t s |

H i l b e r t ' s w i r m u s s e n w i s s e n , w i r w e r d e n w i s s e n ( w e m u s t k n o w , w e w i l l k n o w )

i s d o g m a t i s t t o t h e e x t r e m e . B u t e v e n i n t h e e a r l y d a y s i t w a s c l e a r t h a t F o r -

m a l i s m w o u l d p u t a c o n s t r a i n t o n a n y d o g m a y o u c o u l d d e r i v e f r o m i t : h o w c a n

y o u f o r m a l i s e m a t h e m a t i c s i f y o u d o n o t h a v e f o r m a l i s e d m a t h e m a t i c s a l r e a d y

1 1


12/15

a t y o u r d i s p o s a l t o d o t h a t ? H i l b e r t ' s p r o g r a m m e w a s a n a t t e m p t t o o v e r c o m e

t h i s f u n d a m e n t a l c o n s t r a i n t , a n a t t e m p t t h a t w a s b o u n d t o f a i l .

T h e i m p a c t o f G o d e l ' s i n c o m p l e t e n e s s t h e o r e m G o d 3 1 ] c a n n o t b e o v e r e s -

t i m a t e d i n t h i s c o n t e x t . I t n o t o n l y m a d e H i l b e r t ' s p r o g r a m m e f a i l ( t h a t w a s

j u s t a s i d e i s s u e ) , i t s h o w e d t h a t f o r m a l m a t h e m a t i c s w o u l d n e c e s s a r i l y r e n d e r

a l a r g e p r o p o r t i o n o f i t s s e n t e n c e s a m b i g u o u s i f n o t m e a n i n g l e s s , a n d i t a l s o

b o o s t e d t h e c a s e f o r c o n s t r u c t i v i s m Q u i 7 0 , p a g e 8 7 ] . A f t e r G o d e l , f o r m a l i s t

d o g m a t i s m w a s s e v e r e l y u n d e r m i n e d . I t h a s b e e n a r g u e d t h a t G o d e l ' s t h e o r e m

u n s e a t e d f o r m a l i s m , b u t i t o n l y s h a t t e r e d f o r m a l i s t P l a t o n i s m : f u l l f o r m a l i t y

n o w n o t o n l y e m b r a c e s p r o o f s a n d r e f u t a t i o n s , b u t a l s o a l a r g e g r e y a r e a , a

P l a t o n i s t ' s a n a t h e m a . I n f a c t , P l a t o n i s m i n g e n e r a l t o o k a m a j o r b l o w | G o d e l

s h o w e d t h a t c e r t a i n p a r a d o x a w e r e f o r m a l i s a b l e , b u t t h a t d o e s n o t m e a n t h a t

i n f o r m a l m a t h e m a t i c s i s s a f e f r o m t h e m , n a i v e s e t t h e o r y c e r t a i n l y w a s n o t .

7 C o n c l u s i o n

T o s u m u p m y m a j o r i d e a s o n t h e p h i l o s o p h y o f m a t h e m a t i c s :

M a t h e m a t i c a l t r u t h i s i n d i v i d u a l i s t i c ; t r u e i s w h a t i s t r u e i n o u r m i n d s ,

i n o u r o w n m a t h e m a t i c a l u n i v e r s e . I d o n o t o e r y o u a u n i v e r s a l t r u t h ,

a n d i f y o u a r e u n l u c k y , y o u r o w n l i t t l e u n i v e r s e i s f a k e a n d r i d d l e d w i t h

i n c o n s i s t e n c i e s .

F o r m a l i s m i s a t o o l f o r c o m m u n i c a t i o n . I n c r e a s e i n r i g o u r w i l l d e c r e a s e

t h e a m b i g u i t y o f w h a t w e s a y a n d w r i t e , b u t a c e r t a i n a m o u n t o f a m b i -

g u i t y w i l l a l w a y s b e l e f t . A p a r t i c u l a r f o r m a l i s m ( a p a r t i c u l a r l o g i c p l u s a

p a t i c u l a r c o l l e c t i o n o f a x i o m s ) i s j u s t i e d w i t h r e s p e c t t o o u r o w n b e l i e f s ;

i f i t c o n i c t s w i t h t h e m | t h e n w e s h o u l d g o p u b l i c a n d t r y t o g h t i t o .

I n f o r m a l m a t h e m a t i c s i s a t o o l f o r m a t h e m a t i c a l e x p l o r a t i o n . O u r i n t u -

i t i o n , e x p e r i e n c e , a n d c o n v i c t i o n s w i l l g u i d e u s t o n e w r e s u l t s . H o w e v e r ,

t o e s t a b l i s h a n e w r e s u l t w e w i l l h a v e t o c o m m u n i c a t e i t t o o t h e r p e o p l e ,

p e o p l e w i t h p o s s i b l y d i e r e n t i n t u i t i o n s , d i e r e n t e x p e r i e n c e s a n d d i e r e n t

c o n v i c t i o n s .

A n i n f o r m a l p r o o f i s u n a c c e p t a b l e i f i t r e l i e s o n t h a t p e r s o n s p e c u l i a r

c o n v i c t i o n s , o r w o r s e , i f i t i s u n c l e a r i f i t d o e s . A f o r m a l p r o o f c a n b e

u n a c c e p t a b l e f o r t h e v e r y s a m e r e a s o n , i . e . i t m a y e m p l o y a p i e c e o f l o g i c o r

m a t h e m a t i c s w h i c h w e n d q u e s t i o n a b l e , e . g . e x c l u d e d m i d d l e , t h e a x i o m

o f c h o i c e , o r w h a t e v e r w e a r e u n h a p p y w i t h . B u t a t l e a s t i t m a k e s i t

e x p l i c i t .

I h a v e a r e a s o n f o r e m p h a s i s i n g t h e i n d i v i d u a l i s t i c a s p e c t o f t r u t h . M y

o w n p e r s o n a l b e l i e f s h a v e o f t e n b e e n a t o d d s w i t h t h e b e l i e f s o f o t h e r s . T h i s

s u r f a c e s i n s q u a b b l e s a b o u t t h e a d e q u a c y o r c o r r e c t n e s s o f c e r t a i n p r o o f s o r t h e

m o t i v a t i o n b e h i n d c e r t a i n m a t h e m a t i c a l c o n s t r u c t i o n s . S o m e o f t h e s e w e c a n

r e s o l v e b y i n c r e a s i n g r i g o u r , o t h e r s w e c a n n o t . I n a n y c a s e w e s h o u l d b e a w a r e

1 2


13/15

t h a t o u r b e l i e f s m a y n o t b e s h a r e d , e s p e c i a l l y t h o s e w e c a n n o t e x p r e s s i n a w a y

t h a t i s o p e n t o s c r u t i n i t y .

A l t h o u g h m y i d e a o v e r a l l m a y s e e m c l o s e t o H e r s h ' s \ h u m a n i s t m a t h e m a t -

i c s " , b e c a u s e w e b o t h s t r e s s t h e i m p o r t a n c e h u m a n b e i n g s p l a y i n m a t h e m a t i c s

a s a p r o c e s s , t h e r e a r e i m p o r t a n t d i e r e n c e s . H e r s h s a n c t i o n s m a t h e m a t i c a l

p r a c t i c e | \ I ' m d e f e n d i n g o u r r i g h t t o d o m a t h e m a t i c s a s w e d o " i s a v e r y

t e l l i n g q u o t e f r o m t h e p r e f a c e o f h i s b o o k H e r 9 7 ] , a n d s a n c t i o n i n g e x i s t i n g

p r a c t i c e s e e m s t o b e o n e o f h i s m a i n m o t i v a t i o n s . I f e e l n o i n c l i n a t i o n s o f s u c h

s o r t s . H o w e v e r , I a m r e m i n d i n g m a t h e m a t i c i a n s t h a t t h e i r c o n v i c t i o n s a r e t h e i r

o w n ( a n d p e r h a p s t h e i r v e r y o w n ) a n d t h a t i t i s s t i l l p o s s i b l e a n d w o r t h w h i l e t o

c o m m u n i c a t e m a t h e m a t i c s w i t h p e o p l e o f d i e r e n t b e l i e f s .

R e f e r e n c e s

B a l 9 8 ] M a r k B a l a g u e r . P l a t o n i s m a n d A n t i - P l a t o n i s m i n M a t h e m a t i c s . O x -

f o r d U n i v e r s i t y P r e s s , 1 9 9 8 .

C h a 9 8 ] G r e g o r y J . C h a i t i n . T h e L i m i t s o f M a t h e m a t i c s , a C o u r s e o n I n f o r -

m a t i o n T h e o r y a n d t h e L i m i t s o f F o r m a l R e a s o n i n g . S p r i n g e r , 1 9 9 8 .

C o h 6 3 ] P a u l J . C o h e n . 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 s i s . P r o c .

N a t . A c a d . S c i . U S A , 5 0 : 1 1 4 3 { 1 1 4 8 , 1 9 6 3 .

C R 4 8 ] R . C o u r a n t a n d H . R o b b i n s . W h a t i s M a t h e m a t i c s ? O x f o r d U n i v e r -

s i t y P r e s s , 1 9 4 8 .

D e h 9 7 ] S t a n i s l a s D e h a e n e . T h e N u m b e r S e n s e . O x f o r d U n i v e r s i t y P r e s s , 1 9 9 7 .

D L P 7 9 ] R . D e M i l l o , R . L i p t o n , a n d A . P e r l i s . S o c i a l p r o c e s s e s a n d p r o o f s o f

t h e o r e m s a n d p r o g r a m s . C o m m u n i c a t i o n s o f t h e A C M , 2 2 : 2 7 1 { 2 8 0 ,

1 9 7 9 .

F i e 9 8 ] H a r t r y F i e l d . W h i c h u n d e c i d a b l e m a t h e m a t i c a l s e n t e n c e s h a v e d e t e r -

m i n a t e t r u t h v a l u e s . I n G a r t h D a l e s a n d G i a n l u i g i O l i v e r i , e d i t o r s ,

T r u t h i n M a t h e m a t i c s . O x f o r d U n i v e r s i t y P r e s s , 1 9 9 8 .

G o d 3 1 ] K u r t G o d e l .

U b e r f o r m a l u n e n t s c h e i d b a r e S a t z e d e r P r i n c i p i a M a t h -

e m a t i c a u n d v e r w a n d t e r S y s t e m e . M o n a t s h e f t e f u r M a t h e m a t i k u n d

P h y s i k , 3 8 : 1 7 3 { 1 9 8 , 1 9 3 1 .

G o d 3 8 ] K u r t G o d e l . T h e c o n s i s t e n c y 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 s e d c o n t i n u u m - h y p o t h e s i s . P r o c . N a t l . A c a d . S c i . U S A , 2 4 : 5 5 6 { 5 5 7 ,

1 9 3 8 .

H e r 9 7 ] R e u b e n H e r s h . W h a t i s M a t h e m a t i c s , R e a l l y ? J o n a t h a n C a p e , 1 9 9 7 .

H o f 7 9 ] D o u g l a s R . H o f s t a d t e r . G o d e l , E s c h e r , B a c h : A n E t e r n a l G o l d e n

B r a i d . H a r v e s t e r P r e s s , 1 9 7 9 .

1 3


14/15

J u t 7 9 ] L . S . v a n B e n t h e m J u t t i n g . C h e c k i n g L a n d a u ' s G r u n d l a g e n i n t h e

A u t o m a t h s y s t e m . T e c h n i c a l r e p o r t , C e n t r u m v o o r W i s k u n d e e n I n -

f o r m a t i c a , 1 9 7 9 .

K a h 9 3 ] S t e f a n K a h r s . M i s t a k e s a n d a m b i g u i t i e s i n t h e d e n i t i o n o f S t a n d a r d

M L . T e c h n i c a l R e p o r t E C S - L F C S - 9 3 - 2 5 7 , U n i v e r s i t y o f E d i n b u r g h ,

1 9 9 3 . A n u p d a t e l i s t i n g f u r t h e r e r r o r s i s a v a i l a b l e a t

f t p : / / f t p . d c s . e d . a c . u k / p u b / s m k / S M L / e r r o r s - n e w . p s . Z .

K a h 9 5 ] S t e f a n K a h r s . T h e v a r i a b l e c o n t a i n m e n t p r o b l e m . I n H i g h e r - O r d e r

A l g e b r a , L o g i c a n d T e r m R e w r i t i n g , S e c o n d I n t e r n a t i o n a l W o r k s h o p ,

S e l e c t e d P a p e r s , p a g e s 1 0 9 { 1 2 3 , 1 9 9 5 . L N C S 1 0 7 4 .

K l e 4 3 ] S t e p h e n C o l e K l e e n e . R e c u r s i v e p r e d i c a t e s a n d q u a n t i e r s . T r a n s a c -

t i o n s o f t h e A m e r i c a n M a t h e m a t i c a l S o c i e t y , 5 3 : 4 1 { 7 3 , 1 9 4 3 .

L a k 7 6 ] I m r e L a k a t o s . P r o o f s a n d R e f u t a t i o n s . C a m b r i d g e U n i v e r s i t y P r e s s ,

1 9 7 6 .

M L 7 1 ] P e r M a r t i n - L o f . A t h e o r y o f t y p e s . T e c h n i c a l R e p o r t 7 1 { 3 , U n i v e r s i t y

o f S t o c k h o l m , 1 9 7 1 .

M T 9 1 ] R o b i n M i l n e r a n d M a d s T o f t e . C o m m e n t a r y o n S t a n d a r d M L . M I T

P r e s s , 1 9 9 1 .

M T H 9 0 ] R o b i n M i l n e r , M a d s T o f t e , a n d R o b e r t H a r p e r . T h e D e n i t i o n o f

S t a n d a r d M L . M I T P r e s s , 1 9 9 0 .

P o l 9 8 ] R o b e r t P o l l a c k . H o w t o b e l i e v e a m a c h i n e - c h e c k e d p r o o f . I n S a m b i n

a n d S m i t h , e d i t o r s , T w e n t y F i v e Y e a r s o f C o n s t r u c t i v e T y p e T h e o r y .

O x f o r d U n i v e r s i t y P r e s s , 1 9 9 8 .

P o p 5 9 ] K a r l R . P o p p e r . T h e L o g i c o f S c i e n t i c D i s c o v e r y . H u t c h i n s o n , 1 9 5 9 .

Q u i 7 0 ] W i l l a r d v a n O r m a n Q u i n e . P h i l o s o p h y o f L o g i c . H a r v a r d U n i v e r s i t y

P r e s s , 1 9 7 0 .

R N 5 2 ] C . R y l l - N a r d z e w s k i . T h e r o l e o f t h e a x i o m o f i n d u c t i o n i n e l e m e n t a r y

a r i t h m e t i c . F u n d a m e n t a M a t h e m a t i c a e , 3 9 : 2 3 8 { 2 6 3 , 1 9 5 2 .

R o b 6 6 ] A b r a h a m R o b i n s o n . N o n - S t a n d a r d A n a l y s i s . N o r t h - H o l l a n d , 1 9 6 6 .

S i n 9 7 ] S i m o n S i n g h . F e r m a t ' s L a s t T h e o r e m . F o u r t h E s t a t e , 1 9 9 7 .

S k o 3 4 ] T h o r a l f A . S k o l e m .

U b e r d i e N i c h t c h a r a k t e r i s i e r b a r k e i t d e r Z a h l e n -

r e i h e m i t t e l s e n d l i c h o d e r a b z a h l b a r u n e n d l i c h v i e l e r A u s s a g e n m i t

a u s s c h l i e s s l i c h Z a h l e n v a r i a b l e n . F u n d a m e n t a M a t h a m a t i c a e , 2 3 , 1 9 3 4 .

S S 9 9 ] M a n f r e d S c h m i d t - S c h a u . D e c i d a b i l i t y o f b e h a v i o u r a l e q u i v a l e n c e i n

u n a r y P C F . T h e o r e t i c a l C o m p u t e r S c i e n c e , 2 1 6 ( 1 { 2 ) : 3 6 3 { 3 7 3 , 1 9 9 9 .

1 4


15/15

T a y 9 9 ] P a u l T a y l o r . P r a c t i c a l F o u n d a t i o n s o f M a t h e m a t i c s . C a m b r i d g e U n i -

v e r s i t y P r e s s , 1 9 9 9 .

V a n 9 6 ] M y r a V a n I n w e g e n . T h e M a c h i n e - A s s i s t e d P r o o f o f P r o g r a m m i n g L a n -

g u a g e P r o p e r t i e s . P h D t h e s i s , U n i v e r s i t y o f P e n n s y l v a n i a , D e c e m b e r

1 9 9 6 .

1 5

Date post:	08-Apr-2018
Category:	Documents
Upload:	mon0id
View:	220 times
Download:	0 times

A Formalist's Perspective of Mathematics, Kahrs

Documents