[PDF][PDF] (Seemingly) Impossible Theorems in Constructive Mathematics
H Diener, M Hendtlass - arXiv preprint arXiv:1904.11378, 2019 - arxiv.org
H Diener, M Hendtlass
arXiv preprint arXiv:1904.11378, 2019•arxiv.org… We refer to these theorems as “impossible theorems”. Of course they are not actually
impossible, merely surprising. There does not seem to be a master lemma from which all of
our … We are working in Bishop style constructive mathematics (BISH)—that is,
mathematics using intuitionistic logic and an appropriate set-theoretic or type-theoretic
foundation such as [1]. In the tradition of Bishop we are favouring clarity of presentation over
rigid formalisms, but we do at the same time believe that it is merely a mechanical exercise …
impossible, merely surprising. There does not seem to be a master lemma from which all of
our … We are working in Bishop style constructive mathematics (BISH)—that is,
mathematics using intuitionistic logic and an appropriate set-theoretic or type-theoretic
foundation such as [1]. In the tradition of Bishop we are favouring clarity of presentation over
rigid formalisms, but we do at the same time believe that it is merely a mechanical exercise …
We prove some constructive results that on first and maybe even on second glance seem impossible.
arxiv.org
Showing the best result for this search. See all results