Theory, not Theorems
Theory based science need not be all theorems
- otherwise science would be Mathematics
Compare Physics theory “QED”
- most accurate theory in the whole of science?
- based on a model of behaviour of particles
- predictions accurate to many decimal places (9?)
- success derived from accuracy of predictions
- not the depth or difficulty or beauty of theorems
- I.e. QED is an empirical theory
AI/CS has too many theorems and not enough theory
- compare advice on how to publish in JACM