It was probably the first proposal to use logic to represent information in a computer and not just as the subject matter of another program.
Vjerojatno je to bilo prvi put gdje se predložilo uporabiti matematičku logiku radi prikazivanja informacije na računalu, a ne samo kao predmet nekog drugog programa.