Bøker i Logic and Computation in Philosophy Series-serien

This volume brings together a selection of Solomon Feferman's most important recent writings, covering the relation between logic and mathematics, proof theory, objectivity and intensionality in mathematics, and key issues in the work of Goedel, Hilbert, and Turing.

This illustrated work searches for the answers to such questions as whether standard methodological recommendations help or hinder the reliability of inquiry. It uses techniques and concepts drawn from formal learning theory, topology and the theory of computability.

Those inquiring into the nature of mind have long been interested in the foundations of mathematics. A better understanding of mathematical thought should clarify the conceptual foundations of mathematics. This study probes the link between conceptions of mind and mathematics from various angles.