Semialgebraic sets, stabilization, and computability

We show that the simultaneous stabilization question: When are three linear systems stabilizable by the same controller? cannot be solved by a semialgebraic set description nor be answered by computational machines.