Is Gödelian Model-based Deductive Reasoning Computational?
Selmer Bringsjord · Philosophica · 1998
Q2 Do the mathematical facts revealed by Godel I imply that people have an ability that can never be matched by machines?Rather a lot of ink has been devoted to Q2 of late (some of it flowing from my own pen).Roger Penrose (Penrose, 1989(Penrose, , 1994)), for example, has famously argued that Q2 should be answered in the affirmative.Though I've been elsewhere concerned with Q2 (the bulk of my own writing on Q2 can be found in the chapter "Godel" (Bringsjord, 1992», this question is not my concern in the present paper.I'm not concerned here with whether Godel I itself implies that minds aren't machines; I'm concerned herein, if you will, with whether the human model-based reasoning that goes into proving Godel I is beyond computation.