research
∙
02/08/2023
On the Complexity of Computing Gödel Numbers
Given a computable sequence of natural numbers, it is a natural task to ...
share
research
∙
12/03/2020
The Discontinuity Problem
Matthias Schröder has asked the question whether there is a weakest disc...
research
∙
10/29/2019
Completion of Choice
We systematically study the completion of choice problems in the Weihrau...
research
∙
09/02/2018
Weihrauch goes Brouwerian
We prove that the Weihrauch lattice can be transformed into a Brouwer al...
research
∙
02/05/2018