Provide a theoretical exposition of the Church-Turing Thesis. Differentiate between the thesis as a statement about functions that can be computed by a human using a mechanical procedure and the formal definition of a Turing machine. Discuss the implications of the thesis for the possibility of artificial intelligence and the existence of non-computable functions.