Resultado da Busca
Solomon Feferman. MathSciNet. Ph.D. University of California, Berkeley 1957. Dissertation: Formal Consistency Proofs and Interpretability of Theories. Mathematics Subject Classification: 03—Mathematical logic and foundations. Advisor: Alfred Tarski. Students: Click here to see the students listed in chronological order. Name.
9 de fev. de 2006 · Solomon Feferman. 3637 words. by Rebecca Goldstein. Like Heisenberg’s uncertainty principle, Gödel’s incompleteness theorem has captured the public imagination, supposedly demonstrating that there are absolute limits to what can be known. More specifically, it is thought to tell us that there are mathematical truths which can never be proved.
In particular, the argument goes, whatever one does or does not do in the future is determined in the present by the truth or falsity of the corresponding proposition. The second argument coming from logic is much more modern and appeals to Gödel's incompleteness theorems to make the case against determinism and in favour of free will, insofar ...
Solomon Feferman--Papers and Slides in PDF Format. ( Caveat lector: published versions of the following may contain some changes.) Degrees of unsolvability associated with classes of formalized theories, J. Symbolic Logic 22 (1957) 161-175.
12 de mar. de 2014 · Solomon Feferman. The number systems. Foundations of algebra and analysis. Addison-Wesley Publishing Company, Inc., Reading, Mass., Palo Alto, and London, 1964, xii ...
Solomon Feferman1 What is predicativity? While the term suggests that there is a single idea involved, what the history will show is that there are a number of ideas of predicativity which may lead to different logical analyses, and I shall uncover these only gradually. A central question will then be what, if anything, unifies them.
Solomon Feferman. The logic of mathematical discovery versus the logical structure of mathematics. Pp. 77–93. (Reprinted with minor changes from PSA 1978, Volume 2, Symposia, edited by Peter D. Asquith and Ian Hacking, Philosophy of Science Association, East Lansing 1981, pp. 309–327.) Solomon Feferman. Foundational ways.
