Resultado da Busca
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 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.
1 de set. de 2017 · PDF | IN MEMORIAM: SOLOMON FEFERMAN (1928–2016) - Volume 23 Issue 3 - Charles Parsons, Wilfried Sieg | Find, read and cite all the research you need on ResearchGate
Solomon Feferman In the sole extended break from his life and varied career in England, Alan Turing spent the years 1936-1938 doing graduate work at Princeton University under the direction of Alonzo Church, the doyen of American logicians. Those two years sufficed for him to complete a thesis and obtain the PhD.
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 Feferman Publications. Solomon Feferman Publications. Formal Consistency Proofs and Interpretability of Theories. PhD thesis, University of California, Berkeley, July 1957. Degrees of unsolvability associated with classes of formalized theories, J. Symbolic Logic, vol. 22, pp. 161-175, 1957.
2 de set. de 2019 · Access-restricted-item true Addeddate 2019-09-02 02:06:07 Bookplateleaf 0003 Boxid IA1655921 Camera
