"On non-computable functions" - Tibor Rado.

Proof that the busy beaver function is not computable.

http://computation4cognitivescientists.weebly.com/uploads/6/...