Recursive Functions and Constructive Mathematics

DOI10.1007/978-94-017-9217-2_6zbMath1342.03043OpenAlexW1623903653MaRDI QIDQ5250218

Thierry Coquand

Publication date: 19 May 2015

Published in: Logic, Epistemology, and the Unity of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-017-9217-2_6

zbMATH Keywords

constructive mathematicsrecursive functions

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Recursive functions and relations, subrecursive hierarchies (03D20) Metamathematics of constructive systems (03F50)

Related Items (6)

Constructibility of the universal wave function ⋮ Maximal elements with minimal logic ⋮ Weyl and Intuitionistic Infinitesimals ⋮ Verificationism and Classical Realizability ⋮ Anneaux à diviseurs et anneaux de Krull (une approche constructive) ⋮ Péter on Church's thesis, constructivity and computers

This page was built for publication: Recursive Functions and Constructive Mathematics