Small Steps toward Hypercomputation via Infinitary Machine Proof Verification and Proof Generation-Reference-Cited by-同舟云学术

Small Steps toward Hypercomputation via Infinitary Machine Proof Verification and Proof Generation

Published:2013 Issue: Volume: Page:102-112
ISSN:0302-9743
Container-title:Unconventional Computation and Natural Computation
language:
Short-container-title:

Author:

Govindarajulu Naveen Sundar,Licato John,Bringsjord Selmer

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-39074-6_11

Reference21 articles.

1. Lecture Notes in Artificial Intelligence;K. Arkoudas,2005

2. Lecture Notes in Computer Science;S. Baker,1992

3. Bringsjord, S., Arkoudas, K.: On the Provability, Veracity, and AI-Relevance of the Church-Turing Thesis. In: Olszewski, A., Wolenski, J., Janusz, R. (eds.) Church’s Thesis After 70 Years, pp. 66–118. Ontos Verlag, Frankfurt (2006), http://kryten.mm.rpi.edu/ct_bringsjord_arkoudas_final.pdf ; This book is in the series Mathematical Logic, edited by W. Pohlers, T. Scanlon, E. Schimmerling, R. Schindler, H. Schwichtenberg

4. Bringsjord, S., Govindarajulu, N.S.: In Defense of the Unprovability of the Church-Turing Thesis. Journal of Unconventional Computing 6, 353–373 (2011); Preprint available at http://kryten.mm.rpi.edu/SB_NSG_CTTnotprovable_091510.pdf

5. Bringsjord, S., Licato, J.: Psychometric Artificial General Intelligence: The Piaget-MacGyver Room. In: Wang, P., Goertzel, B. (eds.) Theoretical Foundations of Artificial General Intelligence. Atlantis Press (2012), http://kryten.mm.rpi.edu/Bringsjord_Licato_PAGI_071512.pdf

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The Epistemology of Computer-Mediated Proofs;Philosophy of Engineering and Technology;2018

2. How Models of Creativity and Analogy Need to Answer the Tailorability Concern;Atlantis Thinking Machines;2014-12-05