Bookmark Saya

arXiv Open Access 2019

(Seemingly) Impossible Theorems in Constructive Mathematics

Hannes Diener Matthew Hendtlass
Lihat Sumber

Abstrak

We prove some constructive results that on first and maybe even on second glance seem impossible.

Topik & Kata Kunci

math.LO cs.LO

Penulis (2)

H

Hannes Diener

M

Matthew Hendtlass

Format Sitasi

APA MLA BibTeX
Diener, H., Hendtlass, M. (2019). (Seemingly) Impossible Theorems in Constructive Mathematics. https://arxiv.org/abs/1904.11378

Akses Cepat

Lihat di Sumber
Informasi Jurnal
Tahun Terbit
2019
Bahasa
en
Sumber Database
arXiv
Akses
Open Access ✓