Re: [Hol-info] Hilbert choice operator

[Peter H. <pho...@gm...>]

On 12/22/06, giovanni gherdovich <g_g...@ya...> wrote:

> thankyou for your reply and thankyou for these
> bibliographic references. As I told to Mr Arthan,
> I don't know almost nothing about this topic and is
> time to learn...
>
> Best regards,
> Giovanni Gherdovich

I did some work with the Hilbert choice operator for a paper in 2005.
You might check out the following two references:

1) Leisenring, A. C.:
Mathematical Logic and Hilbert's $\varepsilon$-Symbol.
Gordon and Breach, 1969.
http://www.abebooks.com/servlet/BookDetailsPL?bi=635743861
http://www.abebooks.com/servlet/BookDetailsPL?bi=631756444

This gives a good comparison of the subtle differences between
Zermelo's Axiom of Choice and Hilbert's epsilon operator.

2) Moore, G. H.:
Zermelo's Axiom of Choice: It's Origins, Development, and Influence.
Springer-Verlag 1982.
http://www.abebooks.com/servlet/BookDetailsPL?bi=772651895

This book is really an really thorough encyclopedic treatment of the
history and use of the axiom of choice.  It can be hard to find but
it's fascinating reading.

These were the most helpful books to me.  Good luck!

Peter
-- 
"In Your majesty ride prosperously because of truth, humility, and
righteousness;
And Your right hand shall teach You awesome things." (Psalm 45:4)