Weaver interpreted these results as meaning that given a set of premises, any logical conclusion could be deduced automatically by computer.
Weaver interpretoval jejich výsledky tak, že máme-li dán soubor předpokladů, může být jakýkoli logický závěr vytvořen automaticky počítačem.