OUP USA (1999)
|Abstract||Solomon Feferman is one of the leading figures in the philosophy of mathematics. This volume brings together a selection of his most important recent writings, covering the relation between logic and mathematics, proof theory, objectivity and intentionality in mathematics, and key issues in the work of Gödel, Hilbert, and Turing. A number of the papers appeared originally in obscure places and are not well-known, and others are published here for the first time. All of the material has been revised and annotated to bring it up to date.|
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
|Buy the book||$70.02 used (44% off) $90.60 new (28% off) $118.48 direct from Amazon (6% off) Amazon page|
|Through your library||Configure|
Similar books and articles
Andrew Arana (2005). Review of S. Feferman's in the Light of Logic. [REVIEW] Mathematical Intelligencer 27 (4).
Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.) (2010). Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.
Solomon Feferman, Harvey M. Friedman, Penelope Maddy & John R. Steel (2000). Does Mathematics Need New Axioms? Bulletin of Symbolic Logic 6 (4):401-446.
Solomon Feferman (1985). Intensionality in Mathematics. Journal of Philosophical Logic 14 (1):41 - 55.
Solomon Feferman, Presentation to the Panel, “Does Mathematics Need New Axioms?” Asl 2000 Meeting, Urbana Il, June 5, 2000.
Matthias Baaz (ed.) (2011). Kurt Gödel and the Foundations of Mathematics: Horizons of Truth. Cambridge University Press.
Solomon Feferman (1978). The Logic of Mathematical Discovery Vs. The Logical Structure of Mathematics. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1978:309 - 327.
Richard L. Tieszen (2005). Phenomenology, Logic, and the Philosophy of Mathematics. Cambridge University Press.
Solomon Feferman, The Development of Programs for the Foundations of Mathematics in the First Third of the 20th Century.
Solomon Feferman (1988). Hilbert's Program Relativized: Proof-Theoretical and Foundational Reductions. Journal of Symbolic Logic 53 (2):364-384.
Richard A. Shore (2010). Reverse Mathematics: The Playground of Logic. Bulletin of Symbolic Logic 16 (3):378-402.
Sorry, there are not enough data points to plot this chart.
Added to index2012-01-31
Total downloads1 ( #291,771 of 722,867 )
Recent downloads (6 months)1 ( #60,917 of 722,867 )
How can I increase my downloads?