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

DOI10.1007/978-3-030-80049-9_44OpenAlexW3186014528MaRDI QIDQ2117809

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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Combinatory logic. With two sections by William Craig.
• The calculus of constructions
• Constructivism in mathematics. An introduction. Volume II
• Alan Turing: Life and Legacy of a Great Thinker
• Constructive set theory
• Choice Implies Excluded Middle
• The consistency of classical set theory relative to a set theory with intu1tionistic logic
• Are subsets necessary in Martin-Löf type theory?
• Bringing mathematics education into the algorithmic age
• Homotopy Type Theory: Univalent Foundations of Mathematics
• An Unsolvable Problem of Elementary Number Theory

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