 artificial intelligence: logic and |  Church-Turing Thesis |  computability and complexity |  computation: in physical systems |  computational complexity theory |  information |  information: semantic conceptions of |  intention |  mathematics, philosophy of |  recursive functions |  technology, philosophy of |  Turing machines 