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

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

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

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

Cited In (3)

• Title not available (Why is that?)
• 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)