| 期刊論文| 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。 | |