Recursive Functions and Constructive Mathematics
From MaRDI portal
Recommendations
- Recursive functions and existentially closed structures
- Recursive functionals
- Computational foundations of basic recursive function theory
- Recursion and proofs
- Computer Aided Systems Theory – EUROCAST 2005
- Recursive functions
- scientific article; zbMATH DE number 3165537
- Real recursive functions and their hierarchy
- scientific article; zbMATH DE number 3107290
Cited in
(14)- Mathematics for reasoning about loop functions
- Péter on Church's thesis, constructivity and computers
- Constructibility of the universal wave function
- Anneaux à diviseurs et anneaux de Krull (une approche constructive)
- Recursive functions: an archeological look
- Cantor's paradise regained: constructive mathematics from Brouwer to Kolmogorov to Gelfond
- Weyl and Intuitionistic Infinitesimals
- Verificationism and Classical Realizability
- scientific article; zbMATH DE number 3900718 (Why is no real title available?)
- scientific article; zbMATH DE number 4029560 (Why is no real title available?)
- Computer Aided Systems Theory – EUROCAST 2005
- Maximal elements with minimal logic
- An Introduction to Lorenzen's ‘Algebraic and Logistic Investigations on Free Lattices’ (1951)
- Fifty years of computability
This page was built for publication: Recursive Functions and Constructive Mathematics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5250218)
