Empirical CS/AI
Computer programs are formal objects
- so some use only theory that can be proved by theorems
- but theorems are hard
Treat computer programs as natural objects
- like quantum particles, chemicals, living objects
- perform empirical experiments
- We have a huge advantage over other sciences
- no need for supercolliders (expensive) or animal experiments (ethical problems)
- we should have complete command of experiments