Decidability and Undecidability in the Theory of the Constructive Reals

Philip Scowcroft

(Wesleyan University)

From the constructivist point of view of L. E. J. Brouwer or Errett Bishop, the real numbers do not have the same properties as they do in ordinary nonconstructive mathematics. I will discuss the extent to which there is an analogue, for the theory of the constructive reals, of Tarski's theorem that the ring of real numbers has a decidable first-order theory.
Tuesday 26th January 1999, 15:00
Seminar Room 322
Department of Computer Science