This page exists to refute the frequent claim that the FRDCSA project does not finish or complete anything.

This would be an example of the classic "MOVING GOALPOST FALLACY" (one of the many in ReasonBases database of fallacies.) It is also an inherent accusation levied against Open Systems and transfinite systems. These are systems which are designed to grow. That is not to say that they are not complete. There are core feature sets which have been completed. An interesting fact that probably contributes to this impression is that the system for recording which features have been completed is itself incomplete, since it depends on a great number of important subtasks. It would indeed be silly to think that simply because the system that represents formally which requirements have been finished was itself incomplete, that none of the requirements had been completed.

And if you wish to claim that the entire project is incomplete, well then you'd be correct. This is because of the very nature of the problem - we are working on practical solutions to mathematically incomplete problems! So no solution can exist.

Furthermore, because I don't have time at this point to list the systems which have been completed to your satisfaction. Below I've included the output of a program that might give you some idea of which systems have been written.

From now on it will be policy to blacklist anyone who claims I am not finishing anything as it shows that they not only cannot suspend judgement nor judge soundly what has been accomplished. They will be added to Audience's blacklist.