57 found
Order:
Disambiguations:
R. L. Goodstein [55]R. Louis Goodstein [2]
  1. R. L. Goodstein (1954). The Recursive Irrationality of |Pi. Journal of Symbolic Logic 19 (4):267 - 274.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  2. R. L. Goodstein (1964). Reply to Mr Fine's Note. British Journal for the Philosophy of Science 15 (58):141.
  3.  15
    R. L. Goodstein (1944). On the Restricted Ordinal Theorem. Journal of Symbolic Logic 9 (2):33-41.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  4.  1
    R. L. Goodstein (1971). Development of Mathematical Logic. London,Logos Press.
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  5.  48
    R. L. Goodstein (1963). The Significance of Incompleteness Theorems. British Journal for the Philosophy of Science 14 (55):208-220.
  6.  48
    R. L. Goodstein (1939). Mathematical Systems. Mind 48 (189):58-73.
    No categories
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  7.  1
    R. L. Goodstein (1946). Function Theory in an Axiom-Free Equation Calculus. Journal of Symbolic Logic 11 (1):24-26.
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  8.  1
    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  
     
    Export citation  
     
    My bibliography   3 citations  
  9. 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  
     
    Export citation  
     
    My bibliography   5 citations  
  10.  28
    R. L. Goodstein (1947). Transfinite Ordinals in Recursive Number Theory. Journal of Symbolic Logic 12 (4):123-129.
  11. R. L. Goodstein (1951). Constructive Formalism. Leicester [Eng.]University College.
  12.  5
    R. L. Goodstein (1969). Empiricism in Mathematics. Dialectica 23 (1):50-57.
  13. R. L. Goodstein (1965). Essays in the Philosophy of Mathematics. [Leicester, Eng.]Leicester University Press.
     
    Export citation  
     
    My bibliography   2 citations  
  14.  15
    R. L. Goodstein (1961). Book Review:Word and Object W. Van Orman Quine. [REVIEW] Philosophy of Science 28 (2):217-.
  15.  13
    R. L. Goodstein (1940). On Von Mises' Theory of Probability. Mind 49 (193):58-62.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  16.  1
    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
      Direct download  
     
    Export citation  
     
    My bibliography  
  17.  2
    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)  
     
    Export citation  
     
    My bibliography  
  18.  4
    R. L. Goodstein (1958). On the Formalisation of Indirect Discourse. Journal of Symbolic Logic 23 (4):417-419.
  19.  11
    R. L. Goodstein (1952). Mathematical Logic. [REVIEW] British Journal for the Philosophy of Science 3 (10):197-200.
  20.  7
    R. L. Goodstein & I. Lakatos (1962). Symposium: The Foundations of Mathematics. Aristotelian Society Supplementary Volume 36:145 - 184.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  21.  1
    R. L. Goodstein (1951). Constructive Formalism Essays on the Foundations of Mathematics. University College.
  22.  7
    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)  
     
    Export citation  
     
    My bibliography  
  23. 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.
     
    Export citation  
     
    My bibliography  
  24. R. L. Goodstein (1957). WITTGENSTEIN, L. - Remarks on the Foundations of Mathematics. [REVIEW] Mind 66:549.
     
    Export citation  
     
    My bibliography   1 citation  
  25.  5
    R. L. Goodstein (1974). Satisfiability in a Larger Domain. Notre Dame Journal of Formal Logic 15 (4):598-600.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  26.  4
    R. L. Goodstein (1972). A New Proof of Completeness. Notre Dame Journal of Formal Logic 13 (4):563-564.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  27.  5
    R. L. Goodstein (1953). A Problem in Recursive Function Theory. Journal of Symbolic Logic 18 (3):225-232.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  28.  3
    R. L. Goodstein (1970). Polynomials with Computable Coefficients. Notre Dame Journal of Formal Logic 11 (4):447-448.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  29.  1
    R. L. Goodstein (1969). Ludwig Wittgenstein Und der Wiener Kreis. Philosophical Books 10 (1):27-28.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  30.  1
    R. L. Goodstein (1971). Review: S. Mazur, A. Grzegorczyk, H. Rasiowa, Computable Analysis. [REVIEW] Journal of Symbolic Logic 36 (1):148-150.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31.  2
    R. L. Goodstein (1952). Review: Mathematical Logic. [REVIEW] British Journal for the Philosophy of Science 3 (10):197 - 200.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32.  2
    R. L. Goodstein & J. Hooley (1960). On Recursive Transcendence. Notre Dame Journal of Formal Logic 1 (4):127-137.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  33.  2
    R. L. Goodstein (1960). Reviews. [REVIEW] British Journal for the Philosophy of Science 11 (42):163-164.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  34.  1
    R. L. Goodstein (1957). Critical Notices. Mind 66 (264):549-553.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35. 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)  
     
    Export citation  
     
    My bibliography  
  36. R. L. Goodstein (1963). A Decidable Fragment of Recursive Arithmetic. Mathematical Logic Quarterly 9 (12‐15):199-201.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  37. R. L. Goodstein (1963). A Decidable Fragment of Recursive Arithmetic. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (12-15):199-201.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38. R. L. Goodstein (1973). Bartley, W. W.-"Wittgenstein". [REVIEW] Philosophy 48:402.
     
    Export citation  
     
    My bibliography  
  39. R. L. Goodstein (1960). Gödel's proof. Philosophical Books 1 (1):13-14.
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  40. R. L. Goodstein (1959). Logic-Free Formalisations of Recursive Arithmetic. Journal of Symbolic Logic 24 (3):245-246.
    Direct download  
     
    Export citation  
     
    My bibliography  
  41. R. L. Goodstein (1963). Mathematical Logic and the Foundations of Mathematics. Philosophical Books 4 (2):8-9.
  42. 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.
     
    Export citation  
     
    My bibliography  
  43. R. L. Goodstein (1963). Models of Propositional Calculi in Recursive Arithmetic. Journal of Symbolic Logic 28 (4):291-291.
    Direct download  
     
    Export citation  
     
    My bibliography  
  44. R. L. Goodstein (1973). No Title Available: New Books. [REVIEW] Philosophy 48 (186):403-404.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45. R. L. Goodstein (1963). On Formally Undecidable Propositions of Principia Mathematica and Related Systems. Philosophical Books 4 (1):17-18.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  46. 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)  
     
    Export citation  
     
    My bibliography  
  47. R. Louis Goodstein (1973). On Limiting the Applications of the Uniqueness Rules in The Equation Calculus. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 19 (8-10):115-116.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48. R. L. Goodstein (1971). Philosophische grammatik. Philosophical Books 12 (1):28-29.
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  49. 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
      Direct download  
     
    Export citation  
     
    My bibliography  
  50. R. L. Goodstein (1964). Review: H. A. Pogorzelski, Recursive Arithmetic of Skolem. [REVIEW] Journal of Symbolic Logic 29 (2):101-102.
     
    Export citation  
     
    My bibliography  
1 — 50 / 57