updated: 2022-01-23_12:32:31-05:00


Computability

  • Three important people related to this:
    • Kurt Godel
    • Alan Turing
    • Alonzo Church
  • ^^ Discovered that certain basic problems cannot be solved by computers
  • eg: Can a computer determine if a mathematical statement is true or false? No