55 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.
     
    My bibliography  
     
    Export citation  
  4. R. L. Goodstein (1973). No Title Available: New Books. [REVIEW] Philosophy 48 (186):403-404.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. R. L. Goodstein (1973). Truth Tables. Journal of Symbolic Logic 38 (1):149-149.
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. 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  
  7. R. Louis Goodstein (1973). On Limiting the Applications of the Uniqueness Rules in The Equation Calculus. Mathematical Logic Quarterly 19 (8‐10):115-116.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  8. 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  
  9. R. L. Goodstein (1971). Development of Mathematical Logic. London,Logos Press.
    Direct download  
     
    My bibliography  
     
    Export citation  
  10. R. L. Goodstein (1971). Philosophische grammatik. Philosophical Books 12 (1):28-29.
    Translate to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  11. 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  
  12. 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  
  13. 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  
  14. R. L. Goodstein (1969). Empiricism in Mathematics. Dialectica 23 (1):50-57.
  15. R. L. Goodstein (1969). Ludwig Wittgenstein Und der Wiener Kreis. Philosophical Books 10 (1):27-28.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  16. 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.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  17. R. L. Goodstein (1965). Essays in the Philosophy of Mathematics. [Leicester, Eng.]Leicester University Press.
     
    My bibliography  
     
    Export citation  
  18. 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  
  19. 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  
  20. R. L. Goodstein (1964). Reply to Mr Fine's Note. British Journal for the Philosophy of Science 15 (58):141.
  21. R. L. Goodstein (1963). A Decidable Fragment of Recursive Arithmetic. Mathematical Logic Quarterly 9 (12‐15):199-201.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  22. R. L. Goodstein (1963). Mathematical Logic and the Foundations of Mathematics. Philosophical Books 4 (2):8-9.
  23. R. L. Goodstein (1963). Models of Propositional Calculi in Recursive Arithmetic. Journal of Symbolic Logic 28 (4):291-291.
    Direct download  
     
    My bibliography  
     
    Export citation  
  24. R. L. Goodstein (1963). On Formally Undecidable Propositions of Principia Mathematica and Related Systems. Philosophical Books 4 (1):17-18.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  25. 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  
  26. R. L. Goodstein (1963). The Significance of Incompleteness Theorems. British Journal for the Philosophy of Science 14 (55):208-220.
  27. R. L. Goodstein (1962). The Axiomatic Method. Aristotelian Society Supplementary Volume 36:145--54.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  28. 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  
  29. R. L. Goodstein & I. Lakatos (1962). The Foundations of Mathematics. Aristotelian Society Supplementary Volume 36:145-184.
     
    My bibliography  
     
    Export citation  
  30. 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  
  31. R. L. Goodstein (1961). The Philosophy of Mathematics. Philosophical Books 2 (1):8-9.
  32. R. L. Goodstein (1961). Book Review:Word and Object W. Van Orman Quine. [REVIEW] Philosophy of Science 28 (2):217-.
  33. R. L. Goodstein (1960). Gödel's proof. Philosophical Books 1 (1):13-14.
    Translate to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  34. 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  
  35. R. L. Goodstein (1960). The Recursive Irrationality of Π. Journal of Symbolic Logic 25 (2):166-167.
    Direct download  
     
    My bibliography  
     
    Export citation  
  36. 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  
  37. R. L. Goodstein (1959). Logic-Free Formalisations of Recursive Arithmetic. Journal of Symbolic Logic 24 (3):245-246.
    Direct download  
     
    My bibliography  
     
    Export citation  
  38. R. L. Goodstein (1958). On the Formalisation of Indirect Discourse. Journal of Symbolic Logic 23 (4):417-419.
  39. 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 (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  40. R. L. Goodstein (1958). Recursive Number Theory. A Development of Recursive Arithmetic in a Logic-Free Equation Calculus. Journal of Symbolic Logic 23 (2):227-228.
    Direct download  
     
    My bibliography  
     
    Export citation  
  41. R. L. Goodstein (1957). WITTGENSTEIN, L. - Remarks on the Foundations of Mathematics. [REVIEW] Mind 66:549.
     
    My bibliography  
     
    Export citation  
  42. R. L. Goodstein (1957). Critical Notices. Mind 66 (264):549-553.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  43. 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  
  44. 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  
  45. R. L. Goodstein (1952). Mathematical Logic. [REVIEW] British Journal for the Philosophy of Science 3 (10):197-200.
  46. R. L. Goodstein (1952). Mathematical Logic. "Outlines of a Formalist Philosophy of Mathematics." By Haskell B. Curry. "On the Mathematics of Algebra." By Abraham Robinson: Essay. [REVIEW] British Journal for the Philosophy of Science 3 ([9/12]):197.
     
    My bibliography  
     
    Export citation  
  47. 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  
  48. R. L. Goodstein (1951). Constructive Formalism. Leicester [Eng.]University College.
  49. R. L. Goodstein (1951). Constructive Formalism Essays on the Foundations of Mathematics. University College.
    Direct download  
     
    My bibliography  
     
    Export citation  
  50. R. L. Goodstein (1951). The Foundations of Mathematics: An Inaugural Lecture Delivered at the University College of Leicester, 13th November 1951. University College.
1 — 50 / 55