şükela:  tümü | bugün
  • hesaplama kuramında, bir programın bir zaman sonra bitip/bitmeyeceğinin belirsizliğini ifade eden problem.

    elimizde bir programın bitip bitmeyeceğini söyleyen bir p programı olsun, bu p programı kendisinin bitip bitmeyeceğini söylememektedir.