Discussion

• THERE ARE PROBLEMS WE JUST CAN’T SOLVE!!!

• Software verification is impossible without restrictions

  • You can’t get around this, but you can reduce the pathological cases
  • Be careful-- these pathological cases won’t go away

• There are mathematical facts we can’t prove

• Any sufficiently complex system will have holes in it.

Previous slide

Next slide

Back to first slide

View graphic version