46 found
Sort by:
Disambiguations:
R. L. Goodstein [54]R. Louis Goodstein [1]
  1. R. L. Goodstein (1974). The Mathematical Association Library at the University of Leicester. British Journal for the History of Science 7 (1):100-103.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. R. L. Goodstein (1974). Satisfiability in a Larger Domain. Notre Dame Journal of Formal Logic 15 (4):598-600.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. R. L. Goodstein (1973). Bartley, W. W.-"Wittgenstein". [REVIEW] Philosophy 48:402.
    No categories
     
    My bibliography  
     
    Export citation  
  4. R. L. Goodstein (1973). Wittgenstein By W. W. Bartley Philadelphia and New York: J. B. Lippincott Co., 1973, 192 Pp., $6.95. [REVIEW] Philosophy 48 (186):403-.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. R. Louis Goodstein (1973). On Limiting the Applications of the Uniqueness Rules in The Equation Calculus. Mathematical Logic Quarterly 19 (8‐10):115-116.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  6. R. L. Goodstein (1972). A New Proof of Completeness. Notre Dame Journal of Formal Logic 13 (4):563-564.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  7. R. L. Goodstein (1971). Development of Mathematical Logic. London,Logos Press.
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. R. L. Goodstein (1971). Philosophische grammatik. Philosophical Books 12 (1):28-29.
    No categories
    Translate to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  9. R. L. Goodstein (1971). Review: Dieter Klaua, Berechenbare Analysis; Dieter Klaua, Die Prazisierung des Berechenbarkeitsbegriffes in der Analysis mit Hilfe Rationaler Funktionale. [REVIEW] Journal of Symbolic Logic 36 (3):535-536.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  10. R. L. Goodstein (1971). Review: S. Mazur, A. Grzegorczyk, H. Rasiowa, Computable Analysis. [REVIEW] Journal of Symbolic Logic 36 (1):148-150.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. R. L. Goodstein (1970). Polynomials with Computable Coefficients. Notre Dame Journal of Formal Logic 11 (4):447-448.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  12. R. L. Goodstein (1969). Empiricism in Mathematics. Dialectica 23 (1):50-57.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  13. R. L. Goodstein (1969). Ludwig Wittgenstein Und der Wiener Kreis. Philosophical Books 10 (1):27-28.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  14. R. L. Goodstein & R. D. Lee (1966). A Decidable Class of Equations in Recursive Arithmetic. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 12 (1):235-239.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  15. R. L. Goodstein (1965). Essays in the Philosophy of Mathematics. [Leicester, Eng.]Leicester University Press.
     
    My bibliography  
     
    Export citation  
  16. R. L. Goodstein (1965). Review: J. C. Shepherdson, A Non-Standard Model for a Free Variable Fragment of Number Theory. [REVIEW] Journal of Symbolic Logic 30 (3):389-390.
    Direct download  
     
    My bibliography  
     
    Export citation  
  17. R. L. Goodstein (1964). Review: H. A. Pogorzelski, Recursive Arithmetic of Skolem. [REVIEW] Journal of Symbolic Logic 29 (2):101-102.
    Direct download  
     
    My bibliography  
     
    Export citation  
  18. R. L. Goodstein (1964). Reply to Mr Fine's Note. British Journal for the Philosophy of Science 15 (58):141.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  19. R. L. Goodstein (1963). A Decidable Fragment of Recursive Arithmetic. Mathematical Logic Quarterly 9 (12‐15):199-201.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  20. R. L. Goodstein (1963). Mathematical Logic and the Foundations of Mathematics. Philosophical Books 4 (2):8-9.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  21. R. L. Goodstein (1963). On Formally Undecidable Propositions of Principia Mathematica and Related Systems. Philosophical Books 4 (1):17-18.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  22. R. L. Goodstein (1963). Review: Vladeta Vuckovic, Partially Ordered Recursive Arithmetics; Vladeta Vuckovi, Einfuhrung von $sumf(x)$ und $Pif(x)$ in der Rekursiven Gitterpunktarithmetik. [REVIEW] Journal of Symbolic Logic 28 (3):251-252.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  23. R. L. Goodstein (1963). The Significance of Incompleteness Theorems. British Journal for the Philosophy of Science 14 (55):208-220.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  24. R. L. Goodstein (1962). The Axiomatic Method. Aristotelian Society Supplementary Volume 36:145--54.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  25. R. L. Goodstein & I. Lakatos (1962). Symposium: The Foundations of Mathematics. Aristotelian Society Supplementary Volume 36:145 - 184.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  26. R. L. Goodstein (1961/2010). Recursive Analysis. Dover Publications.
    This graduate-level_text by a master in the field builds a function theory of the rational field that combines aspects of classical and intuitionist analysis. Topics include recursive convergence, recursive and relative continuity, recursive and relative differentiability, the relative integral, elementary functions, and transfinite ordinals. 1961 edition.
    Direct download  
     
    My bibliography  
     
    Export citation  
  27. R. L. Goodstein (1961). The Philosophy of Mathematics. Philosophical Books 2 (1):8-9.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  28. R. L. Goodstein (1961). Book Review:Word and Object W. Van Orman Quine. [REVIEW] Philosophy of Science 28 (2):217-.
  29. R. L. Goodstein (1960). Gödel's proof. Philosophical Books 1 (1):13-14.
    No categories
    Translate to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  30. R. L. Goodstein (1960). Reviews. [REVIEW] British Journal for the Philosophy of Science 11 (42):163-164.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  31. R. L. Goodstein & J. Hooley (1960). On Recursive Transcendence. Notre Dame Journal of Formal Logic 1 (4):127-137.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  32. R. L. Goodstein (1958). On the Formalisation of Indirect Discourse. Journal of Symbolic Logic 23 (4):417-419.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  33. R. L. Goodstein (1958). On the Nature of Mathematical Systems. Dialectica 12 (3‐4):296-316.
    The crux of the dispute between formalism and intuitionism, it is held, is not whether certain entities exist or not, but how the term function shall be used in mathematics. The identification of effective definition with general recursion fails because an undefined function lies concealed beneath the requirement of a finite number of substitutions, and a fresh characterization of effective definition is sought in terms of a hierarchy of ordinal recursions.A correspondence exists between primitive recursive properties and direct proofs, of (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  34. R. L. Goodstein (1957). WITTGENSTEIN, L. - Remarks on the Foundations of Mathematics. [REVIEW] Mind 66:549.
    No categories
     
    My bibliography  
     
    Export citation  
  35. R. L. Goodstein (1957). Critical Notices. Mind 66 (264):549-553.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  36. R. L. Goodstein (1954). The Recursive Irrationality of |Pi. Journal of Symbolic Logic 19 (4):267 - 274.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  37. R. L. Goodstein (1953). A Problem in Recursive Function Theory. Journal of Symbolic Logic 18 (3):225-232.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  38. R. L. Goodstein (1952). Mathematical Logic. [REVIEW] British Journal for the Philosophy of Science 3 (10):197-200.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  39. R. L. Goodstein (1952). Review: Mathematical Logic. [REVIEW] British Journal for the Philosophy of Science 3 (10):197 - 200.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  40. R. L. Goodstein (1951). Constructive Formalism. Leicester [Eng.]University College.
    No categories
     
    My bibliography  
     
    Export citation  
  41. R. L. Goodstein (1951). Constructive Formalism Essays on the Foundations of Mathematics. University College.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  42. R. L. Goodstein (1951). The Foundations of Mathematics: An Inaugural Lecture Delivered at the University College of Leicester, 13th November 1951. University College.
  43. R. L. Goodstein (1947). Transfinite Ordinals in Recursive Number Theory. Journal of Symbolic Logic 12 (4):123-129.
  44. R. L. Goodstein (1944). On the Restricted Ordinal Theorem. Journal of Symbolic Logic 9 (2):33-41.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  45. R. L. Goodstein (1940). On Von Mises' Theory of Probability. Mind 49 (193):58-62.
    No categories
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  46. R. L. Goodstein (1939). Mathematical Systems. Mind 48 (189):58-73.
    No categories
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation