55 found
Sort by:
Disambiguations:
R. L. Goodstein [54]R. Louis Goodstein [1]
  1.  92 DLs
    R. L. Goodstein (1964). Reply to Mr Fine's Note. British Journal for the Philosophy of Science 15 (58):141.
  2.  55 DLs
    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  
  3.  41 DLs
    R. L. Goodstein (1939). Mathematical Systems. Mind 48 (189):58-73.
    No categories
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  4.  36 DLs
    R. L. Goodstein (1963). The Significance of Incompleteness Theorems. British Journal for the Philosophy of Science 14 (55):208-220.
  5.  28 DLs
    R. L. Goodstein (1947). Transfinite Ordinals in Recursive Number Theory. Journal of Symbolic Logic 12 (4):123-129.
  6.  15 DLs
    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  
  7.  15 DLs
    R. L. Goodstein (1961). Book Review:Word and Object W. Van Orman Quine. [REVIEW] Philosophy of Science 28 (2):217-.
  8.  11 DLs
    R. L. Goodstein (1952). Mathematical Logic. [REVIEW] British Journal for the Philosophy of Science 3 (10):197-200.
  9.  7 DLs
    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  
  10.  7 DLs
    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  
  11.  5 DLs
    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  
  12.  5 DLs
    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  
  13.  4 DLs
    R. L. Goodstein (1958). On the Formalisation of Indirect Discourse. Journal of Symbolic Logic 23 (4):417-419.
  14.  4 DLs
    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  
  15.  3 DLs
    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  
  16.  3 DLs
    R. L. Goodstein (1969). Empiricism in Mathematics. Dialectica 23 (1):50-57.
  17.  2 DLs
    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  
  18.  2 DLs
    R. L. Goodstein (1940). On Von Mises' Theory of Probability. Mind 49 (193):58-62.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  19.  2 DLs
    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  
  20.  2 DLs
    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  
  21.  1 DLs
    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  
  22.  1 DLs
    R. L. Goodstein (1969). Ludwig Wittgenstein Und der Wiener Kreis. Philosophical Books 10 (1):27-28.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  23.  1 DLs
    R. L. Goodstein (1971). Development of Mathematical Logic. London,Logos Press.
    Direct download  
     
    My bibliography  
     
    Export citation  
  24.  1 DLs
    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  
  25.  1 DLs
    R. L. Goodstein (1957). Critical Notices. Mind 66 (264):549-553.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  26.  1 DLs
    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.  1 DLs
    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  
  28.  0 DLs
    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  
  29.  0 DLs
    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  
  30.  0 DLs
    R. L. Goodstein (1973). Bartley, W. W.-"Wittgenstein". [REVIEW] Philosophy 48:402.
     
    My bibliography  
     
    Export citation  
  31.  0 DLs
    R. L. Goodstein (1959). Logic-Free Formalisations of Recursive Arithmetic. Journal of Symbolic Logic 24 (3):245-246.
    Direct download  
     
    My bibliography  
     
    Export citation  
  32.  0 DLs
    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  
  33.  0 DLs
    R. L. Goodstein (1957). WITTGENSTEIN, L. - Remarks on the Foundations of Mathematics. [REVIEW] Mind 66:549.
     
    My bibliography  
     
    Export citation  
  34.  0 DLs
    R. L. Goodstein (1971). Philosophische grammatik. Philosophical Books 12 (1):28-29.
    Translate to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  35.  0 DLs
    R. L. Goodstein & I. Lakatos (1962). The Foundations of Mathematics. Aristotelian Society Supplementary Volume 36:145-184.
     
    My bibliography  
     
    Export citation  
  36.  0 DLs
    R. L. Goodstein (1951). Constructive Formalism. Leicester [Eng.]University College.
  37.  0 DLs
    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  
  38.  0 DLs
    R. L. Goodstein (1965). Essays in the Philosophy of Mathematics. [Leicester, Eng.]Leicester University Press.
     
    My bibliography  
     
    Export citation  
  39.  0 DLs
    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  
  40.  0 DLs
    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  
  41.  0 DLs
    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  
  42.  0 DLs
    R. L. Goodstein (1951). The Foundations of Mathematics: An Inaugural Lecture Delivered at the University College of Leicester, 13th November 1951. University College.
  43.  0 DLs
    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  
  44.  0 DLs
    R. L. Goodstein (1973). Truth Tables. Journal of Symbolic Logic 38 (1):149-149.
    Direct download  
     
    My bibliography  
     
    Export citation  
  45.  0 DLs
    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  
  46.  0 DLs
    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  
  47.  0 DLs
    R. L. Goodstein (1962). The Axiomatic Method. Aristotelian Society Supplementary Volume 36:145--54.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  48.  0 DLs
    R. L. Goodstein (1961). The Philosophy of Mathematics. Philosophical Books 2 (1):8-9.
  49.  0 DLs
    R. L. Goodstein (1946). Function Theory in an Axiom-Free Equation Calculus. Journal of Symbolic Logic 11 (1):24-26.
    Direct download  
     
    My bibliography  
     
    Export citation  
  50.  0 DLs
    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  
1 — 50 / 55