I think this is pretty good. Here is Zermelo set theory as I wrote it in 2003
http://wiki-trust.cse.ucsc.edu/index.php?t...y&oldid=1457073You see it is all orange because the author has gained no trust in the system. Now here it is in January 2007
http://wiki-trust.cse.ucsc.edu/index.php?t...oldid=101040161and you see that author (me) has gained a considerable degree of trust within the whole system. Compare that to the level of trust the same author holds among the humans there, and you will understand why I prefer the machine.
[EDIT]
Oops change my mind. Here is Hume's principle pretty much as I wrote it in 2005.
http://wiki-trust.cse.ucsc.edu/index.php?t...&oldid=21029537Now here it is as rewritten by Richard Heck, who is one of the most greatly respected philosophers of mathematics today
http://wiki-trust.cse.ucsc.edu/index.php?t...&oldid=67744523You see it is all orange. Perhaps that is because he had not been long editing there? Also, most of the changes he made at that point were organisational. The system does not seem able to spot the distinction between moving paragraphs around, stylistic changes, versus content changes.
Here is a precise example of this error happening. This paragraph
QUOTE
Algebra and arithmetic [are] the only sciences, in which we can carry on a chain of reasoning to any degree of intricacy, and yet preserve a perfect exactness and certainty. We are possessed of a precise standard, by which we can judge of the equality and proportion of numbers; and according as they correspond or not to that standard, we determine their relations, without any possibility of error. When two numbers are so combined, as that the one has always a unit answering to every unit of the other, we pronounce them equal; and it is for want of such a standard of equality in [spatial] extension, that geometry can scarce be esteemed a perfect and infallible science. (I. III. I.)
http://wiki-trust.cse.ucsc.edu/index.php?t...&oldid=55951382 is entirely orange in Heck's revision. But in the older revision exactly the same paragraph is coloured white.
http://wiki-trust.cse.ucsc.edu/index.php?t...&oldid=67744523The system has not spotted that an added indent is not material to the content of the article.