W. Ackermann. Begrundung des Tertium non datur mittels der Hilbertschen Theorie der Widerspruchsfreiheit. Mathematische Annalen, 93, 1924, p. 1-36  Home/Search   Document Not in Database   Summary   Related Articles

....understand the computational behaviour of our interpretation. They hint at possible connections with learning theories, such as the one described in [19] where the learning agent may benefit from negative information. Yet another natural connection is with the work of Hilbert [8, 9] and Ackermann [1]. Our interpretation can be seen as a variation of Hilbert s epsilon method [8, 9] with a (classical) proof of termination. It will be interesting to compare our algorithm with the one described in Ackermann s paper [1] 4 . Acknowledgement We thank Anne Troelstra for helpful comments and ....

....another natural connection is with the work of Hilbert [8, 9] and Ackermann [1] Our interpretation can be seen as a variation of Hilbert s epsilon method [8, 9] with a (classical) proof of termination. It will be interesting to compare our algorithm with the one described in Ackermann s paper [1] 4 . Acknowledgement We thank Anne Troelstra for helpful comments and answers to various questions that arose during the preparation of this paper, Loic Colson for interesting discussions on the axiom of choice and impredicativity at the beginning of this work, and Marco Hollenberg and Jan ....

W. Ackermann. Begrundung des Tertium non datur mittels der Hilbertschen Theorie der Widerspruchsfreiheit. Mathematische Annalen, 93, 1924, p. 1-36

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC