Re: Reasons (not) to vote Motion 27: NO
On 2011-08-02 06:50:37 -0400, John Pryce wrote:
> On 1 Aug 2011, at 17:43, Nate Hayes wrote:
> > John, be careful. Your theorem in its present form has
> > contradictions, so it can't be valid. The contradictions were
> > pointed out by Vincent Lefevre, and you aknowledged them. But
> > neither you nor Arnold ever addressed this.
>
> Vincent, please remind me what those were.
AFAIK, these contradictions were fixed in the 2011-07-18 version
(though the change of the motion was not very clear on the web site:
the motion should have been renumbered 26.02).
The contradictions were due to the fact that saf (renamed dac) and
def required x to be nonempty.
Now, see my mail about my vote. There seems to be another
contradiction. And the motion doesn't make it clear that there
are no other ones.
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / Arénaire project (LIP, ENS-Lyon)