V
Vasco Brattka
Researcher at University of Cape Town
Publications - 112
Citations - 3039
Vasco Brattka is an academic researcher from University of Cape Town. The author has contributed to research in topics: Computable analysis & Computable function. The author has an hindex of 30, co-authored 106 publications receiving 2832 citations. Previous affiliations of Vasco Brattka include National Experimental University of the Armed Forces & Bundeswehr University Munich.
Papers
More filters
Journal ArticleDOI
Computability on subsets of metric spaces
Vasco Brattka,Gero Presser +1 more
TL;DR: This work investigates the special situation of compact subsets by studying the basic notions of effectivity in classical recursion theory and presents all results in the framework of "Type-2 Theory of Effectivity" which allows to express effectivity properties in a very uniform way.
Journal ArticleDOI
Computability on subsets of Euclidean space I: closed and compact subsets
Vasco Brattka,Klaus Weihrauch +1 more
TL;DR: The language and framework of Type 2 Theory of Effectivity (TTE) is used which supplies a concise language for distinguishing a variety of effectivity properties and which admits highly effective versions of classical theorems.
Journal ArticleDOI
Effective choice and boundedness principles in computable analysis
Vasco Brattka,Guido Gherardi +1 more
TL;DR: In this paper, a new approach to classify mathematical theorems according to their computational content is proposed. But it does not require any particular logical framework or axiomatic setting, but it can be carried out in the framework of classical mathematics using tools of topology, computability theory and computable analysis.
Journal ArticleDOI
Closed choice and a Uniform Low Basis Theorem
TL;DR: It is shown that with closed choice one can characterize several models of hypercomputation in a uniform framework using Weihrauch reducibility and a Quotient Theorem for compact choice shows that single-valued functions can be “divided” by compact choice in a certain sense.