TY  - RPRT
TI  - A mathematical commitment without computational strength
AU  - Anton Freund
PY  - 2020
UR  - https://arxiv.org/abs/2004.06915
ID  - 2004.06915
ER  -