(Seemingly) Impossible Theorems in Constructive Mathematics
Logic
2019-04-26 v1 Logic in Computer Science
Abstract
We prove some constructive results that on first and maybe even on second glance seem impossible.
Cite
@article{arxiv.1904.11378,
title = {(Seemingly) Impossible Theorems in Constructive Mathematics},
author = {Hannes Diener and Matthew Hendtlass},
journal= {arXiv preprint arXiv:1904.11378},
year = {2019}
}