71 found
Order:
Disambiguations
R. L. Goodstein [71]R. Louis Goodstein [2]
  1. The Recursive Irrationality of Π.R. L. Goodstein - 1954 - Journal of Symbolic Logic 19 (4):267-274.
  2.  25
    On the Restricted Ordinal Theorem.R. L. Goodstein - 1944 - Journal of Symbolic Logic 9 (2):33-41.
  3.  20
    Recursive Number Theory. A Development of Recursive Arithmetic in a Logic-Free Equation Calculus.R. L. Goodstein - 1958 - Journal of Symbolic Logic 23 (2):227-228.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  4. Reply to Mr Fine's Note.R. L. Goodstein - 1964 - British Journal for the Philosophy of Science 15 (58):141.
  5.  16
    H. A. Pogorzelski. Recursive Arithmetic of Skolem. Mathematica Scandinavica, Vol. 11 , Pp. 33–36. - H. A. Pogorzelski. Recursive Arithmetic of Skolem II. Mathematica Scandinavica, Vol. 11 , Pp. 156–160. [REVIEW]R. L. Goodstein - 1964 - Journal of Symbolic Logic 29 (2):101-102.
  6.  22
    Development of Mathematical Logic.R. L. Goodstein - 1971 - London: Logos Press.
  7. Essays in the Philosophy of Mathematics.R. L. Goodstein - 1965 - [Leicester, Eng.]Leicester University Press.
  8. Constructive Formalism.R. L. Goodstein - 1951 - Leicester [Eng.]University College.
  9.  16
    On the Formalisation of Indirect Discourse.R. L. Goodstein - 1958 - Journal of Symbolic Logic 23 (4):417-419.
  10.  8
    Recursive Analysis.R. L. Goodstein - 1961 - 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  
     
    Bookmark   4 citations  
  11.  13
    Review: Dieter Klaua, Berechenbare Analysis; Dieter Klaua, Die Prazisierung des Berechenbarkeitsbegriffes in der Analysis mit Hilfe Rationaler Funktionale. [REVIEW]R. L. Goodstein - 1971 - Journal of Symbolic Logic 36 (3):535-536.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12.  54
    The Significance of Incompleteness Theorems.R. L. Goodstein - 1963 - British Journal for the Philosophy of Science 14 (55):208-220.
  13.  10
    Mazur S.. Computable Analysis, Edited by Grzegorczyk A. And Rasiowa H., Rozprawy Matematyczne No. 33, Państwowe Wydawnictwo Naukowe, Warsaw 1963, 111 Pp. [REVIEW]R. L. Goodstein - 1971 - Journal of Symbolic Logic 36 (1):148-150.
  14.  1
    Computable Analysis.R. L. Goodstein - 1971 - Journal of Symbolic Logic 36 (1):148-150.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  15.  17
    Elements of Mathematical Logic.Gert H. Muller, P. S. Novikov, Leo F. Boron & R. L. Goodstein - 1964 - Journal of Symbolic Logic 31 (4):672.
  16.  51
    Mathematical Systems.R. L. Goodstein - 1939 - Mind 48 (189):58-73.
    No categories
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  18
    Empiricism in Mathematics.R. L. Goodstein - 1969 - Dialectica 23 (1):50-57.
  18.  61
    On Von Mises' Theory of Probability.R. L. Goodstein - 1940 - Mind 49 (193):58-62.
  19.  7
    Function Theory in an Axiom-Free Equation Calculus.R. L. Goodstein - 1946 - Journal of Symbolic Logic 11 (1):24-26.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  20. WITTGENSTEIN, L. - Remarks on the Foundations of Mathematics. [REVIEW]R. L. Goodstein - 1957 - Mind 66:549.
     
    Export citation  
     
    Bookmark   4 citations  
  21.  24
    On Limiting the Applications of the Uniqueness Rules in The Equation Calculus.R. Louis Goodstein - 1973 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 19 (8-10):115-116.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  25
    A Decidable Class of Equations in Recursive Arithmetic.R. L. Goodstein & R. D. Lee - 1966 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 12 (1):235-239.
  23.  20
    Vučković Vladeta. Partially ordered recursive arithmetics. Mathematica Scandinavica, vol. 7 , pp. 305–320.Vučković Vladeta. Einführung von Σƒ und Πƒ in der rekursiven Gitterpunktarithmetik. German, with Bulgarian and Russian summaries. B′lgarska Akadémia na Naukité, Izvéstiá na Matématičéskiá Institut, vol. 6 , pp. 15–25. [REVIEW]R. L. Goodstein - 1963 - Journal of Symbolic Logic 28 (3):251-252.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24.  4
    Can the Logic of Indirect Discourse Be Formalised?L. Jonathan Cohen, A. N. Prior & R. L. Goodstein - 1967 - Journal of Symbolic Logic 32 (4):549-550.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  20
    A Decidable Fragment of Recursive Arithmetic.R. L. Goodstein - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (12-15):199-201.
  26.  34
    Transfinite Ordinals in Recursive Number Theory.R. L. Goodstein - 1947 - Journal of Symbolic Logic 12 (4):123-129.
  27.  12
    Constructive Formalism Essays on the Foundations of Mathematics.R. L. Goodstein - 1951 - University College.
  28.  15
    On the Nature of Mathematical Systems.R. L. Goodstein - 1958 - 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  
     
    Bookmark   1 citation  
  29.  8
    Development of Mathematical Logic.J. van Heijenoort & R. L. Goodstein - 1973 - Philosophical Review 82 (3):409.
  30.  12
    Ludwig Wittgenstein Und der Wiener Kreis.R. L. Goodstein - 1969 - Philosophical Books 10 (1):27-28.
  31.  10
    Logic-Free Formalisations of Recursive Arithmetic.R. L. Goodstein - 1959 - Journal of Symbolic Logic 24 (3):245-246.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  4
    Critical Notices.R. L. Goodstein - 1957 - Mind 66 (264):549-553.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  33. Boolean Algebra.R. L. Goodstein - 1966 - New York: Pergamon Press.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  12
    On Limiting the Applications of the Uniqueness Rules in The Equation Calculus.R. Louis Goodstein - 1973 - Mathematical Logic Quarterly 19 (8‐10):115-116.
  35.  12
    The Mathematical Association Library at the University of Leicester.R. L. Goodstein - 1974 - British Journal for the History of Science 7 (1):100-103.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  11
    A Decidable Fragment of Recursive Arithmetic.R. L. Goodstein - 1963 - Mathematical Logic Quarterly 9 (12‐15):199-201.
  37.  10
    Gödel's proof.R. L. Goodstein - 1960 - Philosophical Books 1 (1):13-14.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  38.  2
    On Formally Undecidable Propositions of Principia Mathematica and Related Systems.R. L. Goodstein - 1963 - Philosophical Books 4 (1):17-18.
  39.  15
    Wittgenstein By W. W. Bartley Philadelphia and New York: J. B. Lippincott Co., 1973, 192 Pp., $6.95. [REVIEW]R. L. Goodstein - 1973 - Philosophy 48 (186):403-.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  13
    Symposium: The Foundations of Mathematics.R. L. Goodstein & I. Lakatos - 1962 - Aristotelian Society Supplementary Volume 36:145 - 184.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  6
    Shepherdson J. C.. A Non-Standard Model for a Free Variable Fragment of Number Theory. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques Et Physiques, Vol. 12 , Pp. 79–86. [REVIEW]R. L. Goodstein - 1965 - Journal of Symbolic Logic 30 (3):389-390.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  6
    The Foundations of Mathematics.R. L. Goodstein & I. Lakatos - 1962 - Aristotelian Society Supplementary Volume 36 (1):145-184.
  43.  15
    Mathematical Logic. [REVIEW]R. L. Goodstein - 1952 - British Journal for the Philosophy of Science 3 (10):197-200.
  44.  7
    Mathematical Logic and the Foundations of Mathematics.R. L. Goodstein - 1963 - Philosophical Books 4 (2):8-9.
  45.  12
    A New Proof of Completeness.R. L. Goodstein - 1972 - Notre Dame Journal of Formal Logic 13 (4):563-564.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  46.  12
    A Problem in Recursive Function Theory.R. L. Goodstein - 1953 - Journal of Symbolic Logic 18 (3):225-232.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  47.  6
    Models of Propositional Calculi in Recursive Arithmetic.R. L. Goodstein - 1963 - Journal of Symbolic Logic 28 (4):291-291.
  48. On the Restricted Ordinal Theorem.R. L. Goodstein - 1945 - Journal of Symbolic Logic 10 (3):104-105.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  7
    Review: S. Mazur, A. Grzegorczyk, H. Rasiowa, Computable Analysis. [REVIEW]R. L. Goodstein - 1971 - Journal of Symbolic Logic 36 (1):148-150.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  50. Review: J. C. Shepherdson, A Non-Standard Model for a Free Variable Fragment of Number Theory. [REVIEW]R. L. Goodstein - 1965 - Journal of Symbolic Logic 30 (3):389-390.
1 — 50 / 71