Skip to main content
1 of 1
Post Made Community Wiki
algbr
  • 1
  • 1
  • 1

Rice's Theorem is interesting. It states that only trivial properties of programs are decidable.

http://mathworld.wolfram.com/RicesTheorem.html

algbr
  • 1
  • 1
  • 1