Related problems

• Related questions

  • P =? NP
  • Does program X halt?

• Building secure software

• Theory is all well and good, but we have a problem and we need to solve it

  • current commercial kludges could be better

Previous slide

Next slide

Back to first slide

View graphic version