Right in the middle of this search, the electronic message reaches him that Selmer Bringsjord has solved this problem. The first section of this review will investigate the form of Bringsjord's argumentation. This is made more difficult by the fact that inadequately defined concepts are mixed together with skillfully deployed and highly complicated mathematical constructions such as Turing machine, NP completeness, busy beaver function and so on. Without looking at all eight key philosophical clusters, sections V, VI and VII will look at natural language, the more stringent Turing Test and the Goedel argument. This sentence cannot be negated, because it is wrongly formed.
Projects are to be distinguished from scientific theories or from predictions.
Examples of typical projects are the NASA moon-landing project or the international genome project. They take place within a frame of reference which is fully accounted for by theory, and within the limits of the technically feasible. They are not predictions for the reason that, in contrast to predictions, projects cannot falsify a scientific theory. Neil Armstrong would not have been sent to the moon if a theory could have been falsified by the failure of the mission. Now PBP cannot be based on a theory for a variety of reasons.