Constructive mathematics, Church's thesis, and free choice sequences

DOI10.1007/978-3-030-80049-9_44MaRDI QIDQ2117809zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 22 March 2022

Full work available at URL https://kar.kent.ac.uk/88974/1/turner.pdf_nocoversheet

zbMATH Keywords

Church's thesisconstructive type theoryfree choice sequence

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 3728250 (Why is no real title available?)
• scientific article; zbMATH DE number 3521950 (Why is no real title available?)
• scientific article; zbMATH DE number 5064395 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• Alan Turing: Life and Legacy of a Great Thinker
• An Unsolvable Problem of Elementary Number Theory
• Are subsets necessary in Martin-Löf type theory?
• Bringing mathematics education into the algorithmic age
• Choice Implies Excluded Middle
• Combinatory logic. With two sections by William Craig.
• Constructive set theory
• Constructivism in mathematics. An introduction. Volume II
• Homotopy type theory. Univalent foundations of mathematics
• The calculus of constructions
• The consistency of classical set theory relative to a set theory with intu1tionistic logic

Cited in

(3)

• scientific article; zbMATH DE number 510786 (Why is no real title available?)
• An eclectic view of the irish school of constructive mathematics \({\mathbf M}^\clubsuit _C\), from [Lukas 1978] to [Mac an Airchinnigh 2001]
• Proving Church's thesis

This page was built for publication: Constructive mathematics, Church's thesis, and free choice sequences

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