Computer Chess Club Archives




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,

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

Zermelo-Fraenkel Regards,

This page took 0.01 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.