| 期刊論文1. | Chalmers, D. J.(1995)。Minds, Machines, and Mathematics: A Review of Shadows of Mind by Roger Penrose。Psyche,2(9)。 | 2. | Davis, M.(1993)。How Subtle is Gödel's Theorem? More on Roger Penrose。The Behavioral and Brain Sciences,16,611-612。 | 3. | Feferman, S.(1988)。Hilbert's Program Relativized: Proof-theoretical and Foundational Reductions。Journal of Symbolic Logic,53(2),364-384。 | 4. | Feferman, S.(1995)。Penrose's Gödelian Argument: A Review of Shadows of the Mind by Roger Penrose。Psyche,2(7)。 | 5. | Gaifman, H.(2000)。What Gödel's Incompleteness Result Does and Does Not Show。The Journal of Philosophy,97(8),462-470。 | 6. | Hardy, G. H.(1929)。Mathematical Proof。Mind,38(1),1-25。 | 7. | Lindstrom, P.(2001)。Penrose's New Argument。Journal of Philosophical Logic,30(3),241-250。 | 8. | McCall, Storrs(1999)。Can a Turing Machine Know that the Gödel Sentence is True?。The Journal of Philosophy,96(10),525-532。 | 9. | Penrose, Roger(1996)。Beyond the Doubting of a Shadow: A Reply to Commentaries on Shadows of the Mind。Psyche,2(23)。 | 10. | Shapiro, S.(2003)。Mechanism, Truth, and Penrose's New Argument。Journal of Philosophical Logic,32(1),19-42。 | 11. | Zach, R.(1998)。Numbers and Functions in Hilbert's Finitism。Taiwanese Journal of Philosophy and History of Science,10,33-60。 | 12. | Lucas, J. R.(1961)。Minds, Machines and Gödel。Philosophy,36,112-127。 | 學位論文1. | Koellner, P.(2003)。The Search for New Axioms。 | 圖書1. | Penrose, Roger(1994)。Shadows of the Mind : a search for the missing science of consciousness。Oxford University Press。 | 2. | Carnap, R.(1937)。The Logical Syntax of Language。London。 | 3. | Kleene, Stephen Cole(1967)。Mathematical Logic。New York。 | 4. | Penrose, Roger(1989)。The Emperor's New Mind : Concerning Computer , Minds and The Laws of Physics。Oxford。 | 5. | Enderton, H. B.(2001)。A Mathematical Introduction to Logic。San Diego:Academic Press。 | 6. | Beaney, M.(1997)。The Frege Reader。The Frege Reader。Oxford。 | 7. | Davis, M.(2004)。The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions。The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions。New York。 | 8. | Franzen, T.(2005)。Gödel's Theorem: An Incomplete Guide to Its Use and Abuse。Gödel's Theorem: An Incomplete Guide to Its Use and Abuse。Wellesley。 | 9. | Gentzen, G.(1969)。The Collected Papers of Gerhard Gentzen。The Collected Papers of Gerhard Gentzen。Amsterdam。 | 10. | Gödel, Kurt(1990)。Collected Works (2)。Collected Works (2)。New York。 | 11. | Gödel, Kurt(1995)。Collected Works. Volume III. Unpublished Essays and Lectures。Collected Works. Volume III. Unpublished Essays and Lectures。New York, NY。 | 12. | Hilbert, Daivd(1996)。The New Grounding of Mathematics。From Kant to Hilbert (2)。Oxford。 | 13. | Kunen, K.(1980)。Set Theory: An Introduction to Independence Proofs。Set Theory: An Introduction to Independence Proofs。Amsterdam。 | 14. | Lucas, J. R.(1996)。Minds, Machines and Gödel: A Retrospect。Machines and Thought: The Legacy of Alan Turing (1)。Oxford。 | 15. | Monk, J. Donald(1976)。Mathematical Logic。Mathematical Logic。New York。 | 16. | Soare, R. I.(1987)。Recursively enumerable sets and degrees : a study of computable functions and computably generated sets。Recursively enumerable sets and degrees : a study of computable functions and computably generated sets。Berlin。 | 17. | 竹內外史(1987)。Proof Theory。Proof Theory。Amsterdam。 延伸查詢 | 18. | 王浩(1974)。From Mathematics to Philosophy。London:Routledge and Kegan Paul。 | |