Busy beaver problem

Bringsjord, S., Kellett, O., Shilliday, A., Taylor, J., van Heuveln, B., Yang, Y., Baumes, J., Ross, K. (2006). A new Godelian argument for hypercomputing minds based on the busy beaver problem. Applied Mathematics and Computation, 176(2), 516-530. Available from http //citeseerx.ist.psu.edu/ viewdoc / download doi=10.1.1.91.5786 rep=repl type=pdf... 

---