Home  Online Resources  Table of Contents

Journal of Logic and Computation, Volume 8, Issue 6, pp. 839-854: Abstract.

Approximating classical theorems

S Baratella1 and S Berardi2

1Dipartimento di Matematica, Universita di Trento, Via Sommarive 14, 38050 Provo (TN), Italy, E-mail: baratell@science.unitn.it, 2Dipartimento di Informatica, Universita di Torino, Corsa Svizzera 185, 10149 Torino, Italy, E-mail: stefano@di.unito.it

We show how to apply a constructivization technique previously introduced in order to obtain constructive proofs of approximations of simple classical theorems.

Keywords: Classical proofs, constructive proofs, approximation.


[ Oxford University Press]   [ Oxford Journals]   [ Comments & Feedback]   Copyright© Oxford University Press, 1998.