A new Gödelian argument for hypercomputing minds based on the busy beaver problem

Applied Mathematics and Computation

Volumn 176, Issue 2, 2006, Pages 516-530

  Bringsjord, Selmer ^a   Kellett, Owen ^a   Shilliday, Andrew ^a   Taylor, Joshua ^a   van Heuveln, Bram ^a   Yang, Yingrui ^a   Baumes, Jeffrey ^a   Ross, Kyle ^a  

^a Rensselaer Polytechnic Institute   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; DATA PROCESSING; FUNCTION EVALUATION; PROBLEM SOLVING;

COMPUTATIONALISM; HUMAN MIND; HYPERCOMPUTATION;

HUMAN ENGINEERING;

EID: 33646347109     PISSN: 00963003     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.amc.2005.09.071     Document Type: Article

References (54)

1. K. Arkoudas, (n.d.), Athena. Available from: .
2. K. Arkoudas, M. Rinard, Deductive runtime certification, in: Proceedings of the 2004 Workshop on Runtime Verification, Barcelona, Spain, 2004, pp. 39-56.
3. Ashcraft M. Human Memory and Cognition (1994), HarperCollins, New York, NY
4. Baron R., and Kalsher M. Psychology. fifth ed. (2001), Allyn and Bacon, Boston, MA
5. Barr A. Artificial intelligence: cognition as computation. In: Machlup F. (Ed). The Study of Information: Interdisciplinary Messages (1983), Wiley-Interscience, New York, NY 237-262
6. Bergmann M., Moor J., and Nelson J. The Logic Book (1997), McGraw-Hill, New York, NY
7. Boolos G. Introductory note to: "Some basic theorems on the foundations of mathematics and their implications. Collected Works III (1995), Oxford University Press, Oxford, UK 290-304
8. Boolos G.S., and Jeffrey R.C. Computability and Logic (1989), Cambridge University Press, Cambridge, UK
9. Brady A. The determination of the value of rado's noncomputable function Σ(k) for four-state Turing machines. Mathematics of Computation 40 162 (1983) 647-665
10. Bringsjord S. What Robots Can and Can't Be (1992), Kluwer, Dordrecht, The Netherlands
11. Bringsjord S. Computation, among other things, is beneath us. Minds and Machines 4.4 (1994) 469-488
12. Bringsjord S. In computation, parallel is nothing, physical everything. Minds and Machines 11 (2001) 95-99
13. Bringsjord S., and Arkoudas K. The modal argument for hypercomputing minds. Theoretical Computer Science 317 (2004) 167-190
14. Bringsjord S., and Zenzen M. Toward a formal philosophy of hypercomputation. Minds and Machines 12 (2002) 241-258
15. Bringsjord S., and Zenzen M. Superminds: People Harness Hypercomputation, and More (2003), Kluwer Academic Publishers, Dordrecht, The Netherlands
16. Burgin M. How we know what technology can do. Communications of the ACM 44 11 (2001) 83-88
17. Chellas B.F. Modal Logic: An Introduction (1980), Cambridge University Press, Cambridge, UK
18. Cleland C. Is the Church-thesis true?. Minds and Machines 3 (1993) 283-312
19. Dietrich E. Computationalism. Social Epistemology 4 2 (1990) 135-154
20. Fetzer J. Mental algorithms: Are minds computational systems?. Pragmatics and Cognition 2.1 (1994) 1-29
21. Gödel K. Some basic theorems on the foundations of mathematics and their implications. Collected Works III (1951/1995), Oxford University Press, Oxford, UK 304-323
22. Gold M. Limiting recursion. Journal of Symbolic Logic 30 1 (1965) 28-47
23. Goldstein E.B. Cognitive Psychology: Connecting Mind, Research, and Everyday Experience (2005), Wadsworth, Belmont CA
24. Hamkins J.D., and Lewis A. Infinite time Turing machines. Journal of Symbolic Logic 65 2 (2000) 567-604
25. Harnad S. Other bodies, other minds: a machine incarnation of an old philosophical problem. Minds and Machines 1 1 (1991) 43-54
26. Haugeland J. Artificial Intelligence: The Very Idea (1985), MIT Press, Cambridge, MA
27. Hofstadter D. Waking up from the Boolean dream. Metamagical Themas: Questing for the Essence of Mind and Pattern (1985), Bantam, New York, NY 631-665
28. Hughes G., and Cresswell M. An Introduction to Modal Logic (1968), Methuen, London, UK
29. Johnson-Laird P. The Computer and the Mind (1988), Harvard University Press, Cambridge, MA
30. Kugel P. Thinking may be more than computing. Cognition 18 (1986) 128-149
31. Lin S., and Rado T. Computer studies of Turing machine problems. Journal of the Association for Computing Machinery 12 2 (1964) 196-212
32. Lucas J.R. Minds, machines, and Gödel. In: Anderson A.R. (Ed). Minds and Machines (1964), Prentice-Hall, Englewood Cliffs, NJ 43-59. Lucas' Paper is Available from:
33. Lucas J.R. Minds, machines, and Gödel: a retrospect. In: Millican P., and Clark A. (Eds). Machines and Thought: The Legacy of Alan Turing vol. I (1996), Oxford University Press, Oxford, UK 103-124
34. Machlin R., and Stout Q. The complex behavior of simple machines. Physica D 42 (1990) 85-98
35. Marxen H., and Buntrock J. Attacking the busy beaver 5. Bulletin of the European Association for Theoretical Computer Science 40 (1990) 247-251
36. Newell A. Physical symbol systems. Cognitive Science 4 (1980) 135-183
37. Penrose R. The Emperor's New Mind (1989), Oxford, Oxford, UK
38. Penrose R. Shadows of the Mind (1994), Oxford, Oxford, UK
39. In: Peters R.S. (Ed). Body, Man, and Citizen: Selections from Hobbes' Writing (1962), Collier, New York, NY
40. Putnam H. Trial and error predicates and a solution to a problem of mostowski. Journal of Symbolic Logic 30 1 (1965) 49-57
41. Rado T. On non-computable functions. Bell System Technical Journal 41 (1963) 877-884
42. Russell B. Our Knowledge of the External World as a Field for Scientific Method in Philosophy (1915), Open Court, Chicago, IL
43. Russell B. The limits of empiricism. Proceedings of the Aristotelian Society 36 (1936) 131-150
44. Searle J. Minds, brains and programs. Behavioral and Brain Sciences 3 (1980) 417-424. Available from:
45. Shapiro S. Mechanism, truth, and Penrose's new argument. Journal of Philosophical Logic 32 1 (2003) 19-42
46. Siegelmann H., and Sontag E. Analog computation via neural nets. Theoretical Computer Science 131 (1994) 331-360
47. Simon H. Cognitive science: the newest science of the artificial. Cognitive Science 4 (1980) 33-56
48. Simon H. Study of human intelligence by creating artificial intelligence. American Scientist 69 3 (1981) 300-309
49. M. Stannett, The case for hypercomputation, Applied Mathematics and Computation in press, doi:10.1016/j.amc.2005.09.067.
50. Stillings N., Weisler S., Chase C., Feinstein M., Garfield J., and Rissland E. Cognitive Science (1995), MIT Press, Cambridge, MA
51. Voronkov A. The anatomy of vampire: implementing bottom-up procedures with code trees. Journal of Automated Reasoning 15 2 (1995)
52. Wang H. From Mathematics to Philosophy (1974), Keagan Paul, London, UK
53. Wang H. On computabilism and physicalism: some sub-problems. In: Cornwell J. (Ed). Nature's Imagination: The Frontiers of Scientific Vision (1995), Oxford University Press, Oxford, UK 161-189
54. Weyl H. Philosophy of Mathematics and Natural Science (1949), Princeton University Press, Princeton, NJ