INVESTIGADORES
DUBUC Eduardo Julio
congresos y reuniones científicas
Título:
La clausura pitagorica constructiva
Autor/es:
EDUARDO J. DUBUC
Lugar:
Zaragoza, Espan~a.
Reunión:
Jornada; Jornadas Franco Espan~olas de algebra.; 2007
Institución organizadora:
Universidad de Zaragoza.
Resumen:
A LITTLE CONSTRUCTIVE ALGEBRA Mathematics stop being constructive when it incorporate set theory, particularly the axiom of choice and the excluded middle. In this talk we shall illustrate the intuitionistic approach in the context of Gauss´s Theorem, developed in an specially constructive manner by Kronecker. We shall also present a construction by A. Joyal of the Pitagorean closure of a totally ordered field without having to decide if a given element has or has not already an square root in the field.
