Function Theory in an Axiom-Free Equation Calculus

DOI10.1112/PLMS/S2-48.1.401MaRDI QIDQ5834330zbMATH OpenOpenAlexWikidataFDO

Authors Reuben Goodstein

Publication date 1945

Published in Proceedings of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1112/plms/s2-48.1.401

zbMATH Keywords

foundations, philosophy, logic

Cited in

(12)

• Studies in constructive mathematics and mathematical logic. Part IX
• Wittgenstein and finitism
• Georg Cantor as the author of constructions playing fundamental roles in constructive mathematics
• Polymorphic extensions of simple type structures. With an application to a bar recursive minimization
• Gödel, Gentzen, Goodstein: the magic sound of a G-string
• The relatively exponential, logarithmic and circular functions in recursive function theory
• On the concept of finitism
• Primitive recursive arithmetic and its role in the foundations of arithmetic: historical and philosophical reflections
• R. L. Goodstein and mathematical logic
• A simple proof of Parsons' theorem
• The Formal Structure of a Denumerable System
• On a finitary version of mathematical analysis

This page was built for publication: Function Theory in an Axiom-Free Equation Calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5834330)