Computer Chess Club Archives


Search

Terms

Messages

Subject: Re: Zappa Report

Author: Martin Slowik

Date: 13:27:27 12/30/05

Go up one level in this thread


>>Which probably in the end is a consequence of Zorn's lemma... :)
>
>It is not. The theorem may be proved constructively
>(although the construction is likely irrelevant for practice).
>
>Greetings, in the spirit of L.E.J. Brouwer,
>Ingo.

A finite set of choices makes things easier indeed... :)

Zermelo-Fraenkel Regards,
Martin




This page took 0.05 seconds to execute

Last modified: Thu, 07 Jul 11 08:48:38 -0700

Current Computer Chess Club Forums at Talkchess. This site by Sean Mintz.