Description of his interest in mechanized reasoning generally ignores the other half of his proposed project, which was to create a database of propositions for

Description of his interest in mechanized reasoning generally ignores the other half of his proposed project, which was to create a database of propositions for the machine to operate on. His idea was along the lines of Doug Lenat's Cyc, to represent all of human knowledge in propositional form. As I recall, in his grant proposal to the French court, he estimated that it would take a small group of clerks about 5 years to complete the job. The French didn't express any interest.