78 found
Order:
Disambiguations
R. L. Goodstein [76]R. Louis Goodstein [2]
  1. The Recursive Irrationality of |Pi.R. L. Goodstein - 1954 - Journal of Symbolic Logic 19 (4):267 - 274.
  2.  19
    On the Restricted Ordinal Theorem.R. L. Goodstein - 1944 - Journal of Symbolic Logic 9 (2):33-41.
  3. Reply to Mr Fine's Note.R. L. Goodstein - 1964 - British Journal for the Philosophy of Science 15 (58):141.
  4.  19
    Development of Mathematical Logic.R. L. Goodstein - 1971 - London: Logos Press.
  5.  6
    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  
     
    My bibliography   5 citations  
  6.  2
    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  
     
    My bibliography   3 citations  
  7.  17
    A Decidable Fragment of Recursive Arithmetic.R. L. Goodstein - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (12-15):199-201.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8. Constructive Formalism.R. L. Goodstein - 1951 - Leicester [Eng.]University College.
  9.  58
    On Von Mises' Theory of Probability.R. L. Goodstein - 1940 - Mind 49 (193):58-62.
  10.  48
    The Significance of Incompleteness Theorems.R. L. Goodstein - 1963 - British Journal for the Philosophy of Science 14 (55):208-220.
  11.  16
    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  
     
    My bibliography  
  12.  11
    Empiricism in Mathematics.R. L. Goodstein - 1969 - Dialectica 23 (1):50-57.
  13. Essays in the Philosophy of Mathematics.R. L. Goodstein - 1965 - [Leicester, Eng.]Leicester University Press.
     
    Export citation  
     
    My bibliography   2 citations  
  14.  16
    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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15.  1
    Function Theory in an Axiom-Free Equation Calculus.R. L. Goodstein - 1946 - Journal of Symbolic Logic 11 (1):24-26.
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  16.  49
    Mathematical Systems.R. L. Goodstein - 1939 - Mind 48 (189):58-73.
    No categories
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  17.  30
    Transfinite Ordinals in Recursive Number Theory.R. L. Goodstein - 1947 - Journal of Symbolic Logic 12 (4):123-129.
  18. WITTGENSTEIN, L. - Remarks on the Foundations of Mathematics. [REVIEW]R. L. Goodstein - 1957 - Mind 66:549.
     
    Export citation  
     
    My bibliography   2 citations  
  19.  23
    Book Review:Word and Object W. Van Orman Quine. [REVIEW]R. L. Goodstein - 1961 - Philosophy of Science 28 (2):217-.
  20.  3
    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  
     
    My bibliography   1 citation  
  21.  7
    On the Formalisation of Indirect Discourse.R. L. Goodstein - 1958 - Journal of Symbolic Logic 23 (4):417-419.
  22.  3
    Constructive Formalism Essays on the Foundations of Mathematics.R. L. Goodstein - 1951 - University College.
  23.  13
    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  
     
    My bibliography  
  24.  3
    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 (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  25.  3
    Elements of Mathematical Logic.Gert H. Muller, P. S. Novikov, Leo F. Boron & R. L. Goodstein - 1964 - Journal of Symbolic Logic 31 (4):672.
  26.  9
    Symposium: The Foundations of Mathematics.R. L. Goodstein & I. Lakatos - 1962 - Aristotelian Society Supplementary Volume 36:145 - 184.
    Direct download  
     
    Export citation  
     
    My bibliography  
  27.  11
    Mathematical Logic. [REVIEW]R. L. Goodstein - 1952 - British Journal for the Philosophy of Science 3 (10):197-200.
  28.  9
    A Problem in Recursive Function Theory.R. L. Goodstein - 1953 - Journal of Symbolic Logic 18 (3):225-232.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  29. 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.
     
    Export citation  
     
    My bibliography  
  30.  7
    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  
     
    My bibliography  
  31.  6
    On Recursive Transcendence.R. L. Goodstein & J. Hooley - 1960 - Notre Dame Journal of Formal Logic 1 (4):127-137.
  32.  1
    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  
     
    My bibliography  
  33.  3
    Ludwig Wittgenstein Und der Wiener Kreis.R. L. Goodstein - 1969 - Philosophical Books 10 (1):27-28.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  34.  6
    Satisfiability in a Larger Domain.R. L. Goodstein - 1974 - Notre Dame Journal of Formal Logic 15 (4):598-600.
  35.  2
    A Decidable Fragment of Recursive Arithmetic.R. L. Goodstein - 1963 - Mathematical Logic Quarterly 9 (12‐15):199-201.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  36.  2
    Review: Vladeta Vuckovic, Partially Ordered Recursive Arithmetics; Vladeta Vuckovi, Einfuhrung von $sumf(x)$ und $Pif(x)$ in der Rekursiven Gitterpunktarithmetik. [REVIEW]R. L. Goodstein - 1963 - Journal of Symbolic Logic 28 (3):251-252.
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  37.  4
    Polynomials with Computable Coefficients.R. L. Goodstein - 1970 - Notre Dame Journal of Formal Logic 11 (4):447-448.
  38.  1
    Pogorzelski H. A.. Recursive Arithmetic of Skolem. Mathematica Scandinavica, Vol. 11 , Pp. 33–36.Pogorzelski H. A.. 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.
  39.  1
    Truth Tables.R. L. Goodstein - 1973 - Journal of Symbolic Logic 38 (1):149-149.
    Direct download  
     
    Export citation  
     
    My bibliography  
  40.  2
    Review: Mathematical Logic. [REVIEW]R. L. Goodstein - 1952 - British Journal for the Philosophy of Science 3 (10):197 - 200.
  41.  2
    Reviews. [REVIEW]R. L. Goodstein - 1960 - British Journal for the Philosophy of Science 11 (42):163-164.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  42.  1
    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  
     
    My bibliography  
  43.  1
    Critical Notices.R. L. Goodstein - 1957 - Mind 66 (264):549-553.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44. A Decidable Class of Equations in Recursive Arithmetic.R. L. Goodstein & R. D. Lee - 1968 - Journal of Symbolic Logic 33 (4):618-619.
     
    Export citation  
     
    My bibliography  
  45. A Decidable Fragment of Recursive Arithmetic.R. L. Goodstein - 1968 - Journal of Symbolic Logic 33 (4):618-618.
     
    Export citation  
     
    My bibliography  
  46. Bartley, W. W.-"Wittgenstein". [REVIEW]R. L. Goodstein - 1973 - Philosophy 48:402.
     
    Export citation  
     
    My bibliography  
  47. Constructive Formalism. Essays on the Foundations of Mathematics.R. L. Goodstein - 1953 - Journal of Symbolic Logic 18 (3):258-260.
    Direct download  
     
    Export citation  
     
    My bibliography  
  48. Gödel's proof.R. L. Goodstein - 1960 - Philosophical Books 1 (1):13-14.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  49. Klaua Dieter. Berechenbare Analysis. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 , pp. 265–303.Klaua Dieter. Die Prāzisierung des Berechenbarkeitsbegriffes in der-Analysis mit Hilfe rationaler Funktionale. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 , pp. 33–96. [REVIEW]R. L. Goodstein - 1971 - Journal of Symbolic Logic 36 (3):535-536.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  50. Logic-Free Formalisations of Recursive Arithmetic.R. L. Goodstein - 1959 - Journal of Symbolic Logic 24 (3):245-246.
    Direct download  
     
    Export citation  
     
    My bibliography  
1 — 50 / 78