The concept that some mathematical or logical problems cannot be solved by any algorithm or Turing machine.