- (1 other version)The Emperor's New Mind: Concerning Computers, Minds, and the Laws of Physics.Roger Penrose - 1989 - New York: Oxford University Press.details
|
|
Categories for the Working Mathematician.Saunders Maclane - 1971 - Springer.details
|
|
The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions.Martin Davis (ed.) - 1965 - Hewlett, NY, USA: Dover Publication.details
|
|
A Logical Journey: From Gödel to Philosophy.Hao Wang - 1996 - Bradford.details
|
|
From Mathematics to Philosophy.Hao Wang - 1974 - London and Boston: Routledge.details
|
|
From Mathematics to Philosophy.Hao Wang - 1975 - British Journal for the Philosophy of Science 26 (2):170-174.details
|
|
The World of Mathematics.James Newman - 1956details
|
|
Categorical Foundations and Foundations of Category Theory.Solomon Feferman - 1980 - In R. E. Butts & J. Hintikka (eds.), Logic, Foundations of Mathematics, and Computability Theory. Springer. pp. 149-169.details
|
|
The unfolding of non-finitist arithmetic.Solomon Feferman & Thomas Strahm - 2000 - Annals of Pure and Applied Logic 104 (1-3):75-96.details
|
|
Beyond the doubting of a shadow.Roger Penrose - 1995 - PSYCHE: An Interdisciplinary Journal of Research On Consciousness 2:89-129.details
|
|
Penrose's new argument.Per Lindström - 2001 - Journal of Philosophical Logic 30 (3):241-250.details
|
|
Foundations of Constructive Mathematics.Michael J. Beeson - 1932 - Springer Verlag.details
|
|
Which number theoretic problems can be solved in recursive progressions on Π1 1-paths through O?G. Kreisel - 1972 - Journal of Symbolic Logic 37 (2):311-334.details
|
|
(1 other version)Foundations of Constructive Mathematics.Michael J. Beeson - 1987 - Studia Logica 46 (4):398-399.details
|
|
Remarks on Penrose’s “New Argument”.Per Lindström - 2006 - Journal of Philosophical Logic 35 (3):231-237.details
|
|