pith. sign in

arxiv: 1904.11378 · v1 · pith:TOCS4V4Unew · submitted 2019-04-12 · 🧮 math.LO · cs.LO

(Seemingly) Impossible Theorems in Constructive Mathematics

Hannes Diener , Matthew Hendtlass This is my paper
classification 🧮 math.LO cs.LO
keywords constructiveimpossibleevenfirstglancemathematicsmaybeprove
0
0 comments X
read the original abstract

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

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.