From: Stephen Turner (sret1_at_ntlworld.com)
Date: Wed Feb 06 2002 - 09:22:11 PST
176:9 INVALID -1.0 Alan Riddell Wed 2002-02-06 15:17:10 >>>>> Define the fantasy number m such that, m+j = j+m = a 0*m = m*0 = m and for any real number y, m+y = y+m = m then, (m+j)*0 = a*0 = 0 but, m*0 + j*0 = m + 1 = m but m is not zero. Therefore addition is not distributive even under multiplication by a non-fantasy number. Also, define the fantasy number k such that, for all numbers non zero numbers y then |k| < |y| k > 0 and if y is real, k*y = y*k = k k+k = k k*k = k y+k = k+y <<<<< Judgement: Fails in the same way as 176:8, by using the word "zero". Also, doesn't use "QED" as demanded by 176:2. Style: There are some good things about this rule. I still like the notion of introducing more fantasy numbers, although these ones have really weird properties! And using the number a is cute. However, this rule also has the appearance of being written in haste. It is invalid in careless ways. And although it progresses the game by making new maths, it doesn't (at least explicitly) constrain future rules. Lastly you got your rule number wrong in the header of your mail. Weighing it all up, I balance it out slightly negative, at -1.0. -------------------------------------------------------------------------- ROUND 176 Round start: Wed 2002-01-30 15:32:50 Player Style Valid until ------ ----- ----------- Ed Murphy - 0.5 Mon 2002-02-11 22:23:30 Rich Holmes + 2.0 Fri 2002-02-08 02:42:41 Factitious + 4.0 Thu 2002-02-07 00:23:06 Jonathan Van Matre - 2.5 Wed 2002-02-06 18:03:06 Others 0 (Wed 2002-02-06 15:32:50) Alan Riddell + 1.0 (Tue 2002-02-05 16:50:44) James Willson - 2.0 (Tue 2002-02-05 15:32:50) All times are in GMT and base ten. -------------------------------------------------------------------------- Rule By whom When Judgement Style ---- ------- ---- --------- ----- 176:1 Alan Riddell Wed 2002-01-30 16:50:44 VALID + 2.0 176:2 Jonathan Van Matre Wed 2002-01-30 18:03:06 VALID - 2.5 176:3 Ed Murphy Wed 2002-01-30 19:44:52 VALID - 1.5 176:4 Factitious Fri 2002-02-01 00:23:06 VALID + 2.0 176:5 Rich Holmes Fri 2002-02-01 02:42:41 VALID + 2.0 176:6 Ed Murphy Mon 2002-02-04 22:23:30 VALID + 1.0 176:7 James Willson Tue 2002-02-05 08:51:33 INVALID - 2.0 176:8 Factitious Wed 2002-02-06 05:37:10 INVALID + 2.0 176:9 Alan Riddell Wed 2002-02-06 15:17:10 INVALID - 1.0 -------------------------------------------------------------------------- -- Stephen Turner, Cambridge, UK http://homepage.ntlworld.com/adelie/stephen/ "This is Henman's 8th Wimbledon, and he's only lost 7 matches." BBC, 2/Jul/01 -- Rule Date: 2002-02-06 17:22:26 GMT
This archive was generated by hypermail 2.1.5 : Thu Nov 24 2011 - 10:48 PST