Recursive Functions and Intuitionistic Number Theory

DOI10.2307/1990222MaRDI QIDQ5833219zbMATH OpenOpenAlexFDO

Authors

Publication date 1947

Full work available at URL https://doi.org/10.2307/1990222

zbMATH Keywords

philosophy and foundations of mathematics

Cites work

• A set of postulates for the foundation of logic
• An Unsolvable Problem of Elementary Number Theory
• General recursive functions of natural numbers
• scientific article; zbMATH DE number 3013302 (Why is no real title available?)
• On notation for ordinal numbers
• On the Forms of the Predicates in the Theory of Constructive Ordinals
• On the interpretation of intuitionistic number theory
• Recursive Predicates and Quantifiers
• Über den Zusammenhang der verschiedenen Begriffe der rekursiven Funktion
• Untersuchungen über das logische Schliessen. I

Cited in

(6)

• A proof description language and its reduction system
• Intuitionism and effective descriptive set theory
• A classical view of the intuitionistic continuum
• A survey of predicate realizability logic
• Propositional Calculus and Realizability
• Analyzing realizability by Troelstra's methods

This page was built for publication: Recursive Functions and Intuitionistic Number Theory

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