On the Effective Existence of Schauder Bases: (Extended Abstract)

We construct a computable Banach space which possesses a Schauder basis, but does not possess any computable Schauder basis.